Job 1357

CakeML:85ff1d236459082c90c94fdde129f366318304e5
  riscv: Simplify/optimize FFI jumps [Sep 12 17:49:47]
#752 (rv_fixes)
Merging into:aced251f056eb8714178746a7df203a936cc6991
  Fix compiler/parsing/Holmakefile to make parsingComputeLib build [Sep 18 08:05:26]
HOL:412fb6454a8fa37864443db29a5d354d425a0a78
  emacs-mode: add indentation after Unicode iff symbol [Sep 18 07:22:36]
Machine:oven3s 5.7.19 x86_64 GNU/Linux

Sep 21 22:16:38 Claimed job
Sep 21 22:16:42 Building HOL
Sep 21 22:28:53 Starting developers
Sep 21 22:28:55 Finished developers                                               1s 156MB
Sep 21 22:28:55 Starting developers/bin
Sep 21 22:29:03 Finished developers/bin                                           7s   1GB
Sep 21 22:29:03 Starting semantics/ffi
Sep 21 22:29:13 Finished semantics/ffi                                            9s   2GB
Sep 21 22:29:13 Starting semantics
Sep 21 22:30:33 Finished semantics                                             1m18s   4GB
Sep 21 22:30:33 Starting semantics/proofs
Sep 21 22:33:28 Finished semantics/proofs                                      2m54s   4GB
Sep 21 22:33:28 Starting semantics/alt_semantics
Sep 21 22:33:37 Finished semantics/alt_semantics                                  7s   4GB
Sep 21 22:33:37 Starting semantics/alt_semantics/proofs
Sep 21 22:35:33 Finished semantics/alt_semantics/proofs                        1m55s   4GB
Sep 21 22:35:33 Starting basis/pure
Sep 21 22:37:54 Finished basis/pure                                            2m19s   4GB
Sep 21 22:37:54 Starting translator
Sep 21 22:40:15 Finished translator                                            2m20s   8GB
Sep 21 22:40:15 Starting compiler/parsing
Sep 21 22:41:20 Finished compiler/parsing                                      1m03s   5GB
Sep 21 22:41:20 Starting characteristic
Sep 21 22:46:44 Finished characteristic                                        5m23s   7GB
Sep 21 22:46:44 Starting translator/monadic
Sep 21 22:48:09 Finished translator/monadic                                    1m24s   4GB
Sep 21 22:48:09 Starting basis
Sep 21 23:19:54 Finished basis                                                31m44s  47GB
Sep 21 23:19:55 Starting compiler/inference
Sep 21 23:20:56 Finished compiler/inference                                    1m00s   4GB
Sep 21 23:20:56 Starting compiler/backend/reg_alloc
Sep 21 23:21:44 Finished compiler/backend/reg_alloc                              47s   4GB
Sep 21 23:21:44 Starting compiler/backend/gc
Sep 21 23:24:48 Finished compiler/backend/gc                                   3m03s   6GB
Sep 21 23:24:49 Starting compiler/backend
Sep 21 23:29:04 Finished compiler/backend                                      4m15s   7GB
Sep 21 23:29:05 Starting compiler/encoders/asm
Sep 21 23:29:24 Finished compiler/encoders/asm                                   19s   4GB
Sep 21 23:29:25 Starting compiler/encoders/x64
Sep 21 23:30:20 Finished compiler/encoders/x64                                   54s   4GB
Sep 21 23:30:20 Starting compiler/encoders/arm7
Sep 21 23:32:14 Finished compiler/encoders/arm7                                1m53s   4GB
Sep 21 23:32:14 Starting compiler/encoders/arm8
Sep 21 23:32:50 Finished compiler/encoders/arm8                                  34s   4GB
Sep 21 23:32:50 Starting compiler/encoders/mips
Sep 21 23:34:07 Finished compiler/encoders/mips                                1m16s   4GB
Sep 21 23:34:07 Starting compiler/encoders/riscv
Sep 21 23:35:30 Finished compiler/encoders/riscv                               1m22s   4GB
Sep 21 23:35:31 Starting compiler/encoders/ag32
Sep 21 23:35:46 Finished compiler/encoders/ag32                                  15s   4GB
Sep 21 23:35:47 Starting compiler/backend/x64
Sep 21 23:36:04 Finished compiler/backend/x64                                    17s   4GB
Sep 21 23:36:04 Starting compiler/backend/arm7
Sep 21 23:36:20 Finished compiler/backend/arm7                                   15s   4GB
Sep 21 23:36:20 Starting compiler/backend/arm8
Sep 21 23:36:38 Finished compiler/backend/arm8                                   17s   4GB
Sep 21 23:36:39 Starting compiler/backend/mips
Sep 21 23:36:57 Finished compiler/backend/mips                                   17s   4GB
Sep 21 23:36:57 Starting compiler/backend/riscv
Sep 21 23:37:16 Finished compiler/backend/riscv                                  18s   4GB
Sep 21 23:37:16 Starting compiler/backend/ag32
Sep 21 23:38:20 Finished compiler/backend/ag32                                 1m03s   4GB
Sep 21 23:38:21 Starting compiler/parsing/proofs
Sep 21 23:42:39 Finished compiler/parsing/proofs                               4m18s   4GB
Sep 21 23:42:40 Starting compiler/inference/proofs
Sep 21 23:44:50 Finished compiler/inference/proofs                             2m10s   4GB
Sep 21 23:44:51 Starting compiler/backend/semantics
Sep 22 00:08:07 Finished compiler/backend/semantics                           23m15s   8GB
Sep 22 00:08:07 Starting compiler/backend/reg_alloc/proofs
Sep 22 00:10:58 Finished compiler/backend/reg_alloc/proofs                     2m50s   4GB
Sep 22 00:10:59 Starting compiler/backend/proofs
Sep 22 00:58:47 Finished compiler/backend/proofs                              47m48s  32GB
Sep 22 00:58:48 Starting compiler/encoders/x64/proofs
Sep 22 01:07:36 Finished compiler/encoders/x64/proofs                          8m48s  10GB
Sep 22 01:07:37 Starting compiler/encoders/arm7/proofs
Sep 22 01:19:29 Finished compiler/encoders/arm7/proofs                        11m52s  13GB
Sep 22 01:19:30 Starting compiler/encoders/arm8/proofs
Sep 22 01:25:29 Finished compiler/encoders/arm8/proofs                         5m58s   4GB
Sep 22 01:25:29 Starting compiler/encoders/mips/proofs
Sep 22 01:35:01 Finished compiler/encoders/mips/proofs                         9m31s   6GB
Sep 22 01:35:01 Starting compiler/encoders/riscv/proofs
Sep 22 01:42:42 Finished compiler/encoders/riscv/proofs                        7m39s   8GB
Sep 22 01:42:42 Starting compiler/encoders/ag32/proofs
Sep 22 01:44:54 Finished compiler/encoders/ag32/proofs                         2m11s   4GB
Sep 22 01:44:55 Starting compiler/backend/x64/proofs
Sep 22 01:45:14 Finished compiler/backend/x64/proofs                             19s   4GB
Sep 22 01:45:15 Starting compiler/backend/arm7/proofs
Sep 22 01:45:36 Finished compiler/backend/arm7/proofs                            20s   4GB
Sep 22 01:45:36 Starting compiler/backend/arm8/proofs
Sep 22 01:45:56 Finished compiler/backend/arm8/proofs                            19s   4GB
Sep 22 01:45:56 Starting compiler/backend/mips/proofs
Sep 22 01:46:17 Finished compiler/backend/mips/proofs                            20s   4GB
Sep 22 01:46:17 Starting compiler/backend/riscv/proofs
Sep 22 01:46:38 Finished compiler/backend/riscv/proofs                           19s   4GB
Sep 22 01:46:38 Starting compiler/backend/ag32/proofs
Sep 22 01:57:52 Finished compiler/backend/ag32/proofs                         11m13s  11GB
Sep 22 01:57:52 Starting compiler/proofs
Sep 22 01:59:36 Finished compiler/proofs                                       1m44s   7GB
Sep 22 01:59:37 Starting candle/set-theory
Sep 22 02:00:01 Finished candle/set-theory                                       23s   4GB
Sep 22 02:00:01 Starting candle/syntax-lib
Sep 22 02:00:11 Finished candle/syntax-lib                                        9s   4GB
Sep 22 02:00:11 Starting candle/standard/syntax
Sep 22 02:01:49 Finished candle/standard/syntax                                1m37s   4GB
Sep 22 02:01:49 Starting candle/standard/semantics
Sep 22 02:03:25 Finished candle/standard/semantics                             1m34s   5GB
Sep 22 02:03:25 Starting candle/standard/monadic
Sep 22 02:04:53 Finished candle/standard/monadic                               1m28s   4GB
Sep 22 02:04:54 Starting candle/standard/ml_kernel
Sep 22 02:09:39 Finished candle/standard/ml_kernel                             4m44s  10GB
Sep 22 02:09:39 Starting candle/overloading/syntax
Sep 22 02:12:15 Finished candle/overloading/syntax                             2m35s   4GB
Sep 22 02:12:15 Starting candle/overloading/semantics
Sep 22 02:23:21 Finished candle/overloading/semantics                         11m05s   6GB
Sep 22 02:23:21 Starting characteristic/examples
Sep 22 02:24:33 Finished characteristic/examples                               1m11s  10GB
Sep 22 02:24:33 Starting tutorial/solutions
Sep 22 02:37:27 Finished tutorial/solutions                                   12m53s  12GB
Sep 22 02:37:28 Starting translator/monadic/examples
Sep 22 02:40:11 Finished translator/monadic/examples                           2m42s   9GB
Sep 22 02:40:11 Starting examples
Sep 22 02:47:59 Finished examples                                              7m46s  11GB
Sep 22 02:47:59 Starting examples/compilation/x64
Sep 22 04:50:25 Finished examples/compilation/x64                           2h02m25s  43GB
Sep 22 04:50:25 Starting examples/compilation/x64/proofs
Sep 22 04:51:58 Finished examples/compilation/x64/proofs                       1m32s   5GB
Sep 22 04:51:58 Starting examples/compilation/ag32
Sep 22 05:20:17 Finished examples/compilation/ag32                            28m17s  14GB
Sep 22 05:20:17 Starting examples/compilation/ag32/proofs
Sep 22 05:21:01 Finished examples/compilation/ag32/proofs                        43s   6GB
Sep 22 05:21:01 Starting examples/cost
Sep 22 06:02:59 Finished examples/cost                                        41m57s  17GB
Sep 22 06:03:00 Starting examples/lpr_checker
Sep 22 06:06:30 Finished examples/lpr_checker                                  3m29s  11GB
Sep 22 06:06:30 Starting examples/lpr_checker/compilation
Sep 22 06:21:43 Finished examples/lpr_checker/compilation                     15m11s  20GB
Sep 22 06:21:43 Starting examples/lpr_checker/compilation/proofs
Sep 22 06:22:20 Finished examples/lpr_checker/compilation/proofs                 36s   5GB
Sep 22 06:22:20 Starting examples/lpr_checker/array
Sep 22 06:34:06 Finished examples/lpr_checker/array                           11m45s  10GB
Sep 22 06:34:06 Starting examples/lpr_checker/array/compilation
Sep 22 06:51:10 Finished examples/lpr_checker/array/compilation               17m03s  28GB
Sep 22 06:51:10 Starting examples/lpr_checker/array/compilation/proofs
Sep 22 06:51:53 Finished examples/lpr_checker/array/compilation/proofs           42s   6GB
Sep 22 06:51:53 Starting examples/opentheory
Sep 22 07:00:15 Finished examples/opentheory                                   8m20s  11GB
Sep 22 07:00:15 Starting examples/opentheory
Sep 22 07:00:16 Finished examples/opentheory                                      0s  62MB
Sep 22 07:00:16 Starting examples/opentheory/compilation
Sep 22 07:29:14 Finished examples/opentheory/compilation                      28m57s  51GB
Sep 22 07:29:14 Starting examples/opentheory/compilation/proofs
Sep 22 07:29:51 Finished examples/opentheory/compilation/proofs                  36s   5GB
Sep 22 07:29:52 Starting examples/opentheory/compilation/ag32
Sep 22 08:01:26 Finished examples/opentheory/compilation/ag32                 31m33s  48GB
Sep 22 08:01:26 Starting examples/opentheory/compilation/ag32/proofs
Sep 22 08:02:52 Finished examples/opentheory/compilation/ag32/proofs           1m25s  10GB
Sep 22 08:02:53 Starting translator/okasaki-examples
Sep 22 08:06:46 Finished translator/okasaki-examples                           3m53s   8GB
Sep 22 08:06:46 Starting translator/other-examples
Sep 22 08:08:27 Finished translator/other-examples                             1m40s   5GB
Sep 22 08:08:28 Starting compiler/parsing/tests
Sep 22 08:08:49 Finished compiler/parsing/tests                                  21s   4GB
Sep 22 08:08:49 Starting compiler/inference/tests
Sep 22 08:12:38 Finished compiler/inference/tests                              3m47s   8GB
Sep 22 08:12:38 Starting compiler/bootstrap/translation
Sep 22 10:36:58 Finished compiler/bootstrap/translation                     2h24m19s  80GB
Sep 22 10:36:58 Starting unverified/sexpr-bootstrap/x64/64
Sep 22 10:45:52 Finished unverified/sexpr-bootstrap/x64/64                     8m53s   8GB
Sep 22 10:45:53 Starting unverified/sexpr-bootstrap/x64/32
Sep 22 10:53:14 Finished unverified/sexpr-bootstrap/x64/32                     7m20s   8GB
Sep 22 10:53:15 Starting compiler/benchmarks
Sep 22 10:53:16 Finished compiler/benchmarks                                      1s  75MB
Sep 22 10:53:17 Starting compiler/bootstrap/compilation/x64/64
Sep 23 01:54:52 Finished compiler/bootstrap/compilation/x64/64             15h01m35s  91GB
Sep 23 01:54:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 23 01:57:19 Finished compiler/bootstrap/compilation/x64/64/proofs          2m26s  22GB
Sep 23 01:57:19 Starting compiler/bootstrap/compilation/x64/32
Sep 23 16:01:01 Finished compiler/bootstrap/compilation/x64/32             14h03m41s  99GB
Sep 23 16:01:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 23 16:10:04 Finished compiler/bootstrap/compilation/x64/32/proofs          9m02s  13GB
Sep 23 16:10:04 Starting compiler/bootstrap/compilation/ag32/32
Sep 24 08:01:44 Finished compiler/bootstrap/compilation/ag32/32            15h51m38s  99GB
Sep 24 08:01:44 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 24 08:21:46 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m01s  34GB
Sep 24 08:21:47 SUCCESS