Job 2533

CakeML:6eebd384c0cb34314a58957d79a6489087db8721
  Add arm8 tar.gz to artefacts [Aug 03 14:16:31]
HOL:21b98f6d58ea9a62a56b99031851951d5e3d7efd
  Fix generalised quotation syntax to handle underscore and apostrophes [Aug 01 01:59:57]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Aug 07 00:43:46 Claimed job
Aug 07 00:43:51 Building HOL
Aug 07 00:58:12 Starting developers
Aug 07 00:58:15 Finished developers                                               2s 199MB
Aug 07 00:58:16 Starting developers/bin
Aug 07 00:58:27 Finished developers/bin                                           9s   1GB
Aug 07 00:58:28 Starting compiler/proofs
Aug 07 02:53:55 Finished compiler/proofs                                    1h55m26s  48GB
Aug 07 02:53:56 Starting compiler/bootstrap/translation
Aug 07 11:12:27 Finished compiler/bootstrap/translation                     8h18m29s  69GB
Aug 07 11:12:28 Starting semantics/ffi
Aug 07 11:12:37 Finished semantics/ffi                                            7s 657MB
Aug 07 11:12:37 Starting semantics
Aug 07 11:12:39 Finished semantics                                                0s  65MB
Aug 07 11:12:40 Starting semantics/proofs
Aug 07 11:13:17 Finished semantics/proofs                                        36s   2GB
Aug 07 11:13:18 Starting semantics/alt_semantics
Aug 07 11:14:00 Finished semantics/alt_semantics                                 40s   1GB
Aug 07 11:14:01 Starting semantics/alt_semantics/proofs
Aug 07 11:25:26 Finished semantics/alt_semantics/proofs                       11m24s   4GB
Aug 07 11:25:27 Starting basis/pure
Aug 07 11:25:29 Finished basis/pure                                               0s  71MB
Aug 07 11:25:30 Starting translator
Aug 07 11:27:19 Finished translator                                            1m48s   3GB
Aug 07 11:27:20 Starting compiler/parsing
Aug 07 11:27:21 Finished compiler/parsing                                         0s  73MB
Aug 07 11:27:22 Starting characteristic
Aug 07 11:27:24 Finished characteristic                                           0s  89MB
Aug 07 11:27:25 Starting translator/monadic
Aug 07 11:27:26 Finished translator/monadic                                       0s  93MB
Aug 07 11:27:27 Starting basis
Aug 07 11:31:05 Finished basis                                                 3m36s   4GB
Aug 07 11:31:06 Starting compiler/inference
Aug 07 11:31:07 Finished compiler/inference                                       0s 102MB
Aug 07 11:31:08 Starting compiler/backend/reg_alloc
Aug 07 11:31:09 Finished compiler/backend/reg_alloc                               0s  69MB
Aug 07 11:31:10 Starting compiler/backend/gc
Aug 07 11:31:12 Finished compiler/backend/gc                                      0s 141MB
Aug 07 11:31:13 Starting compiler/backend
Aug 07 11:31:33 Finished compiler/backend                                        19s   1GB
Aug 07 11:31:34 Starting compiler/encoders/asm
Aug 07 11:31:36 Finished compiler/encoders/asm                                    0s  91MB
Aug 07 11:31:36 Starting compiler/encoders/x64
Aug 07 11:31:38 Finished compiler/encoders/x64                                    0s 103MB
Aug 07 11:31:39 Starting compiler/encoders/arm7
Aug 07 11:31:40 Finished compiler/encoders/arm7                                   0s 103MB
Aug 07 11:31:41 Starting compiler/encoders/arm8
Aug 07 11:31:43 Finished compiler/encoders/arm8                                   0s  96MB
Aug 07 11:31:44 Starting compiler/encoders/arm8_asl
Aug 07 13:44:59 Finished compiler/encoders/arm8_asl                         2h13m13s  43GB
Aug 07 13:44:59 Starting compiler/encoders/mips
Aug 07 13:45:01 Finished compiler/encoders/mips                                   0s 104MB
Aug 07 13:45:02 Starting compiler/encoders/riscv
Aug 07 13:45:03 Finished compiler/encoders/riscv                                  0s 103MB
Aug 07 13:45:04 Starting compiler/encoders/ag32
Aug 07 13:45:06 Finished compiler/encoders/ag32                                   0s  91MB
Aug 07 13:45:07 Starting compiler/backend/x64
Aug 07 13:45:08 Finished compiler/backend/x64                                     0s 145MB
Aug 07 13:45:09 Starting compiler/backend/arm7
Aug 07 13:45:11 Finished compiler/backend/arm7                                    0s 141MB
Aug 07 13:45:12 Starting compiler/backend/arm8
Aug 07 13:45:14 Finished compiler/backend/arm8                                    0s 135MB
Aug 07 13:45:15 Starting compiler/backend/mips
Aug 07 13:45:16 Finished compiler/backend/mips                                    0s 131MB
Aug 07 13:45:17 Starting compiler/backend/riscv
Aug 07 13:45:19 Finished compiler/backend/riscv                                   0s 131MB
Aug 07 13:45:20 Starting compiler/backend/ag32
Aug 07 13:46:42 Finished compiler/backend/ag32                                 1m21s   4GB
Aug 07 13:46:43 Starting compiler/parsing/proofs
Aug 07 13:46:44 Finished compiler/parsing/proofs                                  0s  74MB
Aug 07 13:46:45 Starting compiler/inference/proofs
Aug 07 13:46:47 Finished compiler/inference/proofs                                0s  95MB
Aug 07 13:46:47 Starting compiler/backend/semantics
Aug 07 13:50:37 Finished compiler/backend/semantics                            3m49s   3GB
Aug 07 13:50:38 Starting compiler/backend/reg_alloc/proofs
Aug 07 13:50:40 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Aug 07 13:50:41 Starting compiler/backend/proofs
Aug 07 13:51:48 Finished compiler/backend/proofs                               1m06s   3GB
Aug 07 13:51:49 Starting compiler/backend/serialiser
Aug 07 13:51:51 Finished compiler/backend/serialiser                              0s 140MB
Aug 07 13:51:51 Starting compiler/encoders/x64/proofs
Aug 07 14:01:18 Finished compiler/encoders/x64/proofs                          9m25s   5GB
Aug 07 14:01:19 Starting compiler/encoders/arm7/proofs
Aug 07 14:14:13 Finished compiler/encoders/arm7/proofs                        12m52s  10GB
Aug 07 14:14:14 Starting compiler/encoders/arm8/proofs
Aug 07 14:20:34 Finished compiler/encoders/arm8/proofs                         6m19s   5GB
Aug 07 14:20:35 Starting compiler/encoders/arm8_asl/proofs
Aug 07 15:08:15 Finished compiler/encoders/arm8_asl/proofs                    47m38s  13GB
Aug 07 15:08:16 Starting compiler/encoders/mips/proofs
Aug 07 15:18:17 Finished compiler/encoders/mips/proofs                         9m59s   5GB
Aug 07 15:18:17 Starting compiler/encoders/riscv/proofs
Aug 07 15:26:32 Finished compiler/encoders/riscv/proofs                        8m13s   4GB
Aug 07 15:26:33 Starting compiler/encoders/ag32/proofs
Aug 07 15:28:57 Finished compiler/encoders/ag32/proofs                         2m23s   2GB
Aug 07 15:28:58 Starting compiler/backend/x64/proofs
Aug 07 15:29:41 Finished compiler/backend/x64/proofs                             42s   3GB
Aug 07 15:29:42 Starting compiler/backend/arm7/proofs
Aug 07 15:30:26 Finished compiler/backend/arm7/proofs                            43s   2GB
Aug 07 15:30:27 Starting compiler/backend/arm8/proofs
Aug 07 15:31:08 Finished compiler/backend/arm8/proofs                            40s   3GB
Aug 07 15:31:09 Starting compiler/backend/arm8_asl
Aug 07 15:31:38 Finished compiler/backend/arm8_asl                               27s   2GB
Aug 07 15:31:39 Starting compiler/backend/mips/proofs
Aug 07 15:32:25 Finished compiler/backend/mips/proofs                            45s   3GB
Aug 07 15:32:25 Starting compiler/backend/riscv/proofs
Aug 07 15:33:17 Finished compiler/backend/riscv/proofs                           50s   4GB
Aug 07 15:33:18 Starting compiler/backend/ag32/proofs
Aug 07 15:47:14 Finished compiler/backend/ag32/proofs                         13m55s   5GB
Aug 07 15:47:15 Starting compiler/backend/cv_compute
Aug 07 15:49:01 Finished compiler/backend/cv_compute                           1m44s   3GB
Aug 07 15:49:01 Starting cv_translator
Aug 07 16:08:19 Finished cv_translator                                        19m16s  13GB
Aug 07 16:08:20 Starting candle/set-theory
Aug 07 16:09:09 Finished candle/set-theory                                       47s   1GB
Aug 07 16:09:09 Starting candle/syntax-lib
Aug 07 16:09:11 Finished candle/syntax-lib                                        0s  75MB
Aug 07 16:09:12 Starting candle/standard/syntax
Aug 07 16:09:30 Finished candle/standard/syntax                                  17s   1GB
Aug 07 16:09:30 Starting candle/standard/semantics
Aug 07 16:12:11 Finished candle/standard/semantics                             2m39s   4GB
Aug 07 16:12:12 Starting candle/standard/monadic
Aug 07 16:12:13 Finished candle/standard/monadic                                  0s 108MB
Aug 07 16:12:14 Starting candle/standard/ml_kernel
Aug 07 16:14:09 Finished candle/standard/ml_kernel                             1m53s   7GB
Aug 07 16:14:10 Starting candle/overloading/syntax
Aug 07 16:17:44 Finished candle/overloading/syntax                             3m33s   2GB
Aug 07 16:17:45 Starting candle/overloading/semantics
Aug 07 16:29:07 Finished candle/overloading/semantics                         11m20s   4GB
Aug 07 16:29:08 Starting candle/overloading/monadic
Aug 07 16:31:47 Finished candle/overloading/monadic                            2m38s   3GB
Aug 07 16:31:48 Starting candle/overloading/ml_kernel
Aug 07 16:39:30 Finished candle/overloading/ml_kernel                          7m41s   6GB
Aug 07 16:39:31 Starting candle/overloading/ml_checker
Aug 07 16:42:02 Finished candle/overloading/ml_checker                         2m30s   6GB
Aug 07 16:42:03 Starting candle/prover
Aug 07 16:52:06 Finished candle/prover                                        10m02s   5GB
Aug 07 16:52:07 Starting pancake
Aug 07 16:53:13 Finished pancake                                               1m05s   1GB
Aug 07 16:53:14 Starting pancake/ffi
Aug 07 16:53:15 Finished pancake/ffi                                              0s  22MB
Aug 07 16:53:16 Starting pancake/semantics
Aug 07 16:56:07 Finished pancake/semantics                                     2m49s   2GB
Aug 07 16:56:08 Starting pancake/parser
Aug 07 16:56:43 Finished pancake/parser                                          34s   2GB
Aug 07 16:56:44 Starting pancake/proofs
Aug 07 17:28:09 Finished pancake/proofs                                       31m23s   8GB
Aug 07 17:28:10 Starting characteristic/examples
Aug 07 17:29:50 Finished characteristic/examples                               1m39s   6GB
Aug 07 17:29:51 Starting tutorial/solutions
Aug 07 17:32:30 Finished tutorial/solutions                                    2m38s   4GB
Aug 07 17:32:31 Starting translator/monadic/examples
Aug 07 17:36:32 Finished translator/monadic/examples                           4m00s   5GB
Aug 07 17:36:33 Starting examples
Aug 07 17:51:36 Finished examples                                             15m02s   8GB
Aug 07 17:51:37 Starting examples/compilation/x64
Aug 07 18:00:49 Finished examples/compilation/x64                              9m10s   8GB
Aug 07 18:00:49 Starting examples/compilation/x64/proofs
Aug 07 18:05:28 Finished examples/compilation/x64/proofs                       4m37s   9GB
Aug 07 18:05:29 Starting examples/compilation/ag32
Aug 07 18:08:06 Finished examples/compilation/ag32                             2m36s   4GB
Aug 07 18:08:07 Starting examples/compilation/ag32/proofs
Aug 07 18:09:50 Finished examples/compilation/ag32/proofs                      1m42s   9GB
Aug 07 18:09:51 Starting examples/compilation/to_word
Aug 07 18:13:50 Finished examples/compilation/to_word                          3m58s  11GB
Aug 07 18:13:51 Starting examples/lpr_checker
Aug 07 18:15:13 Finished examples/lpr_checker                                  1m20s   2GB
Aug 07 18:15:14 Starting examples/lpr_checker/array
Aug 07 18:44:31 Finished examples/lpr_checker/array                           29m15s  27GB
Aug 07 18:44:31 Starting examples/lpr_checker/array/compilation
Aug 07 18:47:09 Finished examples/lpr_checker/array/compilation                2m36s   9GB
Aug 07 18:47:10 Starting examples/lpr_checker/array/compilation/proofs
Aug 07 18:49:09 Finished examples/lpr_checker/array/compilation/proofs         1m58s   7GB
Aug 07 18:49:10 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 07 18:51:01 Finished examples/lpr_checker/array/compilation/proofsARM8     1m49s   8GB
Aug 07 18:51:02 Starting examples/xlrup_checker
Aug 07 18:52:15 Finished examples/xlrup_checker                                1m12s   2GB
Aug 07 18:52:16 Starting examples/xlrup_checker/array
Aug 07 19:07:30 Finished examples/xlrup_checker/array                         15m12s   9GB
Aug 07 19:07:31 Starting examples/xlrup_checker/array/compilation
Aug 07 19:08:55 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Aug 07 19:08:56 Starting examples/xlrup_checker/array/compilation/proofs
Aug 07 19:10:41 Finished examples/xlrup_checker/array/compilation/proofs       1m43s   8GB
Aug 07 19:10:41 Starting examples/pseudo_bool
Aug 07 19:12:57 Finished examples/pseudo_bool                                  2m14s   2GB
Aug 07 19:12:57 Starting examples/pseudo_bool/cnf_encoding
Aug 07 19:13:38 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Aug 07 19:13:39 Starting examples/pseudo_bool/graph_encoding
Aug 07 19:14:32 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Aug 07 19:14:33 Starting examples/pseudo_bool/array
Aug 07 20:20:42 Finished examples/pseudo_bool/array                         1h06m08s  37GB
Aug 07 20:20:43 Starting examples/pseudo_bool/array/compilation
Aug 07 20:33:37 Finished examples/pseudo_bool/array/compilation               12m53s  30GB
Aug 07 20:33:38 Starting examples/pseudo_bool/array/compilation/proofs
Aug 07 20:37:31 Finished examples/pseudo_bool/array/compilation/proofs         3m51s  10GB
Aug 07 20:37:32 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 07 20:39:21 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m47s   8GB
Aug 07 20:39:22 Starting examples/opentheory
Aug 07 20:50:05 Finished examples/opentheory                                  10m42s   7GB
Aug 07 20:50:06 Starting examples/opentheory
Aug 07 20:50:08 Finished examples/opentheory                                      0s 134MB
Aug 07 20:50:08 Starting examples/opentheory/compilation
Aug 07 20:52:08 Finished examples/opentheory/compilation                       1m58s   8GB
Aug 07 20:52:09 Starting examples/opentheory/compilation/proofs
Aug 07 20:53:48 Finished examples/opentheory/compilation/proofs                1m37s   7GB
Aug 07 20:53:49 Starting examples/opentheory/compilation/ag32
Aug 07 20:55:53 Finished examples/opentheory/compilation/ag32                  2m03s   9GB
Aug 07 20:55:54 Starting examples/opentheory/compilation/ag32/proofs
Aug 07 20:58:09 Finished examples/opentheory/compilation/ag32/proofs           2m14s  11GB
Aug 07 20:58:10 Starting examples/sat_encodings
Aug 07 21:01:05 Finished examples/sat_encodings                                2m54s   2GB
Aug 07 21:01:06 Starting examples/sat_encodings/case_studies
Aug 07 21:03:15 Finished examples/sat_encodings/case_studies                   2m07s   2GB
Aug 07 21:03:16 Starting examples/sat_encodings/translation
Aug 07 21:09:37 Finished examples/sat_encodings/translation                    6m20s   7GB
Aug 07 21:09:38 Starting examples/sat_encodings/translation/compilation
Aug 07 21:11:57 Finished examples/sat_encodings/translation/compilation        2m18s   6GB
Aug 07 21:11:58 Starting examples/deflate
Aug 07 21:13:23 Finished examples/deflate                                      1m24s   1GB
Aug 07 21:13:24 Starting examples/deflate/translation
Aug 07 21:15:04 Finished examples/deflate/translation                          1m39s   7GB
Aug 07 21:15:05 Starting examples/deflate/translation/compilation
Aug 07 21:16:09 Finished examples/deflate/translation/compilation              1m03s   5GB
Aug 07 21:16:10 Starting examples/vipr
Aug 07 21:20:23 Finished examples/vipr                                         4m12s   8GB
Aug 07 21:20:24 Starting examples/vipr/compilation
Aug 07 21:21:38 Finished examples/vipr/compilation                             1m13s   5GB
Aug 07 21:21:39 Starting translator/okasaki-examples
Aug 07 21:26:51 Finished translator/okasaki-examples                           5m11s   4GB
Aug 07 21:26:52 Starting translator/other-examples
Aug 07 21:31:34 Finished translator/other-examples                             4m41s   3GB
Aug 07 21:31:35 Starting compiler/parsing/tests
Aug 07 21:32:10 Finished compiler/parsing/tests                                  33s   2GB
Aug 07 21:32:11 Starting compiler/inference/tests
Aug 07 21:32:54 Finished compiler/inference/tests                                42s   3GB
Aug 07 21:32:55 Starting compiler/printing/test
Aug 07 21:34:28 Finished compiler/printing/test                                1m32s   7GB
Aug 07 21:34:29 Starting icing/flover
Aug 07 22:11:20 Finished icing/flover                                         36m49s   5GB
Aug 07 22:11:20 Starting icing/
Aug 07 22:39:04 Finished icing/                                               27m42s   9GB
Aug 07 22:39:05 Starting icing/examples
Aug 07 22:40:52 Finished icing/examples                                        1m46s   9GB
Aug 07 22:40:53 Starting compiler/repl
Aug 07 22:49:48 Finished compiler/repl                                         8m53s  11GB
Aug 07 22:49:49 Starting unverified/sexpr-bootstrap/x64/64
Aug 07 23:02:10 Finished unverified/sexpr-bootstrap/x64/64                    11m53s  17GB
Aug 07 23:02:11 Starting unverified/sexpr-bootstrap/x64/32
Aug 07 23:11:51 Finished unverified/sexpr-bootstrap/x64/32                     9m19s  16GB
Aug 07 23:11:51 Starting compiler/benchmarks
Aug 07 23:12:36 Finished compiler/benchmarks                                     43s 713MB
Aug 07 23:12:37 Starting compiler/bootstrap/compilation/x64/64
Aug 07 23:53:15 Finished compiler/bootstrap/compilation/x64/64                40m24s 111GB
Aug 07 23:53:15 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 08 00:15:38 Finished compiler/bootstrap/compilation/x64/64/proofs         22m21s  47GB
Aug 08 00:15:39 Starting compiler/bootstrap/compilation/x64/32
Aug 08 00:54:55 Finished compiler/bootstrap/compilation/x64/32                39m07s 114GB
Aug 08 00:54:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 08 00:59:22 Finished compiler/bootstrap/compilation/x64/32/proofs          4m24s  23GB
Aug 08 00:59:23 Starting compiler/bootstrap/compilation/arm8/64
Aug 08 01:55:27 Finished compiler/bootstrap/compilation/arm8/64               55m55s 134GB
Aug 08 01:55:28 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 08 02:00:44 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m15s  31GB
Aug 08 02:00:45 Starting compiler/bootstrap/compilation/ag32/32
Aug 08 02:39:15 Finished compiler/bootstrap/compilation/ag32/32               38m28s 109GB
Aug 08 02:39:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 08 02:44:28 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m11s  29GB
Aug 08 02:44:29 SUCCESS