Job 2736

CakeML:47dbb29a9cc32e88f3d17654804f7ffd85dc4ba5
  Remove bitrot [Dec 07 16:21:43]
#1105 (remove-bitrot)
Merging into:a85a9b4dbfb3eae33617cfb556784d8c3b179bdb
  Merge pull request #1097 from CakeML/remove-compilationlib [Dec 06 06:47:34]
HOL:629d43fd28ac8162ca9b1e27999602b4b9e452c1
  Holmake now attempts to build bare names which it knows loc'n of [Dec 05 10:16:35]
Machine:pavlova

Dec 07 18:05:00 Claimed job
Dec 07 18:05:03 Reusing HOL
Dec 07 18:05:14 Starting developers
Dec 07 18:05:18 Finished developers                                               2s 137MB
Dec 07 18:05:19 Starting developers/bin
Dec 07 18:05:25 Finished developers/bin                                           4s 746MB
Dec 07 18:05:26 Starting compiler/proofs
Dec 07 19:43:49 Finished compiler/proofs                                    1h38m22s  36GB
Dec 07 19:43:50 Starting compiler/bootstrap/translation
Dec 08 01:34:20 Finished compiler/bootstrap/translation                     5h50m29s  85GB
Dec 08 01:34:21 Starting semantics/ffi
Dec 08 01:34:31 Finished semantics/ffi                                            8s 597MB
Dec 08 01:34:32 Starting semantics
Dec 08 01:34:33 Finished semantics                                                0s  53MB
Dec 08 01:34:34 Starting semantics/proofs
Dec 08 01:34:57 Finished semantics/proofs                                        21s 874MB
Dec 08 01:34:58 Starting semantics/alt_semantics
Dec 08 01:35:19 Finished semantics/alt_semantics                                 20s 903MB
Dec 08 01:35:20 Starting semantics/alt_semantics/proofs
Dec 08 01:45:31 Finished semantics/alt_semantics/proofs                       10m10s   3GB
Dec 08 01:45:32 Starting basis/pure
Dec 08 01:45:34 Finished basis/pure                                               0s  59MB
Dec 08 01:45:34 Starting translator
Dec 08 01:47:11 Finished translator                                            1m35s   3GB
Dec 08 01:47:12 Starting compiler/parsing
Dec 08 01:47:13 Finished compiler/parsing                                         0s  57MB
Dec 08 01:47:14 Starting characteristic
Dec 08 01:47:16 Finished characteristic                                           0s  90MB
Dec 08 01:47:17 Starting translator/monadic
Dec 08 01:47:18 Finished translator/monadic                                       0s  86MB
Dec 08 01:47:19 Starting basis
Dec 08 01:49:38 Finished basis                                                 2m17s   4GB
Dec 08 01:49:39 Starting compiler/inference
Dec 08 01:49:40 Finished compiler/inference                                       0s  86MB
Dec 08 01:49:41 Starting compiler/backend/reg_alloc
Dec 08 01:49:43 Finished compiler/backend/reg_alloc                               0s  57MB
Dec 08 01:49:44 Starting compiler/backend/gc
Dec 08 01:49:46 Finished compiler/backend/gc                                      1s 124MB
Dec 08 01:49:47 Starting compiler/backend
Dec 08 01:49:52 Finished compiler/backend                                         4s 275MB
Dec 08 01:49:52 Starting compiler/encoders/asm
Dec 08 01:49:54 Finished compiler/encoders/asm                                    0s  82MB
Dec 08 01:49:55 Starting compiler/encoders/x64
Dec 08 01:49:57 Finished compiler/encoders/x64                                    0s  91MB
Dec 08 01:49:58 Starting compiler/encoders/arm7
Dec 08 01:49:59 Finished compiler/encoders/arm7                                   0s  86MB
Dec 08 01:50:00 Starting compiler/encoders/arm8
Dec 08 01:50:02 Finished compiler/encoders/arm8                                   0s  86MB
Dec 08 01:50:03 Starting compiler/encoders/arm8_asl
Dec 08 01:51:00 Finished compiler/encoders/arm8_asl                              56s  20GB
Dec 08 01:51:01 Starting compiler/encoders/mips
Dec 08 01:51:03 Finished compiler/encoders/mips                                   0s  82MB
Dec 08 01:51:04 Starting compiler/encoders/riscv
Dec 08 01:51:06 Finished compiler/encoders/riscv                                  0s  89MB
Dec 08 01:51:06 Starting compiler/encoders/ag32
Dec 08 01:51:08 Finished compiler/encoders/ag32                                   0s  86MB
Dec 08 01:51:09 Starting compiler/backend/x64
Dec 08 01:51:11 Finished compiler/backend/x64                                     1s 123MB
Dec 08 01:51:12 Starting compiler/backend/arm7
Dec 08 01:51:14 Finished compiler/backend/arm7                                    1s 123MB
Dec 08 01:51:15 Starting compiler/backend/arm8
Dec 08 01:51:17 Finished compiler/backend/arm8                                    1s 123MB
Dec 08 01:51:18 Starting compiler/backend/mips
Dec 08 01:51:20 Finished compiler/backend/mips                                    1s 123MB
Dec 08 01:51:21 Starting compiler/backend/riscv
Dec 08 01:51:23 Finished compiler/backend/riscv                                   1s 123MB
Dec 08 01:51:24 Starting compiler/backend/ag32
Dec 08 01:52:30 Finished compiler/backend/ag32                                 1m04s   2GB
Dec 08 01:52:30 Starting compiler/parsing/proofs
Dec 08 01:52:32 Finished compiler/parsing/proofs                                  0s  59MB
Dec 08 01:52:33 Starting compiler/inference/proofs
Dec 08 01:52:35 Finished compiler/inference/proofs                                0s  84MB
Dec 08 01:52:36 Starting compiler/backend/semantics
Dec 08 01:55:40 Finished compiler/backend/semantics                            3m03s   2GB
Dec 08 01:55:41 Starting compiler/backend/reg_alloc/proofs
Dec 08 01:55:43 Finished compiler/backend/reg_alloc/proofs                        0s  88MB
Dec 08 01:55:43 Starting compiler/backend/proofs
Dec 08 01:56:35 Finished compiler/backend/proofs                                 50s   3GB
Dec 08 01:56:36 Starting compiler/backend/serialiser
Dec 08 01:56:38 Finished compiler/backend/serialiser                              1s 137MB
Dec 08 01:56:39 Starting compiler/encoders/x64/proofs
Dec 08 02:06:43 Finished compiler/encoders/x64/proofs                         10m03s   4GB
Dec 08 02:06:44 Starting compiler/encoders/arm7/proofs
Dec 08 02:19:52 Finished compiler/encoders/arm7/proofs                        13m06s  10GB
Dec 08 02:19:53 Starting compiler/encoders/arm8/proofs
Dec 08 02:26:36 Finished compiler/encoders/arm8/proofs                         6m42s   3GB
Dec 08 02:26:37 Starting compiler/encoders/arm8_asl/proofs
Dec 08 02:41:55 Finished compiler/encoders/arm8_asl/proofs                    15m17s   3GB
Dec 08 02:41:56 Starting compiler/encoders/mips/proofs
Dec 08 02:52:15 Finished compiler/encoders/mips/proofs                        10m18s   5GB
Dec 08 02:52:16 Starting compiler/encoders/riscv/proofs
Dec 08 03:00:38 Finished compiler/encoders/riscv/proofs                        8m20s   6GB
Dec 08 03:00:39 Starting compiler/encoders/ag32/proofs
Dec 08 03:03:30 Finished compiler/encoders/ag32/proofs                         2m49s   1GB
Dec 08 03:03:31 Starting compiler/backend/x64/proofs
Dec 08 03:04:02 Finished compiler/backend/x64/proofs                             30s   2GB
Dec 08 03:04:03 Starting compiler/backend/arm7/proofs
Dec 08 03:04:37 Finished compiler/backend/arm7/proofs                            33s   2GB
Dec 08 03:04:38 Starting compiler/backend/arm8/proofs
Dec 08 03:05:08 Finished compiler/backend/arm8/proofs                            29s   2GB
Dec 08 03:05:09 Starting compiler/backend/arm8_asl
Dec 08 03:05:31 Finished compiler/backend/arm8_asl                               21s   2GB
Dec 08 03:05:32 Starting compiler/backend/mips/proofs
Dec 08 03:06:04 Finished compiler/backend/mips/proofs                            30s   2GB
Dec 08 03:06:05 Starting compiler/backend/riscv/proofs
Dec 08 03:06:36 Finished compiler/backend/riscv/proofs                           30s   2GB
Dec 08 03:06:37 Starting compiler/backend/ag32/proofs
Dec 08 03:20:13 Finished compiler/backend/ag32/proofs                         13m34s   5GB
Dec 08 03:20:14 Starting compiler/backend/cv_compute
Dec 08 03:21:21 Finished compiler/backend/cv_compute                           1m06s   1GB
Dec 08 03:21:22 Starting cv_translator
Dec 08 03:39:03 Finished cv_translator                                        17m39s  10GB
Dec 08 03:39:04 Starting candle/set-theory
Dec 08 03:39:39 Finished candle/set-theory                                       33s   1GB
Dec 08 03:39:39 Starting candle/syntax-lib
Dec 08 03:39:41 Finished candle/syntax-lib                                        0s  59MB
Dec 08 03:39:42 Starting candle/standard/syntax
Dec 08 03:39:54 Finished candle/standard/syntax                                  11s 790MB
Dec 08 03:39:55 Starting candle/standard/semantics
Dec 08 03:41:55 Finished candle/standard/semantics                             1m59s   2GB
Dec 08 03:41:56 Starting candle/standard/monadic
Dec 08 03:41:58 Finished candle/standard/monadic                                  0s  88MB
Dec 08 03:41:59 Starting candle/standard/ml_kernel
Dec 08 03:43:44 Finished candle/standard/ml_kernel                             1m44s   4GB
Dec 08 03:43:45 Starting candle/overloading/syntax
Dec 08 03:46:57 Finished candle/overloading/syntax                             3m11s   2GB
Dec 08 03:46:58 Starting candle/overloading/semantics
Dec 08 03:57:56 Finished candle/overloading/semantics                         10m56s   4GB
Dec 08 03:57:57 Starting candle/overloading/monadic
Dec 08 04:00:11 Finished candle/overloading/monadic                            2m13s   2GB
Dec 08 04:00:12 Starting candle/overloading/ml_kernel
Dec 08 04:07:26 Finished candle/overloading/ml_kernel                          7m12s   5GB
Dec 08 04:07:27 Starting candle/overloading/ml_checker
Dec 08 04:09:59 Finished candle/overloading/ml_checker                         2m30s   6GB
Dec 08 04:10:00 Starting candle/prover
Dec 08 04:19:39 Finished candle/prover                                         9m38s   5GB
Dec 08 04:19:40 Starting pancake
Dec 08 04:20:01 Finished pancake                                                 20s 671MB
Dec 08 04:20:02 Starting pancake/ffi
Dec 08 04:20:03 Finished pancake/ffi                                              0s  11MB
Dec 08 04:20:04 Starting pancake/semantics
Dec 08 04:22:10 Finished pancake/semantics                                     2m05s   1GB
Dec 08 04:22:11 Starting pancake/parser
Dec 08 04:22:36 Finished pancake/parser                                          23s 429MB
Dec 08 04:22:36 Starting pancake/proofs
Dec 08 04:38:35 Finished pancake/proofs                                       15m57s   8GB
Dec 08 04:38:36 Starting compiler/dafny
Dec 08 04:41:14 Finished compiler/dafny                                        2m37s  10GB
Dec 08 04:41:15 Starting compiler/dafny/translation
Dec 08 04:58:11 Finished compiler/dafny/translation                           16m55s  21GB
Dec 08 04:58:12 Starting compiler/dafny/compilation
Dec 08 05:00:39 Finished compiler/dafny/compilation                            2m25s   8GB
Dec 08 05:00:40 Starting compiler/dafny/semantics
Dec 08 05:01:15 Finished compiler/dafny/semantics                                34s   1GB
Dec 08 05:01:16 Starting characteristic/examples
Dec 08 05:02:41 Finished characteristic/examples                               1m24s   4GB
Dec 08 05:02:42 Starting tutorial/solutions
Dec 08 05:05:06 Finished tutorial/solutions                                    2m22s   3GB
Dec 08 05:05:07 Starting translator/monadic/examples
Dec 08 05:07:58 Finished translator/monadic/examples                           2m50s   3GB
Dec 08 05:07:59 Starting examples
Dec 08 05:13:57 Finished examples                                              5m57s   4GB
Dec 08 05:13:58 Starting examples/compilation/x64
Dec 08 05:20:36 Finished examples/compilation/x64                              6m36s   4GB
Dec 08 05:20:37 Starting examples/compilation/x64/proofs
Dec 08 05:22:55 Finished examples/compilation/x64/proofs                       2m17s   3GB
Dec 08 05:22:55 Starting examples/compilation/ag32
Dec 08 05:24:41 Finished examples/compilation/ag32                             1m44s   3GB
Dec 08 05:24:42 Starting examples/compilation/ag32/proofs
Dec 08 05:25:41 Finished examples/compilation/ag32/proofs                        57s   4GB
Dec 08 05:25:41 Starting examples/lpr_checker
Dec 08 05:26:11 Finished examples/lpr_checker                                    29s   1GB
Dec 08 05:26:12 Starting examples/lpr_checker/array
Dec 08 05:52:47 Finished examples/lpr_checker/array                           26m34s  23GB
Dec 08 05:52:48 Starting examples/lpr_checker/array/compilation
Dec 08 05:54:35 Finished examples/lpr_checker/array/compilation                1m45s   7GB
Dec 08 05:54:36 Starting examples/lpr_checker/array/compilation/proofs
Dec 08 05:55:44 Finished examples/lpr_checker/array/compilation/proofs         1m06s   5GB
Dec 08 05:55:45 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 08 05:56:50 Finished examples/lpr_checker/array/compilation/proofsARM8     1m04s   6GB
Dec 08 05:56:51 Starting .
Dec 08 05:56:54 Finished .                                                        2s 275MB
Dec 08 05:56:55 Starting examples/xlrup_checker
Dec 08 05:57:30 Finished examples/xlrup_checker                                  33s   1GB
Dec 08 05:57:30 Starting examples/xlrup_checker/array
Dec 08 06:10:51 Finished examples/xlrup_checker/array                         13m19s   9GB
Dec 08 06:10:52 Starting examples/xlrup_checker/array/compilation
Dec 08 06:11:51 Finished examples/xlrup_checker/array/compilation                57s   4GB
Dec 08 06:11:51 Starting examples/xlrup_checker/array/compilation/proofs
Dec 08 06:12:49 Finished examples/xlrup_checker/array/compilation/proofs         56s   4GB
Dec 08 06:12:50 Starting examples/pseudo_bool
Dec 08 06:14:21 Finished examples/pseudo_bool                                  1m30s   2GB
Dec 08 06:14:22 Starting examples/pseudo_bool/cnf_encoding
Dec 08 06:14:51 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
Dec 08 06:14:52 Starting examples/pseudo_bool/graph_encoding
Dec 08 06:15:35 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
Dec 08 06:15:36 Starting examples/pseudo_bool/array
Dec 08 07:24:47 Finished examples/pseudo_bool/array                         1h09m10s  38GB
Dec 08 07:24:48 Starting examples/pseudo_bool/array/compilation
Dec 08 07:33:24 Finished examples/pseudo_bool/array/compilation                8m34s  16GB
Dec 08 07:33:25 Starting examples/pseudo_bool/array/compilation/proofs
Dec 08 07:36:00 Finished examples/pseudo_bool/array/compilation/proofs         2m33s   6GB
Dec 08 07:36:01 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 08 07:37:12 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m10s   6GB
Dec 08 07:37:13 Starting examples/opentheory
Dec 08 07:45:51 Finished examples/opentheory                                   8m36s   6GB
Dec 08 07:45:51 Starting examples/opentheory
Dec 08 07:45:53 Finished examples/opentheory                                      1s 117MB
Dec 08 07:45:54 Starting examples/opentheory/compilation
Dec 08 07:47:23 Finished examples/opentheory/compilation                       1m27s   6GB
Dec 08 07:47:24 Starting examples/opentheory/compilation/proofs
Dec 08 07:48:21 Finished examples/opentheory/compilation/proofs                  56s   4GB
Dec 08 07:48:22 Starting examples/opentheory/compilation/ag32
Dec 08 07:49:54 Finished examples/opentheory/compilation/ag32                  1m30s   6GB
Dec 08 07:49:54 Starting examples/opentheory/compilation/ag32/proofs
Dec 08 07:51:31 Finished examples/opentheory/compilation/ag32/proofs           1m35s   8GB
Dec 08 07:51:32 Starting examples/sat_encodings
Dec 08 07:52:30 Finished examples/sat_encodings                                  57s 846MB
Dec 08 07:52:31 Starting examples/sat_encodings/case_studies
Dec 08 07:54:17 Finished examples/sat_encodings/case_studies                   1m45s   1GB
Dec 08 07:54:18 Starting examples/sat_encodings/translation
Dec 08 07:57:50 Finished examples/sat_encodings/translation                    3m31s   2GB
Dec 08 07:57:51 Starting examples/sat_encodings/translation/compilation
Dec 08 07:59:40 Finished examples/sat_encodings/translation/compilation        1m47s   4GB
Dec 08 07:59:41 Starting examples/deflate
Dec 08 08:00:08 Finished examples/deflate                                        26s 680MB
Dec 08 08:00:09 Starting examples/deflate/translation
Dec 08 08:01:06 Finished examples/deflate/translation                            55s   2GB
Dec 08 08:01:07 Starting examples/deflate/translation/compilation
Dec 08 08:01:57 Finished examples/deflate/translation/compilation                48s   3GB
Dec 08 08:01:57 Starting examples/vipr
Dec 08 08:05:23 Finished examples/vipr                                         3m24s   4GB
Dec 08 08:05:23 Starting examples/vipr/compilation
Dec 08 08:06:17 Finished examples/vipr/compilation                               52s   4GB
Dec 08 08:06:17 Starting translator/okasaki-examples
Dec 08 08:10:18 Finished translator/okasaki-examples                           3m59s   3GB
Dec 08 08:10:19 Starting translator/other-examples
Dec 08 08:11:11 Finished translator/other-examples                               50s   3GB
Dec 08 08:11:12 Starting compiler/parsing/tests
Dec 08 08:11:44 Finished compiler/parsing/tests                                  30s   1GB
Dec 08 08:11:45 Starting compiler/inference/tests
Dec 08 08:12:20 Finished compiler/inference/tests                                34s   2GB
Dec 08 08:12:21 Starting compiler/printing/test
Dec 08 08:13:33 Finished compiler/printing/test                                1m11s   5GB
Dec 08 08:13:34 Starting icing/flover
Dec 08 08:47:45 Finished icing/flover                                         34m09s   2GB
Dec 08 08:47:46 Starting icing/
Dec 08 09:14:38 Finished icing/                                               26m51s   4GB
Dec 08 09:14:39 Starting icing/examples
Dec 08 09:16:16 Finished icing/examples                                        1m35s   8GB
Dec 08 09:16:17 Starting compiler/repl
Dec 08 09:24:14 Finished compiler/repl                                         7m55s   7GB
Dec 08 09:24:15 Starting unverified/sexpr-bootstrap/x64/64
Dec 08 09:28:19 Finished unverified/sexpr-bootstrap/x64/64                     4m02s  17GB
Dec 08 09:28:19 Starting unverified/sexpr-bootstrap/x64/32
Dec 08 09:31:39 Finished unverified/sexpr-bootstrap/x64/32                     3m19s  14GB
Dec 08 09:31:40 Starting compiler/benchmarks
Dec 08 09:32:26 Finished compiler/benchmarks                                     44s 711MB
Dec 08 09:32:27 Starting compiler/bootstrap/compilation/x64/64
Dec 08 09:56:52 Finished compiler/bootstrap/compilation/x64/64                24m24s  89GB
Dec 08 09:56:53 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 08 10:20:30 Finished compiler/bootstrap/compilation/x64/64/proofs         23m35s  50GB
Dec 08 10:20:31 Starting compiler/bootstrap/compilation/x64/32
Dec 08 10:46:13 Finished compiler/bootstrap/compilation/x64/32                25m40s  71GB
Dec 08 10:46:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 08 10:50:23 Finished compiler/bootstrap/compilation/x64/32/proofs          4m08s  24GB
Dec 08 10:50:24 Starting compiler/bootstrap/compilation/arm8/64
Dec 08 11:25:16 Finished compiler/bootstrap/compilation/arm8/64               34m50s  59GB
Dec 08 11:25:16 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 08 11:30:13 Finished compiler/bootstrap/compilation/arm8/64/proofs         4m55s  31GB
Dec 08 11:30:14 Starting compiler/bootstrap/compilation/ag32/32
Dec 08 11:55:42 Finished compiler/bootstrap/compilation/ag32/32               25m27s  75GB
Dec 08 11:55:43 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 08 12:00:39 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m55s  30GB
Dec 08 12:00:40 SUCCESS