Job 2575

CakeML:8f8e1629500ce09f10707b79d29273f4246e5d50
  Merge pull request #1043 from CakeML/heaps [Aug 23 10:27:42]
HOL:5fc7a6047d48839800489adfb2c2eac7f3ffd5fc
  Add missing export [Aug 21 10:25:23]
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 24 03:17:37 Claimed job
Aug 24 03:17:41 Reusing HOL
Aug 24 03:17:52 Starting developers
Aug 24 03:17:56 Finished developers                                               2s 217MB
Aug 24 03:17:57 Starting developers/bin
Aug 24 03:18:07 Finished developers/bin                                           9s   1GB
Aug 24 03:18:08 Starting compiler/proofs
Aug 24 04:59:15 Finished compiler/proofs                                    1h41m05s  29GB
Aug 24 04:59:16 Starting compiler/bootstrap/translation
Aug 24 13:45:43 Finished compiler/bootstrap/translation                     8h46m26s  57GB
Aug 24 13:45:44 Starting semantics/ffi
Aug 24 13:45:53 Finished semantics/ffi                                            7s 640MB
Aug 24 13:45:54 Starting semantics
Aug 24 13:45:55 Finished semantics                                                0s  64MB
Aug 24 13:45:56 Starting semantics/proofs
Aug 24 13:46:19 Finished semantics/proofs                                        22s 775MB
Aug 24 13:46:20 Starting semantics/alt_semantics
Aug 24 13:46:45 Finished semantics/alt_semantics                                 24s 634MB
Aug 24 13:46:46 Starting semantics/alt_semantics/proofs
Aug 24 13:57:06 Finished semantics/alt_semantics/proofs                       10m19s   4GB
Aug 24 13:57:07 Starting basis/pure
Aug 24 13:57:09 Finished basis/pure                                               0s  71MB
Aug 24 13:57:10 Starting translator
Aug 24 13:58:45 Finished translator                                            1m34s   4GB
Aug 24 13:58:46 Starting compiler/parsing
Aug 24 13:58:48 Finished compiler/parsing                                         0s  72MB
Aug 24 13:58:48 Starting characteristic
Aug 24 13:58:50 Finished characteristic                                           0s  95MB
Aug 24 13:58:51 Starting translator/monadic
Aug 24 13:58:52 Finished translator/monadic                                       0s  98MB
Aug 24 13:58:53 Starting basis
Aug 24 14:02:06 Finished basis                                                 3m11s   4GB
Aug 24 14:02:07 Starting compiler/inference
Aug 24 14:02:08 Finished compiler/inference                                       0s  95MB
Aug 24 14:02:09 Starting compiler/backend/reg_alloc
Aug 24 14:02:10 Finished compiler/backend/reg_alloc                               0s  71MB
Aug 24 14:02:11 Starting compiler/backend/gc
Aug 24 14:02:13 Finished compiler/backend/gc                                      0s 141MB
Aug 24 14:02:14 Starting compiler/backend
Aug 24 14:02:19 Finished compiler/backend                                         3s 309MB
Aug 24 14:02:20 Starting compiler/encoders/asm
Aug 24 14:02:21 Finished compiler/encoders/asm                                    0s  90MB
Aug 24 14:02:22 Starting compiler/encoders/x64
Aug 24 14:02:23 Finished compiler/encoders/x64                                    0s  95MB
Aug 24 14:02:24 Starting compiler/encoders/arm7
Aug 24 14:02:26 Finished compiler/encoders/arm7                                   0s 102MB
Aug 24 14:02:27 Starting compiler/encoders/arm8
Aug 24 14:02:28 Finished compiler/encoders/arm8                                   0s 103MB
Aug 24 14:02:29 Starting compiler/encoders/arm8_asl
Aug 24 14:04:41 Finished compiler/encoders/arm8_asl                            2m10s   1GB
Aug 24 14:04:41 Starting compiler/encoders/mips
Aug 24 14:04:43 Finished compiler/encoders/mips                                   0s 104MB
Aug 24 14:04:44 Starting compiler/encoders/riscv
Aug 24 14:04:45 Finished compiler/encoders/riscv                                  0s 102MB
Aug 24 14:04:46 Starting compiler/encoders/ag32
Aug 24 14:04:48 Finished compiler/encoders/ag32                                   0s 101MB
Aug 24 14:04:49 Starting compiler/backend/x64
Aug 24 14:04:50 Finished compiler/backend/x64                                     0s 139MB
Aug 24 14:04:51 Starting compiler/backend/arm7
Aug 24 14:04:53 Finished compiler/backend/arm7                                    0s 143MB
Aug 24 14:04:54 Starting compiler/backend/arm8
Aug 24 14:04:56 Finished compiler/backend/arm8                                    0s 138MB
Aug 24 14:04:57 Starting compiler/backend/mips
Aug 24 14:04:58 Finished compiler/backend/mips                                    0s 134MB
Aug 24 14:04:59 Starting compiler/backend/riscv
Aug 24 14:05:01 Finished compiler/backend/riscv                                   0s 132MB
Aug 24 14:05:02 Starting compiler/backend/ag32
Aug 24 14:06:21 Finished compiler/backend/ag32                                 1m18s   2GB
Aug 24 14:06:22 Starting compiler/parsing/proofs
Aug 24 14:06:24 Finished compiler/parsing/proofs                                  0s  75MB
Aug 24 14:06:24 Starting compiler/inference/proofs
Aug 24 14:06:26 Finished compiler/inference/proofs                                0s  92MB
Aug 24 14:06:27 Starting compiler/backend/semantics
Aug 24 14:09:37 Finished compiler/backend/semantics                            3m09s   3GB
Aug 24 14:09:38 Starting compiler/backend/reg_alloc/proofs
Aug 24 14:09:40 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Aug 24 14:09:41 Starting compiler/backend/proofs
Aug 24 14:10:33 Finished compiler/backend/proofs                                 51s   3GB
Aug 24 14:10:34 Starting compiler/backend/serialiser
Aug 24 14:10:36 Finished compiler/backend/serialiser                              0s 148MB
Aug 24 14:10:37 Starting compiler/encoders/x64/proofs
Aug 24 14:20:00 Finished compiler/encoders/x64/proofs                          9m21s   5GB
Aug 24 14:20:01 Starting compiler/encoders/arm7/proofs
Aug 24 14:32:43 Finished compiler/encoders/arm7/proofs                        12m41s   8GB
Aug 24 14:32:44 Starting compiler/encoders/arm8/proofs
Aug 24 14:39:20 Finished compiler/encoders/arm8/proofs                         6m35s   5GB
Aug 24 14:39:21 Starting compiler/encoders/arm8_asl/proofs
Aug 24 14:53:29 Finished compiler/encoders/arm8_asl/proofs                    14m06s   4GB
Aug 24 14:53:30 Starting compiler/encoders/mips/proofs
Aug 24 15:03:39 Finished compiler/encoders/mips/proofs                        10m08s   7GB
Aug 24 15:03:40 Starting compiler/encoders/riscv/proofs
Aug 24 15:11:48 Finished compiler/encoders/riscv/proofs                        8m06s   4GB
Aug 24 15:11:49 Starting compiler/encoders/ag32/proofs
Aug 24 15:14:14 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
Aug 24 15:14:15 Starting compiler/backend/x64/proofs
Aug 24 15:15:00 Finished compiler/backend/x64/proofs                             44s   2GB
Aug 24 15:15:01 Starting compiler/backend/arm7/proofs
Aug 24 15:15:46 Finished compiler/backend/arm7/proofs                            44s   3GB
Aug 24 15:15:47 Starting compiler/backend/arm8/proofs
Aug 24 15:16:30 Finished compiler/backend/arm8/proofs                            41s   3GB
Aug 24 15:16:31 Starting compiler/backend/arm8_asl
Aug 24 15:17:00 Finished compiler/backend/arm8_asl                               28s   2GB
Aug 24 15:17:01 Starting compiler/backend/mips/proofs
Aug 24 15:17:49 Finished compiler/backend/mips/proofs                            47s   3GB
Aug 24 15:17:50 Starting compiler/backend/riscv/proofs
Aug 24 15:18:42 Finished compiler/backend/riscv/proofs                           51s   4GB
Aug 24 15:18:43 Starting compiler/backend/ag32/proofs
Aug 24 15:32:48 Finished compiler/backend/ag32/proofs                         14m04s   6GB
Aug 24 15:32:49 Starting compiler/backend/cv_compute
Aug 24 15:34:34 Finished compiler/backend/cv_compute                           1m43s   3GB
Aug 24 15:34:35 Starting cv_translator
Aug 24 15:53:43 Finished cv_translator                                        19m07s  12GB
Aug 24 15:53:44 Starting candle/set-theory
Aug 24 15:54:32 Finished candle/set-theory                                       47s   1GB
Aug 24 15:54:33 Starting candle/syntax-lib
Aug 24 15:54:35 Finished candle/syntax-lib                                        0s  74MB
Aug 24 15:54:35 Starting candle/standard/syntax
Aug 24 15:54:54 Finished candle/standard/syntax                                  17s   1GB
Aug 24 15:54:55 Starting candle/standard/semantics
Aug 24 15:57:34 Finished candle/standard/semantics                             2m38s   3GB
Aug 24 15:57:35 Starting candle/standard/monadic
Aug 24 15:57:36 Finished candle/standard/monadic                                  0s 106MB
Aug 24 15:57:37 Starting candle/standard/ml_kernel
Aug 24 15:59:36 Finished candle/standard/ml_kernel                             1m58s   5GB
Aug 24 15:59:37 Starting candle/overloading/syntax
Aug 24 16:03:15 Finished candle/overloading/syntax                             3m36s   2GB
Aug 24 16:03:16 Starting candle/overloading/semantics
Aug 24 16:14:49 Finished candle/overloading/semantics                         11m32s   7GB
Aug 24 16:14:50 Starting candle/overloading/monadic
Aug 24 16:17:28 Finished candle/overloading/monadic                            2m36s   2GB
Aug 24 16:17:28 Starting candle/overloading/ml_kernel
Aug 24 16:25:15 Finished candle/overloading/ml_kernel                          7m45s   6GB
Aug 24 16:25:16 Starting candle/overloading/ml_checker
Aug 24 16:27:54 Finished candle/overloading/ml_checker                         2m37s   7GB
Aug 24 16:27:55 Starting candle/prover
Aug 24 16:38:11 Finished candle/prover                                        10m14s   5GB
Aug 24 16:38:12 Starting pancake
Aug 24 16:38:38 Finished pancake                                                 24s 981MB
Aug 24 16:38:39 Starting pancake/ffi
Aug 24 16:38:40 Finished pancake/ffi                                              0s  23MB
Aug 24 16:38:41 Starting pancake/semantics
Aug 24 16:40:44 Finished pancake/semantics                                     2m02s   2GB
Aug 24 16:40:45 Starting pancake/parser
Aug 24 16:41:06 Finished pancake/parser                                          19s 788MB
Aug 24 16:41:07 Starting pancake/proofs
Aug 24 16:56:15 Finished pancake/proofs                                       15m07s   7GB
Aug 24 16:56:16 Starting characteristic/examples
Aug 24 16:57:43 Finished characteristic/examples                               1m25s   4GB
Aug 24 16:57:44 Starting tutorial/solutions
Aug 24 17:00:25 Finished tutorial/solutions                                    2m40s   5GB
Aug 24 17:00:26 Starting translator/monadic/examples
Aug 24 17:03:35 Finished translator/monadic/examples                           3m07s   3GB
Aug 24 17:03:35 Starting examples
Aug 24 17:16:00 Finished examples                                             12m23s   5GB
Aug 24 17:16:01 Starting examples/compilation/x64
Aug 24 17:25:30 Finished examples/compilation/x64                              9m27s   8GB
Aug 24 17:25:31 Starting examples/compilation/x64/proofs
Aug 24 17:30:03 Finished examples/compilation/x64/proofs                       4m31s   8GB
Aug 24 17:30:04 Starting examples/compilation/ag32
Aug 24 17:32:45 Finished examples/compilation/ag32                             2m40s   5GB
Aug 24 17:32:46 Starting examples/compilation/ag32/proofs
Aug 24 17:34:30 Finished examples/compilation/ag32/proofs                      1m42s   9GB
Aug 24 17:34:30 Starting examples/compilation/to_word
Aug 24 17:38:28 Finished examples/compilation/to_word                          3m56s  12GB
Aug 24 17:38:29 Starting examples/lpr_checker
Aug 24 17:39:07 Finished examples/lpr_checker                                    36s   1GB
Aug 24 17:39:07 Starting examples/lpr_checker/array
Aug 24 18:05:00 Finished examples/lpr_checker/array                           25m51s  28GB
Aug 24 18:05:01 Starting examples/lpr_checker/array/compilation
Aug 24 18:07:41 Finished examples/lpr_checker/array/compilation                2m39s  10GB
Aug 24 18:07:42 Starting examples/lpr_checker/array/compilation/proofs
Aug 24 18:09:39 Finished examples/lpr_checker/array/compilation/proofs         1m56s   7GB
Aug 24 18:09:40 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 24 18:11:31 Finished examples/lpr_checker/array/compilation/proofsARM8     1m49s   9GB
Aug 24 18:11:32 Starting examples/xlrup_checker
Aug 24 18:12:06 Finished examples/xlrup_checker                                  32s   1GB
Aug 24 18:12:07 Starting examples/xlrup_checker/array
Aug 24 18:24:59 Finished examples/xlrup_checker/array                         12m51s  12GB
Aug 24 18:25:00 Starting examples/xlrup_checker/array/compilation
Aug 24 18:26:25 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Aug 24 18:26:26 Starting examples/xlrup_checker/array/compilation/proofs
Aug 24 18:28:06 Finished examples/xlrup_checker/array/compilation/proofs       1m39s   7GB
Aug 24 18:28:07 Starting examples/pseudo_bool
Aug 24 18:29:29 Finished examples/pseudo_bool                                  1m21s   1GB
Aug 24 18:29:30 Starting examples/pseudo_bool/cnf_encoding
Aug 24 18:30:09 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Aug 24 18:30:10 Starting examples/pseudo_bool/graph_encoding
Aug 24 18:31:03 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Aug 24 18:31:04 Starting examples/pseudo_bool/array
Aug 24 19:33:53 Finished examples/pseudo_bool/array                         1h02m47s  32GB
Aug 24 19:33:54 Starting examples/pseudo_bool/array/compilation
Aug 24 19:47:11 Finished examples/pseudo_bool/array/compilation               13m15s  28GB
Aug 24 19:47:12 Starting examples/pseudo_bool/array/compilation/proofs
Aug 24 19:51:11 Finished examples/pseudo_bool/array/compilation/proofs         3m58s   9GB
Aug 24 19:51:12 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 24 19:53:01 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m48s   9GB
Aug 24 19:53:02 Starting examples/opentheory
Aug 24 20:01:34 Finished examples/opentheory                                   8m31s   7GB
Aug 24 20:01:35 Starting examples/opentheory
Aug 24 20:01:37 Finished examples/opentheory                                      0s 134MB
Aug 24 20:01:38 Starting examples/opentheory/compilation
Aug 24 20:03:41 Finished examples/opentheory/compilation                       2m02s   9GB
Aug 24 20:03:42 Starting examples/opentheory/compilation/proofs
Aug 24 20:05:27 Finished examples/opentheory/compilation/proofs                1m43s   8GB
Aug 24 20:05:28 Starting examples/opentheory/compilation/ag32
Aug 24 20:07:34 Finished examples/opentheory/compilation/ag32                  2m05s   9GB
Aug 24 20:07:35 Starting examples/opentheory/compilation/ag32/proofs
Aug 24 20:09:57 Finished examples/opentheory/compilation/ag32/proofs           2m21s  11GB
Aug 24 20:09:58 Starting examples/sat_encodings
Aug 24 20:10:57 Finished examples/sat_encodings                                  58s 907MB
Aug 24 20:10:58 Starting examples/sat_encodings/case_studies
Aug 24 20:13:06 Finished examples/sat_encodings/case_studies                   2m07s   2GB
Aug 24 20:13:07 Starting examples/sat_encodings/translation
Aug 24 20:16:36 Finished examples/sat_encodings/translation                    3m28s   4GB
Aug 24 20:16:37 Starting examples/sat_encodings/translation/compilation
Aug 24 20:19:04 Finished examples/sat_encodings/translation/compilation        2m26s   7GB
Aug 24 20:19:05 Starting examples/deflate
Aug 24 20:19:32 Finished examples/deflate                                        25s 734MB
Aug 24 20:19:32 Starting examples/deflate/translation
Aug 24 20:20:32 Finished examples/deflate/translation                            58s   2GB
Aug 24 20:20:33 Starting examples/deflate/translation/compilation
Aug 24 20:21:40 Finished examples/deflate/translation/compilation              1m06s   6GB
Aug 24 20:21:41 Starting examples/vipr
Aug 24 20:25:17 Finished examples/vipr                                         3m34s   7GB
Aug 24 20:25:18 Starting examples/vipr/compilation
Aug 24 20:26:36 Finished examples/vipr/compilation                             1m16s   6GB
Aug 24 20:26:36 Starting translator/okasaki-examples
Aug 24 20:30:54 Finished translator/okasaki-examples                           4m16s   4GB
Aug 24 20:30:55 Starting translator/other-examples
Aug 24 20:35:50 Finished translator/other-examples                             4m54s   3GB
Aug 24 20:35:51 Starting compiler/parsing/tests
Aug 24 20:36:29 Finished compiler/parsing/tests                                  36s   2GB
Aug 24 20:36:29 Starting compiler/inference/tests
Aug 24 20:37:13 Finished compiler/inference/tests                                43s   3GB
Aug 24 20:37:14 Starting compiler/printing/test
Aug 24 20:38:48 Finished compiler/printing/test                                1m33s   5GB
Aug 24 20:38:49 Starting icing/flover
Aug 24 21:15:33 Finished icing/flover                                         36m43s   4GB
Aug 24 21:15:34 Starting icing/
Aug 24 21:43:20 Finished icing/                                               27m44s   6GB
Aug 24 21:43:21 Starting icing/examples
Aug 24 21:45:04 Finished icing/examples                                        1m42s   5GB
Aug 24 21:45:05 Starting compiler/repl
Aug 24 21:54:20 Finished compiler/repl                                         9m13s   9GB
Aug 24 21:54:21 Starting unverified/sexpr-bootstrap/x64/64
Aug 24 22:07:42 Finished unverified/sexpr-bootstrap/x64/64                    12m56s  17GB
Aug 24 22:07:43 Starting unverified/sexpr-bootstrap/x64/32
Aug 24 22:18:34 Finished unverified/sexpr-bootstrap/x64/32                    10m30s  15GB
Aug 24 22:18:34 Starting compiler/benchmarks
Aug 24 22:19:19 Finished compiler/benchmarks                                     43s 713MB
Aug 24 22:19:20 Starting compiler/bootstrap/compilation/x64/64
Aug 24 23:02:59 Finished compiler/bootstrap/compilation/x64/64                43m26s 134GB
Aug 24 23:03:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 24 23:27:28 Finished compiler/bootstrap/compilation/x64/64/proofs         24m26s  53GB
Aug 24 23:27:29 Starting compiler/bootstrap/compilation/x64/32
Aug 25 00:08:32 Finished compiler/bootstrap/compilation/x64/32                40m55s 115GB
Aug 25 00:08:33 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 25 00:13:25 Finished compiler/bootstrap/compilation/x64/32/proofs          4m50s  26GB
Aug 25 00:13:26 Starting compiler/bootstrap/compilation/arm8/64
Aug 25 01:10:35 Finished compiler/bootstrap/compilation/arm8/64               57m01s 141GB
Aug 25 01:10:36 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 25 01:16:12 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m35s  34GB
Aug 25 01:16:13 Starting compiler/bootstrap/compilation/ag32/32
Aug 25 01:55:11 Finished compiler/bootstrap/compilation/ag32/32               38m56s  98GB
Aug 25 01:55:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 25 02:00:39 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m26s  32GB
Aug 25 02:00:40 SUCCESS