Job 1993

CakeML:75cff8fd5379e18eb1aab9437e3f447c7d4f44e7
  Get bootstrapped compiler to also build when __EVAL__ is off [Sep 19 06:25:21]
HOL:893dead4b6f59a9be7fc251533d0a5ee77e12e56
  Add some simple test for bitArithLib and document in next-release.md [Sep 15 04:32:27]
Machine:oven3
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Sep 19 06:32:05 Claimed job
Sep 19 06:32:13 Building HOL
Sep 19 06:55:27 Starting developers
Sep 19 06:55:37 Finished developers                                               9s 146MB
Sep 19 06:55:37 Starting developers/bin
Sep 19 06:55:49 Finished developers/bin                                          11s   1GB
Sep 19 06:55:49 Starting semantics/ffi
Sep 19 06:56:10 Finished semantics/ffi                                           20s 222MB
Sep 19 06:56:11 Starting semantics
Sep 19 07:01:26 Finished semantics                                             5m15s   1GB
Sep 19 07:01:26 Starting semantics/proofs
Sep 19 07:17:18 Finished semantics/proofs                                     15m50s   1GB
Sep 19 07:17:18 Starting semantics/alt_semantics
Sep 19 07:18:13 Finished semantics/alt_semantics                                 54s 599MB
Sep 19 07:18:13 Starting semantics/alt_semantics/proofs
Sep 19 07:43:57 Finished semantics/alt_semantics/proofs                       25m43s   1GB
Sep 19 07:43:57 Starting basis/pure
Sep 19 07:51:32 Finished basis/pure                                            7m34s 933MB
Sep 19 07:51:33 Starting translator
Sep 19 07:59:19 Finished translator                                            7m46s   1GB
Sep 19 07:59:19 Starting compiler/parsing
Sep 19 08:02:18 Finished compiler/parsing                                      2m58s   4GB
Sep 19 08:02:19 Starting characteristic
Sep 19 08:16:41 Finished characteristic                                       14m21s   1GB
Sep 19 08:16:41 Starting translator/monadic
Sep 19 08:20:47 Finished translator/monadic                                    4m06s   1GB
Sep 19 08:20:48 Starting basis
Sep 19 10:16:19 Finished basis                                              1h55m30s   9GB
Sep 19 10:16:20 Starting compiler/inference
Sep 19 10:19:45 Finished compiler/inference                                    3m25s   1GB
Sep 19 10:19:46 Starting compiler/backend/reg_alloc
Sep 19 10:22:57 Finished compiler/backend/reg_alloc                            3m11s   2GB
Sep 19 10:22:57 Starting compiler/backend/gc
Sep 19 10:31:20 Finished compiler/backend/gc                                   8m22s   3GB
Sep 19 10:31:20 Starting compiler/backend
Sep 19 10:42:28 Finished compiler/backend                                     11m07s   3GB
Sep 19 10:42:28 Starting compiler/encoders/asm
Sep 19 10:43:32 Finished compiler/encoders/asm                                 1m02s 806MB
Sep 19 10:43:32 Starting compiler/encoders/x64
Sep 19 10:46:01 Finished compiler/encoders/x64                                 2m29s 725MB
Sep 19 10:46:02 Starting compiler/encoders/arm7
Sep 19 10:50:45 Finished compiler/encoders/arm7                                4m42s   1GB
Sep 19 10:50:45 Starting compiler/encoders/arm8
Sep 19 10:52:19 Finished compiler/encoders/arm8                                1m33s 632MB
Sep 19 10:52:19 Starting compiler/encoders/arm8_asl
Sep 19 15:12:04 Finished compiler/encoders/arm8_asl                         4h19m44s  37GB
Sep 19 15:12:04 Starting compiler/encoders/mips
Sep 19 15:15:27 Finished compiler/encoders/mips                                3m22s   1GB
Sep 19 15:15:27 Starting compiler/encoders/riscv
Sep 19 15:19:18 Finished compiler/encoders/riscv                               3m50s   1GB
Sep 19 15:19:18 Starting compiler/encoders/ag32
Sep 19 15:20:02 Finished compiler/encoders/ag32                                  43s   1GB
Sep 19 15:20:03 Starting compiler/backend/x64
Sep 19 15:20:50 Finished compiler/backend/x64                                    47s   1GB
Sep 19 15:20:50 Starting compiler/backend/arm7
Sep 19 15:21:39 Finished compiler/backend/arm7                                   48s   1GB
Sep 19 15:21:40 Starting compiler/backend/arm8
Sep 19 15:22:24 Finished compiler/backend/arm8                                   43s   1GB
Sep 19 15:22:24 Starting compiler/backend/mips
Sep 19 15:23:11 Finished compiler/backend/mips                                   46s   1GB
Sep 19 15:23:12 Starting compiler/backend/riscv
Sep 19 15:23:58 Finished compiler/backend/riscv                                  46s   1GB
Sep 19 15:23:58 Starting compiler/backend/ag32
Sep 19 15:26:57 Finished compiler/backend/ag32                                 2m57s   1GB
Sep 19 15:26:57 Starting compiler/parsing/proofs
Sep 19 15:35:32 Finished compiler/parsing/proofs                               8m35s   1GB
Sep 19 15:35:33 Starting compiler/inference/proofs
Sep 19 15:41:28 Finished compiler/inference/proofs                             5m54s 918MB
Sep 19 15:41:28 Starting compiler/backend/semantics
Sep 19 16:40:32 Finished compiler/backend/semantics                           59m03s   2GB
Sep 19 16:40:33 Starting compiler/backend/reg_alloc/proofs
Sep 19 16:48:33 Finished compiler/backend/reg_alloc/proofs                     7m59s   1GB
Sep 19 16:48:33 Starting compiler/backend/proofs
Sep 19 18:41:31 Finished compiler/backend/proofs                            1h52m57s  16GB
Sep 19 18:41:32 Starting compiler/backend/serialiser
Sep 19 18:44:31 Finished compiler/backend/serialiser                           2m59s   2GB
Sep 19 18:44:31 Starting compiler/encoders/x64/proofs
Sep 19 19:06:58 Finished compiler/encoders/x64/proofs                         22m26s   4GB
Sep 19 19:06:59 Starting compiler/encoders/arm7/proofs
Sep 19 19:37:44 Finished compiler/encoders/arm7/proofs                        30m45s   4GB
Sep 19 19:37:44 Starting compiler/encoders/arm8/proofs
Sep 19 19:53:55 Finished compiler/encoders/arm8/proofs                        16m10s   1GB
Sep 19 19:53:56 Starting compiler/encoders/arm8_asl/proofs
Sep 19 21:47:38 Finished compiler/encoders/arm8_asl/proofs                  1h53m42s  10GB
Sep 19 21:47:39 Starting compiler/encoders/mips/proofs
Sep 19 22:11:22 Finished compiler/encoders/mips/proofs                        23m42s   2GB
Sep 19 22:11:22 Starting compiler/encoders/riscv/proofs
Sep 19 22:32:03 Finished compiler/encoders/riscv/proofs                       20m40s   1GB
Sep 19 22:32:04 Starting compiler/encoders/ag32/proofs
Sep 19 22:37:58 Finished compiler/encoders/ag32/proofs                         5m53s   1GB
Sep 19 22:37:58 Starting compiler/backend/x64/proofs
Sep 19 22:38:53 Finished compiler/backend/x64/proofs                             54s   1GB
Sep 19 22:38:53 Starting compiler/backend/arm7/proofs
Sep 19 22:39:49 Finished compiler/backend/arm7/proofs                            55s   1GB
Sep 19 22:39:49 Starting compiler/backend/arm8/proofs
Sep 19 22:40:42 Finished compiler/backend/arm8/proofs                            53s   1GB
Sep 19 22:40:43 Starting compiler/backend/arm8_asl
Sep 19 22:41:26 Finished compiler/backend/arm8_asl                               42s   1GB
Sep 19 22:41:26 Starting compiler/backend/mips/proofs
Sep 19 22:42:21 Finished compiler/backend/mips/proofs                            54s   1GB
Sep 19 22:42:21 Starting compiler/backend/riscv/proofs
Sep 19 22:43:15 Finished compiler/backend/riscv/proofs                           53s   1GB
Sep 19 22:43:15 Starting compiler/backend/ag32/proofs
Sep 19 23:13:08 Finished compiler/backend/ag32/proofs                         29m52s   2GB
Sep 19 23:13:08 Starting compiler/proofs
Sep 19 23:18:05 Finished compiler/proofs                                       4m56s   3GB
Sep 19 23:18:05 Starting candle/set-theory
Sep 19 23:19:15 Finished candle/set-theory                                     1m09s 984MB
Sep 19 23:19:16 Starting candle/syntax-lib
Sep 19 23:19:43 Finished candle/syntax-lib                                       26s 623MB
Sep 19 23:19:43 Starting candle/standard/syntax
Sep 19 23:24:03 Finished candle/standard/syntax                                4m19s   1GB
Sep 19 23:24:03 Starting candle/standard/semantics
Sep 19 23:27:55 Finished candle/standard/semantics                             3m51s   1GB
Sep 19 23:27:56 Starting candle/standard/monadic
Sep 19 23:31:53 Finished candle/standard/monadic                               3m57s   1GB
Sep 19 23:31:54 Starting candle/standard/ml_kernel
Sep 19 23:46:03 Finished candle/standard/ml_kernel                            14m09s   3GB
Sep 19 23:46:03 Starting candle/overloading/syntax
Sep 19 23:53:05 Finished candle/overloading/syntax                             7m01s   1GB
Sep 19 23:53:05 Starting candle/overloading/semantics
Sep 20 00:19:17 Finished candle/overloading/semantics                         26m11s   2GB
Sep 20 00:19:17 Starting candle/overloading/monadic
Sep 20 00:24:56 Finished candle/overloading/monadic                            5m38s   1GB
Sep 20 00:24:56 Starting candle/overloading/ml_kernel
Sep 20 00:40:36 Finished candle/overloading/ml_kernel                         15m40s   3GB
Sep 20 00:40:37 Starting candle/overloading/ml_checker
Sep 20 00:45:56 Finished candle/overloading/ml_checker                         5m18s   3GB
Sep 20 00:45:56 Starting candle/prover
Sep 20 01:18:19 Finished candle/prover                                        32m22s   3GB
Sep 20 01:18:19 Starting pancake
Sep 20 01:24:41 Finished pancake                                               6m21s   4GB
Sep 20 01:24:42 Starting pancake/ffi
Sep 20 01:24:42 Finished pancake/ffi                                              0s  11MB
Sep 20 01:24:43 Starting pancake/semantics
Sep 20 01:29:56 Finished pancake/semantics                                     5m13s   1GB
Sep 20 01:29:57 Starting pancake/proofs
Sep 20 01:56:44 Finished pancake/proofs                                       26m46s   7GB
Sep 20 01:56:44 Starting characteristic/examples
Sep 20 01:59:41 Finished characteristic/examples                               2m56s   2GB
Sep 20 01:59:41 Starting tutorial/solutions
Sep 20 02:34:27 Finished tutorial/solutions                                   34m45s   8GB
Sep 20 02:34:27 Starting translator/monadic/examples
Sep 20 02:41:05 Finished translator/monadic/examples                           6m37s   2GB
Sep 20 02:41:06 Starting examples
Sep 20 03:00:26 Finished examples                                             19m20s   4GB
Sep 20 03:00:26 Starting examples/compilation/x64
Sep 20 07:34:57 Finished examples/compilation/x64                           4h34m30s  23GB
Sep 20 07:34:57 Starting examples/compilation/x64/proofs
Sep 20 07:38:55 Finished examples/compilation/x64/proofs                       3m57s   3GB
Sep 20 07:38:56 Starting examples/compilation/ag32
Sep 20 08:52:30 Finished examples/compilation/ag32                          1h13m34s   9GB
Sep 20 08:52:31 Starting examples/compilation/ag32/proofs
Sep 20 08:54:10 Finished examples/compilation/ag32/proofs                      1m38s   3GB
Sep 20 08:54:10 Starting examples/lpr_checker
Sep 20 08:56:07 Finished examples/lpr_checker                                  1m56s   1GB
Sep 20 08:56:08 Starting examples/lpr_checker/array
Sep 20 10:14:24 Finished examples/lpr_checker/array                         1h18m15s   5GB
Sep 20 10:14:24 Starting examples/lpr_checker/array/compilation
Sep 20 11:34:17 Finished examples/lpr_checker/array/compilation             1h19m52s  35GB
Sep 20 11:34:17 Starting examples/lpr_checker/array/compilation/proofs
Sep 20 11:36:56 Finished examples/lpr_checker/array/compilation/proofs         2m38s   6GB
Sep 20 11:36:57 Starting examples/opentheory
Sep 20 11:59:38 Finished examples/opentheory                                  22m41s   6GB
Sep 20 11:59:39 Starting examples/opentheory
Sep 20 11:59:42 Finished examples/opentheory                                      2s  36MB
Sep 20 11:59:42 Starting examples/opentheory/compilation
Sep 20 13:27:43 Finished examples/opentheory/compilation                    1h28m00s  42GB
Sep 20 13:27:43 Starting examples/opentheory/compilation/proofs
Sep 20 13:29:20 Finished examples/opentheory/compilation/proofs                1m36s   3GB
Sep 20 13:29:20 Starting examples/opentheory/compilation/ag32
Sep 20 14:51:23 Finished examples/opentheory/compilation/ag32               1h22m02s  42GB
Sep 20 14:51:24 Starting examples/opentheory/compilation/ag32/proofs
Sep 20 14:55:01 Finished examples/opentheory/compilation/ag32/proofs           3m37s   5GB
Sep 20 14:55:02 Starting examples/sat_encodings
Sep 20 14:58:54 Finished examples/sat_encodings                                3m52s   1GB
Sep 20 14:58:54 Starting examples/sat_encodings/case_studies
Sep 20 15:02:15 Finished examples/sat_encodings/case_studies                   3m20s 781MB
Sep 20 15:02:16 Starting examples/sat_encodings/translation
Sep 20 15:13:55 Finished examples/sat_encodings/translation                   11m39s   4GB
Sep 20 15:13:55 Starting examples/sat_encodings/translation/compilation
Sep 20 16:38:47 Finished examples/sat_encodings/translation/compilation     1h24m51s  19GB
Sep 20 16:38:48 Starting examples/deflate
Sep 20 16:40:40 Finished examples/deflate                                      1m52s 707MB
Sep 20 16:40:40 Starting examples/deflate/translation
Sep 20 16:43:34 Finished examples/deflate/translation                          2m53s   3GB
Sep 20 16:43:35 Starting examples/deflate/translation/compilation
Sep 20 17:22:43 Finished examples/deflate/translation/compilation             39m08s  17GB
Sep 20 17:22:43 Starting translator/okasaki-examples
Sep 20 17:32:49 Finished translator/okasaki-examples                          10m05s   1GB
Sep 20 17:32:49 Starting translator/other-examples
Sep 20 17:37:28 Finished translator/other-examples                             4m38s   1GB
Sep 20 17:37:29 Starting compiler/parsing/tests
Sep 20 17:38:34 Finished compiler/parsing/tests                                1m05s 552MB
Sep 20 17:38:35 Starting compiler/inference/tests
Sep 20 17:55:30 Finished compiler/inference/tests                             16m54s   7GB
Sep 20 17:55:30 Starting compiler/printing/test
Sep 20 18:02:58 Finished compiler/printing/test                                7m27s   3GB
Sep 20 18:02:58 Starting icing/flover
Sep 20 19:35:02 Finished icing/flover                                       1h32m03s   1GB
Sep 20 19:35:02 Starting icing/
Sep 20 21:48:30 Finished icing/                                             2h13m27s   8GB
Sep 20 21:48:31 Starting icing/examples
Sep 20 21:51:53 Finished icing/examples                                        3m22s   5GB
Sep 20 21:51:53 Starting compiler/repl
Sep 21 03:07:02 Finished compiler/repl                                      5h15m08s  24GB
Sep 21 03:07:03 Starting compiler/bootstrap/translation
Sep 21 13:06:30 Finished compiler/bootstrap/translation                     9h59m26s  53GB
Sep 21 13:06:30 Starting unverified/sexpr-bootstrap/x64/64
Sep 21 13:29:21 Finished unverified/sexpr-bootstrap/x64/64                    22m50s  14GB
Sep 21 13:29:22 Starting unverified/sexpr-bootstrap/x64/32
Sep 21 13:48:06 Finished unverified/sexpr-bootstrap/x64/32                    18m42s  11GB
Sep 21 13:48:06 Starting compiler/benchmarks
Sep 21 13:48:12 Finished compiler/benchmarks                                      6s  38MB
Sep 21 13:48:13 Starting compiler/bootstrap/compilation/x64/64
Sep 22 15:08:58 Finished compiler/bootstrap/compilation/x64/64             25h20m43s 105GB
Sep 22 15:08:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 22 15:49:30 Finished compiler/bootstrap/compilation/x64/64/proofs         40m31s  30GB
Sep 22 15:49:30 Starting compiler/bootstrap/compilation/x64/32
Sep 23 05:48:51 Finished compiler/bootstrap/compilation/x64/32             13h59m19s 108GB
Sep 23 05:48:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 23 05:54:26 Finished compiler/bootstrap/compilation/x64/32/proofs          5m34s  14GB
Sep 23 05:54:27 Starting compiler/bootstrap/compilation/ag32/32
Sep 23 20:15:08 Finished compiler/bootstrap/compilation/ag32/32            14h20m40s  74GB
Sep 23 20:15:08 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 23 20:27:07 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m58s  28GB
Sep 23 20:27:07 SUCCESS