Job 1579

CakeML:9e079b9c6aef1a1fe028a04f50789fbbed771045
  Merge pull request #832 from CakeML/errorpegs [Sep 10 08:24:48]
HOL:ef1d72d8d25c7691107eb1bf97d113b777f59997
  Fix context-free selftest and add new failure examples [Sep 03 07:26:05]
Machine:oven3 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Sep 10 08:39:39 Claimed job
Sep 10 08:39:51 Reusing HOL
Sep 10 08:41:06 Starting developers
Sep 10 08:41:14 Finished developers                                               7s  86MB
Sep 10 08:41:14 Starting developers/bin
Sep 10 08:41:27 Finished developers/bin                                          12s   1GB
Sep 10 08:41:27 Starting semantics/ffi
Sep 10 08:41:53 Finished semantics/ffi                                           25s 277MB
Sep 10 08:41:53 Starting semantics
Sep 10 08:44:43 Finished semantics                                             2m49s   1GB
Sep 10 08:44:43 Starting semantics/proofs
Sep 10 08:52:50 Finished semantics/proofs                                      8m06s   1GB
Sep 10 08:52:51 Starting semantics/alt_semantics
Sep 10 08:53:13 Finished semantics/alt_semantics                                 22s 318MB
Sep 10 08:53:14 Starting semantics/alt_semantics/proofs
Sep 10 08:58:01 Finished semantics/alt_semantics/proofs                        4m47s   1GB
Sep 10 08:58:02 Starting basis/pure
Sep 10 09:04:13 Finished basis/pure                                            6m11s 874MB
Sep 10 09:04:13 Starting translator
Sep 10 09:11:04 Finished translator                                            6m50s   1GB
Sep 10 09:11:05 Starting compiler/parsing
Sep 10 09:13:44 Finished compiler/parsing                                      2m38s   2GB
Sep 10 09:13:44 Starting characteristic
Sep 10 09:25:44 Finished characteristic                                       11m59s   1GB
Sep 10 09:25:44 Starting translator/monadic
Sep 10 09:29:12 Finished translator/monadic                                    3m27s   1GB
Sep 10 09:29:12 Starting basis
Sep 10 11:07:54 Finished basis                                              1h38m41s  22GB
Sep 10 11:07:54 Starting compiler/inference
Sep 10 11:10:41 Finished compiler/inference                                    2m45s   1GB
Sep 10 11:10:41 Starting compiler/backend/reg_alloc
Sep 10 11:12:48 Finished compiler/backend/reg_alloc                            2m06s   1GB
Sep 10 11:12:48 Starting compiler/backend/gc
Sep 10 11:20:05 Finished compiler/backend/gc                                   7m16s   2GB
Sep 10 11:20:05 Starting compiler/backend
Sep 10 11:29:49 Finished compiler/backend                                      9m44s   4GB
Sep 10 11:29:49 Starting compiler/encoders/asm
Sep 10 11:30:41 Finished compiler/encoders/asm                                   51s 652MB
Sep 10 11:30:41 Starting compiler/encoders/x64
Sep 10 11:33:02 Finished compiler/encoders/x64                                 2m20s 772MB
Sep 10 11:33:02 Starting compiler/encoders/arm7
Sep 10 11:37:51 Finished compiler/encoders/arm7                                4m48s   1GB
Sep 10 11:37:51 Starting compiler/encoders/arm8
Sep 10 11:39:15 Finished compiler/encoders/arm8                                1m23s 953MB
Sep 10 11:39:16 Starting compiler/encoders/mips
Sep 10 11:42:27 Finished compiler/encoders/mips                                3m10s   1GB
Sep 10 11:42:27 Starting compiler/encoders/riscv
Sep 10 11:46:15 Finished compiler/encoders/riscv                               3m47s   1GB
Sep 10 11:46:15 Starting compiler/encoders/ag32
Sep 10 11:46:57 Finished compiler/encoders/ag32                                  41s 613MB
Sep 10 11:46:58 Starting compiler/backend/x64
Sep 10 11:47:37 Finished compiler/backend/x64                                    39s   1GB
Sep 10 11:47:37 Starting compiler/backend/arm7
Sep 10 11:48:23 Finished compiler/backend/arm7                                   45s   1GB
Sep 10 11:48:24 Starting compiler/backend/arm8
Sep 10 11:49:07 Finished compiler/backend/arm8                                   43s   1GB
Sep 10 11:49:07 Starting compiler/backend/mips
Sep 10 11:49:51 Finished compiler/backend/mips                                   43s   1GB
Sep 10 11:49:51 Starting compiler/backend/riscv
Sep 10 11:50:34 Finished compiler/backend/riscv                                  42s   1GB
Sep 10 11:50:34 Starting compiler/backend/ag32
Sep 10 11:53:05 Finished compiler/backend/ag32                                 2m30s   1GB
Sep 10 11:53:05 Starting compiler/parsing/proofs
Sep 10 12:07:44 Finished compiler/parsing/proofs                              14m38s   1GB
Sep 10 12:07:44 Starting compiler/inference/proofs
Sep 10 12:13:27 Finished compiler/inference/proofs                             5m42s   1GB
Sep 10 12:13:27 Starting compiler/backend/semantics
Sep 10 13:15:03 Finished compiler/backend/semantics                         1h01m35s   2GB
Sep 10 13:15:04 Starting compiler/backend/reg_alloc/proofs
Sep 10 13:23:14 Finished compiler/backend/reg_alloc/proofs                     8m09s   1GB
Sep 10 13:23:14 Starting compiler/backend/proofs
Sep 10 15:04:31 Finished compiler/backend/proofs                            1h41m16s  16GB
Sep 10 15:04:31 Starting compiler/encoders/x64/proofs
Sep 10 15:26:14 Finished compiler/encoders/x64/proofs                         21m42s   4GB
Sep 10 15:26:14 Starting compiler/encoders/arm7/proofs
Sep 10 15:56:41 Finished compiler/encoders/arm7/proofs                        30m26s   3GB
Sep 10 15:56:42 Starting compiler/encoders/arm8/proofs
Sep 10 16:12:08 Finished compiler/encoders/arm8/proofs                        15m26s   1GB
Sep 10 16:12:09 Starting compiler/encoders/mips/proofs
Sep 10 16:34:59 Finished compiler/encoders/mips/proofs                        22m49s   3GB
Sep 10 16:34:59 Starting compiler/encoders/riscv/proofs
Sep 10 16:55:10 Finished compiler/encoders/riscv/proofs                       20m10s   1GB
Sep 10 16:55:10 Starting compiler/encoders/ag32/proofs
Sep 10 17:00:58 Finished compiler/encoders/ag32/proofs                         5m47s 821MB
Sep 10 17:00:59 Starting compiler/backend/x64/proofs
Sep 10 17:01:48 Finished compiler/backend/x64/proofs                             49s   1GB
Sep 10 17:01:49 Starting compiler/backend/arm7/proofs
Sep 10 17:02:39 Finished compiler/backend/arm7/proofs                            49s   1GB
Sep 10 17:02:39 Starting compiler/backend/arm8/proofs
Sep 10 17:03:29 Finished compiler/backend/arm8/proofs                            49s   1GB
Sep 10 17:03:29 Starting compiler/backend/mips/proofs
Sep 10 17:04:20 Finished compiler/backend/mips/proofs                            50s   1GB
Sep 10 17:04:21 Starting compiler/backend/riscv/proofs
Sep 10 17:05:10 Finished compiler/backend/riscv/proofs                           49s   1GB
Sep 10 17:05:10 Starting compiler/backend/ag32/proofs
Sep 10 17:33:06 Finished compiler/backend/ag32/proofs                         27m55s   2GB
Sep 10 17:33:07 Starting compiler/proofs
Sep 10 17:37:29 Finished compiler/proofs                                       4m22s   5GB
Sep 10 17:37:29 Starting candle/set-theory
Sep 10 17:38:31 Finished candle/set-theory                                     1m01s 822MB
Sep 10 17:38:31 Starting candle/syntax-lib
Sep 10 17:38:55 Finished candle/syntax-lib                                       23s 735MB
Sep 10 17:38:55 Starting candle/standard/syntax
Sep 10 17:42:54 Finished candle/standard/syntax                                3m59s 927MB
Sep 10 17:42:55 Starting candle/standard/semantics
Sep 10 17:46:49 Finished candle/standard/semantics                             3m53s   1GB
Sep 10 17:46:49 Starting candle/standard/monadic
Sep 10 17:50:34 Finished candle/standard/monadic                               3m44s   1GB
Sep 10 17:50:35 Starting candle/standard/ml_kernel
Sep 10 18:02:31 Finished candle/standard/ml_kernel                            11m56s   5GB
Sep 10 18:02:31 Starting candle/overloading/syntax
Sep 10 18:09:18 Finished candle/overloading/syntax                             6m46s   1GB
Sep 10 18:09:19 Starting candle/overloading/semantics
Sep 10 18:35:59 Finished candle/overloading/semantics                         26m39s   5GB
Sep 10 18:35:59 Starting pancake
Sep 10 18:37:42 Finished pancake                                               1m42s 850MB
Sep 10 18:37:42 Starting pancake/ffi
Sep 10 18:37:43 Finished pancake/ffi                                              0s   9MB
Sep 10 18:37:43 Starting pancake/semantics
Sep 10 18:42:38 Finished pancake/semantics                                     4m54s   1GB
Sep 10 18:42:38 Starting pancake/proofs
Sep 10 19:09:24 Finished pancake/proofs                                       26m45s   6GB
Sep 10 19:09:24 Starting characteristic/examples
Sep 10 19:12:20 Finished characteristic/examples                               2m55s   2GB
Sep 10 19:12:21 Starting tutorial/solutions
Sep 10 19:46:27 Finished tutorial/solutions                                   34m05s   9GB
Sep 10 19:46:27 Starting translator/monadic/examples
Sep 10 19:52:31 Finished translator/monadic/examples                           6m03s   2GB
Sep 10 19:52:31 Starting examples
Sep 10 20:09:33 Finished examples                                             17m01s   4GB
Sep 10 20:09:33 Starting examples/compilation/x64
Sep 11 01:28:41 Finished examples/compilation/x64                           5h19m07s  15GB
Sep 11 01:28:42 Starting examples/compilation/x64/proofs
Sep 11 01:32:08 Finished examples/compilation/x64/proofs                       3m26s   3GB
Sep 11 01:32:09 Starting examples/compilation/ag32
Sep 11 02:49:20 Finished examples/compilation/ag32                          1h17m10s   7GB
Sep 11 02:49:20 Starting examples/compilation/ag32/proofs
Sep 11 02:51:04 Finished examples/compilation/ag32/proofs                      1m44s   3GB
Sep 11 02:51:04 Starting examples/cost
Sep 11 04:44:33 Finished examples/cost                                      1h53m27s   7GB
Sep 11 04:44:33 Starting examples/lpr_checker
Sep 11 04:52:53 Finished examples/lpr_checker                                  8m20s   3GB
Sep 11 04:52:54 Starting examples/lpr_checker/compilation
Sep 11 05:28:29 Finished examples/lpr_checker/compilation                     35m34s  14GB
Sep 11 05:28:29 Starting examples/lpr_checker/compilation/proofs
Sep 11 05:30:02 Finished examples/lpr_checker/compilation/proofs               1m32s   3GB
Sep 11 05:30:02 Starting examples/lpr_checker/array
Sep 11 06:02:50 Finished examples/lpr_checker/array                           32m47s   4GB
Sep 11 06:02:50 Starting examples/lpr_checker/array/compilation
Sep 11 06:45:45 Finished examples/lpr_checker/array/compilation               42m54s  12GB
Sep 11 06:45:45 Starting examples/lpr_checker/array/compilation/proofs
Sep 11 06:47:26 Finished examples/lpr_checker/array/compilation/proofs         1m41s   3GB
Sep 11 06:47:27 Starting examples/opentheory
Sep 11 07:08:46 Finished examples/opentheory                                  21m18s   5GB
Sep 11 07:08:46 Starting examples/opentheory
Sep 11 07:08:49 Finished examples/opentheory                                      2s  34MB
Sep 11 07:08:49 Starting examples/opentheory/compilation
Sep 11 08:17:03 Finished examples/opentheory/compilation                    1h08m13s  20GB
Sep 11 08:17:03 Starting examples/opentheory/compilation/proofs
Sep 11 08:18:35 Finished examples/opentheory/compilation/proofs                1m30s   3GB
Sep 11 08:18:35 Starting examples/opentheory/compilation/ag32
Sep 11 09:32:15 Finished examples/opentheory/compilation/ag32               1h13m39s  22GB
Sep 11 09:32:15 Starting examples/opentheory/compilation/ag32/proofs
Sep 11 09:35:40 Finished examples/opentheory/compilation/ag32/proofs           3m24s   6GB
Sep 11 09:35:41 Starting examples/sat_encodings
Sep 11 09:39:35 Finished examples/sat_encodings                                3m54s 925MB
Sep 11 09:39:35 Starting examples/sat_encodings/case_studies
Sep 11 09:42:58 Finished examples/sat_encodings/case_studies                   3m21s   1GB
Sep 11 09:42:58 Starting examples/sat_encodings/translation
Sep 11 09:54:24 Finished examples/sat_encodings/translation                   11m25s   5GB
Sep 11 09:54:24 Starting examples/sat_encodings/translation/compilation
Sep 11 11:12:40 Finished examples/sat_encodings/translation/compilation     1h18m15s  11GB
Sep 11 11:12:40 Starting translator/okasaki-examples
Sep 11 11:21:44 Finished translator/okasaki-examples                           9m03s   1GB
Sep 11 11:21:44 Starting translator/other-examples
Sep 11 11:25:46 Finished translator/other-examples                             4m00s   1GB
Sep 11 11:25:46 Starting compiler/parsing/tests
Sep 11 11:26:55 Finished compiler/parsing/tests                                1m08s 628MB
Sep 11 11:26:55 Starting compiler/inference/tests
Sep 11 11:42:41 Finished compiler/inference/tests                             15m46s   7GB
Sep 11 11:42:42 Starting compiler/bootstrap/translation
Sep 11 17:13:15 Finished compiler/bootstrap/translation                     5h30m31s  26GB
Sep 11 17:13:15 Starting unverified/sexpr-bootstrap/x64/64
Sep 11 17:37:22 Finished unverified/sexpr-bootstrap/x64/64                    24m02s   9GB
Sep 11 17:37:22 Starting unverified/sexpr-bootstrap/x64/32
Sep 11 17:58:18 Finished unverified/sexpr-bootstrap/x64/32                    20m52s   8GB
Sep 11 17:58:19 Starting compiler/benchmarks
Sep 11 17:58:23 Finished compiler/benchmarks                                      4s  32MB
Sep 11 17:58:23 Starting compiler/bootstrap/compilation/x64/64
Sep 13 00:34:00 Finished compiler/bootstrap/compilation/x64/64             30h35m32s 115GB
Sep 13 00:34:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 13 00:38:50 Finished compiler/bootstrap/compilation/x64/64/proofs          4m49s  16GB
Sep 13 00:38:50 Starting compiler/bootstrap/compilation/x64/32
Sep 14 02:43:16 Finished compiler/bootstrap/compilation/x64/32             26h04m22s 110GB
Sep 14 02:43:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 14 02:47:31 Finished compiler/bootstrap/compilation/x64/32/proofs          4m14s  14GB
Sep 14 02:47:32 Starting compiler/bootstrap/compilation/ag32/32
Sep 15 05:14:04 Finished compiler/bootstrap/compilation/ag32/32            26h26m31s 111GB
Sep 15 05:14:04 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 15 05:54:41 Finished compiler/bootstrap/compilation/ag32/32/proofs        40m36s  49GB
Sep 15 05:54:41 SUCCESS