Job 2689

CakeML:78c6dc18e66994647c378e53d23614c0eeb8f7f3
  Merge pull request #1073 from CakeML/pan_parseErrFix [Oct 30 14:38:01]
HOL:a1ea6a09a473ae49be19e4cdeb39881c393f9395
  mllex: write accepting branches in source order [Oct 28 06:12:31]
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

Oct 30 14:38:37 Claimed job
Oct 30 14:38:43 Building HOL
Oct 30 14:53:35 Starting developers
Oct 30 14:53:39 Finished developers                                               3s 219MB
Oct 30 14:53:40 Starting developers/bin
Oct 30 14:54:04 Finished developers/bin                                          23s   1GB
Oct 30 14:54:05 Starting compiler/proofs
Oct 30 16:42:20 Finished compiler/proofs                                    1h48m14s  31GB
Oct 30 16:42:21 Starting compiler/bootstrap/translation
Oct 31 01:32:53 Finished compiler/bootstrap/translation                     8h50m29s  79GB
Oct 31 01:32:54 Starting semantics/ffi
Oct 31 01:33:10 Finished semantics/ffi                                           15s   1GB
Oct 31 01:33:11 Starting semantics
Oct 31 01:33:12 Finished semantics                                                0s  62MB
Oct 31 01:33:13 Starting semantics/proofs
Oct 31 01:33:38 Finished semantics/proofs                                        23s 813MB
Oct 31 01:33:39 Starting semantics/alt_semantics
Oct 31 01:34:01 Finished semantics/alt_semantics                                 21s 746MB
Oct 31 01:34:02 Starting semantics/alt_semantics/proofs
Oct 31 01:44:17 Finished semantics/alt_semantics/proofs                       10m14s   3GB
Oct 31 01:44:18 Starting basis/pure
Oct 31 01:44:20 Finished basis/pure                                               0s  74MB
Oct 31 01:44:21 Starting translator
Oct 31 01:46:00 Finished translator                                            1m38s   3GB
Oct 31 01:46:00 Starting compiler/parsing
Oct 31 01:46:02 Finished compiler/parsing                                         0s  72MB
Oct 31 01:46:03 Starting characteristic
Oct 31 01:46:05 Finished characteristic                                           0s  91MB
Oct 31 01:46:06 Starting translator/monadic
Oct 31 01:46:07 Finished translator/monadic                                       0s  98MB
Oct 31 01:46:08 Starting basis
Oct 31 01:48:35 Finished basis                                                 2m26s   4GB
Oct 31 01:48:36 Starting compiler/inference
Oct 31 01:48:38 Finished compiler/inference                                       0s  93MB
Oct 31 01:48:39 Starting compiler/backend/reg_alloc
Oct 31 01:48:40 Finished compiler/backend/reg_alloc                               0s  65MB
Oct 31 01:48:41 Starting compiler/backend/gc
Oct 31 01:48:43 Finished compiler/backend/gc                                      1s 141MB
Oct 31 01:48:44 Starting compiler/backend
Oct 31 01:48:50 Finished compiler/backend                                         4s 357MB
Oct 31 01:48:50 Starting compiler/encoders/asm
Oct 31 01:48:52 Finished compiler/encoders/asm                                    0s  91MB
Oct 31 01:48:53 Starting compiler/encoders/x64
Oct 31 01:48:55 Finished compiler/encoders/x64                                    0s 103MB
Oct 31 01:48:56 Starting compiler/encoders/arm7
Oct 31 01:48:57 Finished compiler/encoders/arm7                                   0s 103MB
Oct 31 01:48:58 Starting compiler/encoders/arm8
Oct 31 01:49:00 Finished compiler/encoders/arm8                                   0s 101MB
Oct 31 01:49:01 Starting compiler/encoders/arm8_asl
Oct 31 04:08:19 Finished compiler/encoders/arm8_asl                         2h19m16s  43GB
Oct 31 04:08:20 Starting compiler/encoders/mips
Oct 31 04:08:21 Finished compiler/encoders/mips                                   0s  99MB
Oct 31 04:08:22 Starting compiler/encoders/riscv
Oct 31 04:08:24 Finished compiler/encoders/riscv                                  0s  99MB
Oct 31 04:08:25 Starting compiler/encoders/ag32
Oct 31 04:08:27 Finished compiler/encoders/ag32                                   0s  89MB
Oct 31 04:08:27 Starting compiler/backend/x64
Oct 31 04:08:30 Finished compiler/backend/x64                                     1s 139MB
Oct 31 04:08:30 Starting compiler/backend/arm7
Oct 31 04:08:32 Finished compiler/backend/arm7                                    1s 139MB
Oct 31 04:08:33 Starting compiler/backend/arm8
Oct 31 04:08:35 Finished compiler/backend/arm8                                    1s 139MB
Oct 31 04:08:36 Starting compiler/backend/mips
Oct 31 04:08:38 Finished compiler/backend/mips                                    1s 139MB
Oct 31 04:08:39 Starting compiler/backend/riscv
Oct 31 04:08:41 Finished compiler/backend/riscv                                   1s 139MB
Oct 31 04:08:42 Starting compiler/backend/ag32
Oct 31 04:09:57 Finished compiler/backend/ag32                                 1m13s   3GB
Oct 31 04:09:58 Starting compiler/parsing/proofs
Oct 31 04:09:59 Finished compiler/parsing/proofs                                  0s  74MB
Oct 31 04:10:00 Starting compiler/inference/proofs
Oct 31 04:10:02 Finished compiler/inference/proofs                                0s  96MB
Oct 31 04:10:03 Starting compiler/backend/semantics
Oct 31 04:13:14 Finished compiler/backend/semantics                            3m10s   3GB
Oct 31 04:13:15 Starting compiler/backend/reg_alloc/proofs
Oct 31 04:13:17 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Oct 31 04:13:18 Starting compiler/backend/proofs
Oct 31 04:14:15 Finished compiler/backend/proofs                                 55s   3GB
Oct 31 04:14:16 Starting compiler/backend/serialiser
Oct 31 04:14:18 Finished compiler/backend/serialiser                              1s 149MB
Oct 31 04:14:19 Starting compiler/encoders/x64/proofs
Oct 31 04:24:29 Finished compiler/encoders/x64/proofs                         10m09s   5GB
Oct 31 04:24:30 Starting compiler/encoders/arm7/proofs
Oct 31 04:37:38 Finished compiler/encoders/arm7/proofs                        13m07s   7GB
Oct 31 04:37:39 Starting compiler/encoders/arm8/proofs
Oct 31 04:44:40 Finished compiler/encoders/arm8/proofs                         6m59s   4GB
Oct 31 04:44:40 Starting compiler/encoders/arm8_asl/proofs
Oct 31 05:35:40 Finished compiler/encoders/arm8_asl/proofs                    50m58s  11GB
Oct 31 05:35:41 Starting compiler/encoders/mips/proofs
Oct 31 05:45:52 Finished compiler/encoders/mips/proofs                        10m10s   7GB
Oct 31 05:45:53 Starting compiler/encoders/riscv/proofs
Oct 31 05:54:12 Finished compiler/encoders/riscv/proofs                        8m17s   5GB
Oct 31 05:54:13 Starting compiler/encoders/ag32/proofs
Oct 31 05:57:09 Finished compiler/encoders/ag32/proofs                         2m55s   2GB
Oct 31 05:57:10 Starting compiler/backend/x64/proofs
Oct 31 05:57:55 Finished compiler/backend/x64/proofs                             44s   3GB
Oct 31 05:57:56 Starting compiler/backend/arm7/proofs
Oct 31 05:58:43 Finished compiler/backend/arm7/proofs                            46s   2GB
Oct 31 05:58:44 Starting compiler/backend/arm8/proofs
Oct 31 05:59:32 Finished compiler/backend/arm8/proofs                            47s   3GB
Oct 31 05:59:33 Starting compiler/backend/arm8_asl
Oct 31 06:00:04 Finished compiler/backend/arm8_asl                               29s   2GB
Oct 31 06:00:05 Starting compiler/backend/mips/proofs
Oct 31 06:00:54 Finished compiler/backend/mips/proofs                            48s   3GB
Oct 31 06:00:55 Starting compiler/backend/riscv/proofs
Oct 31 06:01:52 Finished compiler/backend/riscv/proofs                           55s   3GB
Oct 31 06:01:53 Starting compiler/backend/ag32/proofs
Oct 31 06:16:21 Finished compiler/backend/ag32/proofs                         14m27s   6GB
Oct 31 06:16:21 Starting compiler/backend/cv_compute
Oct 31 06:18:11 Finished compiler/backend/cv_compute                           1m48s   3GB
Oct 31 06:18:12 Starting cv_translator
Oct 31 06:38:06 Finished cv_translator                                        19m52s  13GB
Oct 31 06:38:07 Starting candle/set-theory
Oct 31 06:38:56 Finished candle/set-theory                                       48s   1GB
Oct 31 06:38:57 Starting candle/syntax-lib
Oct 31 06:38:59 Finished candle/syntax-lib                                        0s  69MB
Oct 31 06:39:00 Starting candle/standard/syntax
Oct 31 06:39:18 Finished candle/standard/syntax                                  18s   1GB
Oct 31 06:39:19 Starting candle/standard/semantics
Oct 31 06:42:12 Finished candle/standard/semantics                             2m51s   4GB
Oct 31 06:42:13 Starting candle/standard/monadic
Oct 31 06:42:14 Finished candle/standard/monadic                                  0s 106MB
Oct 31 06:42:15 Starting candle/standard/ml_kernel
Oct 31 06:44:19 Finished candle/standard/ml_kernel                             2m02s   5GB
Oct 31 06:44:20 Starting candle/overloading/syntax
Oct 31 06:47:57 Finished candle/overloading/syntax                             3m36s   3GB
Oct 31 06:47:58 Starting candle/overloading/semantics
Oct 31 07:00:11 Finished candle/overloading/semantics                         12m11s  16GB
Oct 31 07:00:11 Starting candle/overloading/monadic
Oct 31 07:02:37 Finished candle/overloading/monadic                            2m25s   2GB
Oct 31 07:02:38 Starting candle/overloading/ml_kernel
Oct 31 07:10:43 Finished candle/overloading/ml_kernel                          8m03s   7GB
Oct 31 07:10:44 Starting candle/overloading/ml_checker
Oct 31 07:13:33 Finished candle/overloading/ml_checker                         2m48s   7GB
Oct 31 07:13:34 Starting candle/prover
Oct 31 07:24:10 Finished candle/prover                                        10m35s   6GB
Oct 31 07:24:11 Starting pancake
Oct 31 07:24:38 Finished pancake                                                 26s 968MB
Oct 31 07:24:39 Starting pancake/ffi
Oct 31 07:24:40 Finished pancake/ffi                                              0s  23MB
Oct 31 07:24:41 Starting pancake/semantics
Oct 31 07:26:55 Finished pancake/semantics                                     2m13s   2GB
Oct 31 07:26:56 Starting pancake/parser
Oct 31 07:27:20 Finished pancake/parser                                          23s 830MB
Oct 31 07:27:21 Starting pancake/proofs
Oct 31 07:43:24 Finished pancake/proofs                                       16m02s   8GB
Oct 31 07:43:25 Starting compiler/dafny
Oct 31 07:46:01 Finished compiler/dafny                                        2m34s   9GB
Oct 31 07:46:02 Starting compiler/dafny/translation
Oct 31 08:14:52 Finished compiler/dafny/translation                           28m49s  18GB
Oct 31 08:14:53 Starting compiler/dafny/compilation
Oct 31 08:18:26 Finished compiler/dafny/compilation                            3m31s  14GB
Oct 31 08:18:27 Starting compiler/dafny/semantics
Oct 31 08:19:04 Finished compiler/dafny/semantics                                36s   1GB
Oct 31 08:19:05 Starting characteristic/examples
Oct 31 08:20:37 Finished characteristic/examples                               1m30s   5GB
Oct 31 08:20:38 Starting tutorial/solutions
Oct 31 08:23:26 Finished tutorial/solutions                                    2m47s   5GB
Oct 31 08:23:27 Starting translator/monadic/examples
Oct 31 08:26:34 Finished translator/monadic/examples                           3m06s   4GB
Oct 31 08:26:35 Starting examples
Oct 31 08:38:47 Finished examples                                             12m10s   5GB
Oct 31 08:38:48 Starting examples/compilation/x64
Oct 31 08:49:08 Finished examples/compilation/x64                             10m18s   7GB
Oct 31 08:49:08 Starting examples/compilation/x64/proofs
Oct 31 08:54:15 Finished examples/compilation/x64/proofs                       5m05s   6GB
Oct 31 08:54:16 Starting examples/compilation/ag32
Oct 31 08:57:05 Finished examples/compilation/ag32                             2m48s   5GB
Oct 31 08:57:06 Starting examples/compilation/ag32/proofs
Oct 31 08:59:01 Finished examples/compilation/ag32/proofs                      1m54s   9GB
Oct 31 08:59:02 Starting examples/compilation/to_word
Oct 31 09:03:20 Finished examples/compilation/to_word                          4m17s  13GB
Oct 31 09:03:21 Starting examples/lpr_checker
Oct 31 09:03:54 Finished examples/lpr_checker                                    31s   1GB
Oct 31 09:03:55 Starting examples/lpr_checker/array
Oct 31 09:30:43 Finished examples/lpr_checker/array                           26m47s  21GB
Oct 31 09:30:44 Starting examples/lpr_checker/array/compilation
Oct 31 09:33:27 Finished examples/lpr_checker/array/compilation                2m41s  10GB
Oct 31 09:33:28 Starting examples/lpr_checker/array/compilation/proofs
Oct 31 09:35:38 Finished examples/lpr_checker/array/compilation/proofs         2m08s   8GB
Oct 31 09:35:39 Starting examples/lpr_checker/array/compilation/proofsARM8
Oct 31 09:37:35 Finished examples/lpr_checker/array/compilation/proofsARM8     1m55s   8GB
Oct 31 09:37:36 Starting examples/xlrup_checker
Oct 31 09:38:11 Finished examples/xlrup_checker                                  34s   1GB
Oct 31 09:38:12 Starting examples/xlrup_checker/array
Oct 31 09:51:51 Finished examples/xlrup_checker/array                         13m38s  11GB
Oct 31 09:51:52 Starting examples/xlrup_checker/array/compilation
Oct 31 09:53:22 Finished examples/xlrup_checker/array/compilation              1m29s   7GB
Oct 31 09:53:23 Starting examples/xlrup_checker/array/compilation/proofs
Oct 31 09:55:11 Finished examples/xlrup_checker/array/compilation/proofs       1m46s   9GB
Oct 31 09:55:12 Starting examples/pseudo_bool
Oct 31 09:56:46 Finished examples/pseudo_bool                                  1m33s   2GB
Oct 31 09:56:47 Starting examples/pseudo_bool/cnf_encoding
Oct 31 09:57:29 Finished examples/pseudo_bool/cnf_encoding                       41s   1GB
Oct 31 09:57:30 Starting examples/pseudo_bool/graph_encoding
Oct 31 09:58:26 Finished examples/pseudo_bool/graph_encoding                     54s   1GB
Oct 31 09:58:27 Starting examples/pseudo_bool/array
Oct 31 11:07:06 Finished examples/pseudo_bool/array                         1h08m37s  34GB
Oct 31 11:07:07 Starting examples/pseudo_bool/array/compilation
Oct 31 11:21:47 Finished examples/pseudo_bool/array/compilation               14m38s  33GB
Oct 31 11:21:47 Starting examples/pseudo_bool/array/compilation/proofs
Oct 31 11:26:17 Finished examples/pseudo_bool/array/compilation/proofs         4m28s   9GB
Oct 31 11:26:18 Starting examples/pseudo_bool/array/compilation/proofsARM8
Oct 31 11:28:21 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m01s   9GB
Oct 31 11:28:22 Starting examples/opentheory
Oct 31 11:37:22 Finished examples/opentheory                                   8m59s   5GB
Oct 31 11:37:23 Starting examples/opentheory
Oct 31 11:37:25 Finished examples/opentheory                                      1s 133MB
Oct 31 11:37:25 Starting examples/opentheory/compilation
Oct 31 11:39:33 Finished examples/opentheory/compilation                       2m06s   9GB
Oct 31 11:39:34 Starting examples/opentheory/compilation/proofs
Oct 31 11:41:30 Finished examples/opentheory/compilation/proofs                1m54s   7GB
Oct 31 11:41:31 Starting examples/opentheory/compilation/ag32
Oct 31 11:43:50 Finished examples/opentheory/compilation/ag32                  2m18s   8GB
Oct 31 11:43:51 Starting examples/opentheory/compilation/ag32/proofs
Oct 31 11:46:26 Finished examples/opentheory/compilation/ag32/proofs           2m33s  12GB
Oct 31 11:46:27 Starting examples/sat_encodings
Oct 31 11:47:29 Finished examples/sat_encodings                                1m01s 952MB
Oct 31 11:47:30 Starting examples/sat_encodings/case_studies
Oct 31 11:49:43 Finished examples/sat_encodings/case_studies                   2m11s   2GB
Oct 31 11:49:44 Starting examples/sat_encodings/translation
Oct 31 11:53:27 Finished examples/sat_encodings/translation                    3m42s   4GB
Oct 31 11:53:28 Starting examples/sat_encodings/translation/compilation
Oct 31 11:56:00 Finished examples/sat_encodings/translation/compilation        2m31s   7GB
Oct 31 11:56:01 Starting examples/deflate
Oct 31 11:56:29 Finished examples/deflate                                        27s 781MB
Oct 31 11:56:30 Starting examples/deflate/translation
Oct 31 11:57:31 Finished examples/deflate/translation                          1m00s   2GB
Oct 31 11:57:32 Starting examples/deflate/translation/compilation
Oct 31 11:58:42 Finished examples/deflate/translation/compilation              1m08s   5GB
Oct 31 11:58:43 Starting examples/vipr
Oct 31 12:02:29 Finished examples/vipr                                         3m45s   4GB
Oct 31 12:02:30 Starting examples/vipr/compilation
Oct 31 12:03:52 Finished examples/vipr/compilation                             1m21s   6GB
Oct 31 12:03:53 Starting translator/okasaki-examples
Oct 31 12:08:09 Finished translator/okasaki-examples                           4m14s   4GB
Oct 31 12:08:10 Starting translator/other-examples
Oct 31 12:13:17 Finished translator/other-examples                             5m05s   3GB
Oct 31 12:13:18 Starting compiler/parsing/tests
Oct 31 12:13:57 Finished compiler/parsing/tests                                  38s   2GB
Oct 31 12:13:58 Starting compiler/inference/tests
Oct 31 12:14:46 Finished compiler/inference/tests                                47s   3GB
Oct 31 12:14:47 Starting compiler/printing/test
Oct 31 12:16:31 Finished compiler/printing/test                                1m43s   6GB
Oct 31 12:16:32 Starting icing/flover
Oct 31 12:53:32 Finished icing/flover                                         36m58s   4GB
Oct 31 12:53:33 Starting icing/
Oct 31 13:21:34 Finished icing/                                               28m00s   9GB
Oct 31 13:21:35 Starting icing/examples
Oct 31 13:23:32 Finished icing/examples                                        1m56s   9GB
Oct 31 13:23:33 Starting compiler/repl
Oct 31 13:32:56 Finished compiler/repl                                         9m21s  10GB
Oct 31 13:32:57 Starting unverified/sexpr-bootstrap/x64/64
Oct 31 13:47:26 Finished unverified/sexpr-bootstrap/x64/64                    14m02s  17GB
Oct 31 13:47:27 Starting unverified/sexpr-bootstrap/x64/32
Oct 31 13:58:52 Finished unverified/sexpr-bootstrap/x64/32                    11m04s  16GB
Oct 31 13:58:53 Starting compiler/benchmarks
Oct 31 13:59:39 Finished compiler/benchmarks                                     44s 712MB
Oct 31 13:59:40 Starting compiler/bootstrap/compilation/x64/64
Oct 31 14:48:16 Finished compiler/bootstrap/compilation/x64/64                48m23s 132GB
Oct 31 14:48:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 31 15:13:33 Finished compiler/bootstrap/compilation/x64/64/proofs         25m14s  55GB
Oct 31 15:13:34 Starting compiler/bootstrap/compilation/x64/32
Oct 31 15:55:39 Finished compiler/bootstrap/compilation/x64/32                41m57s 111GB
Oct 31 15:55:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 31 16:00:47 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  25GB
Oct 31 16:00:48 Starting compiler/bootstrap/compilation/arm8/64
Oct 31 17:01:52 Finished compiler/bootstrap/compilation/arm8/64             1h00m54s 125GB
Oct 31 17:01:53 Starting compiler/bootstrap/compilation/arm8/64/proofs
Oct 31 17:07:55 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m00s  30GB
Oct 31 17:07:55 Starting compiler/bootstrap/compilation/ag32/32
Oct 31 17:51:08 Finished compiler/bootstrap/compilation/ag32/32               43m11s 112GB
Oct 31 17:51:09 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 31 17:57:12 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m02s  33GB
Oct 31 17:57:13 SUCCESS