Job 2694

CakeML:d78cf7f823d9a0909c478f1a37223b024c433bb4
  fix parse errors [Nov 10 04:53:24]
#1085 (parse_err)
Merging into:d7d69e2d3bba341cf3212850629af7e4f7f08c88
  Merge pull request #1082 from CakeML/annot_change [Nov 11 12:02:11]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:pavlova

Nov 11 20:29:31 Claimed job
Nov 11 20:29:37 Reusing HOL
Nov 11 20:29:49 Starting developers
Nov 11 20:29:53 Finished developers                                               3s 224MB
Nov 11 20:29:54 Starting developers/bin
Nov 11 20:30:16 Finished developers/bin                                          20s   1GB
Nov 11 20:30:17 Starting compiler/proofs
Nov 11 22:12:37 Finished compiler/proofs                                    1h42m19s  25GB
Nov 11 22:12:38 Starting compiler/bootstrap/translation
Nov 12 07:07:07 Finished compiler/bootstrap/translation                     8h54m27s  79GB
Nov 12 07:07:08 Starting semantics/ffi
Nov 12 07:07:25 Finished semantics/ffi                                           15s   1GB
Nov 12 07:07:25 Starting semantics
Nov 12 07:07:27 Finished semantics                                                0s  62MB
Nov 12 07:07:28 Starting semantics/proofs
Nov 12 07:07:51 Finished semantics/proofs                                        22s 625MB
Nov 12 07:07:52 Starting semantics/alt_semantics
Nov 12 07:08:15 Finished semantics/alt_semantics                                 21s 644MB
Nov 12 07:08:15 Starting semantics/alt_semantics/proofs
Nov 12 07:18:22 Finished semantics/alt_semantics/proofs                       10m05s   2GB
Nov 12 07:18:22 Starting basis/pure
Nov 12 07:18:24 Finished basis/pure                                               0s  69MB
Nov 12 07:18:25 Starting translator
Nov 12 07:20:01 Finished translator                                            1m35s   3GB
Nov 12 07:20:02 Starting compiler/parsing
Nov 12 07:20:03 Finished compiler/parsing                                         0s  71MB
Nov 12 07:20:04 Starting characteristic
Nov 12 07:20:07 Finished characteristic                                           0s  96MB
Nov 12 07:20:08 Starting translator/monadic
Nov 12 07:20:09 Finished translator/monadic                                       0s  99MB
Nov 12 07:20:10 Starting basis
Nov 12 07:22:30 Finished basis                                                 2m18s   4GB
Nov 12 07:22:31 Starting compiler/inference
Nov 12 07:22:32 Finished compiler/inference                                       0s  92MB
Nov 12 07:22:33 Starting compiler/backend/reg_alloc
Nov 12 07:22:35 Finished compiler/backend/reg_alloc                               0s  68MB
Nov 12 07:22:35 Starting compiler/backend/gc
Nov 12 07:22:38 Finished compiler/backend/gc                                      1s 147MB
Nov 12 07:22:38 Starting compiler/backend
Nov 12 07:22:44 Finished compiler/backend                                         4s 310MB
Nov 12 07:22:45 Starting compiler/encoders/asm
Nov 12 07:22:46 Finished compiler/encoders/asm                                    0s  88MB
Nov 12 07:22:47 Starting compiler/encoders/x64
Nov 12 07:22:49 Finished compiler/encoders/x64                                    0s  98MB
Nov 12 07:22:50 Starting compiler/encoders/arm7
Nov 12 07:22:51 Finished compiler/encoders/arm7                                   0s 105MB
Nov 12 07:22:52 Starting compiler/encoders/arm8
Nov 12 07:22:54 Finished compiler/encoders/arm8                                   0s  98MB
Nov 12 07:22:55 Starting compiler/encoders/arm8_asl
Nov 12 07:25:06 Finished compiler/encoders/arm8_asl                            2m10s   1GB
Nov 12 07:25:07 Starting compiler/encoders/mips
Nov 12 07:25:09 Finished compiler/encoders/mips                                   0s  99MB
Nov 12 07:25:10 Starting compiler/encoders/riscv
Nov 12 07:25:11 Finished compiler/encoders/riscv                                  0s  99MB
Nov 12 07:25:12 Starting compiler/encoders/ag32
Nov 12 07:25:14 Finished compiler/encoders/ag32                                   0s  89MB
Nov 12 07:25:15 Starting compiler/backend/x64
Nov 12 07:25:17 Finished compiler/backend/x64                                     1s 138MB
Nov 12 07:25:18 Starting compiler/backend/arm7
Nov 12 07:25:20 Finished compiler/backend/arm7                                    1s 137MB
Nov 12 07:25:21 Starting compiler/backend/arm8
Nov 12 07:25:23 Finished compiler/backend/arm8                                    1s 139MB
Nov 12 07:25:24 Starting compiler/backend/mips
Nov 12 07:25:26 Finished compiler/backend/mips                                    1s 137MB
Nov 12 07:25:26 Starting compiler/backend/riscv
Nov 12 07:25:28 Finished compiler/backend/riscv                                   1s 137MB
Nov 12 07:25:29 Starting compiler/backend/ag32
Nov 12 07:26:42 Finished compiler/backend/ag32                                 1m12s   3GB
Nov 12 07:26:43 Starting compiler/parsing/proofs
Nov 12 07:26:45 Finished compiler/parsing/proofs                                  0s  75MB
Nov 12 07:26:46 Starting compiler/inference/proofs
Nov 12 07:26:47 Finished compiler/inference/proofs                                0s  99MB
Nov 12 07:26:48 Starting compiler/backend/semantics
Nov 12 07:30:00 Finished compiler/backend/semantics                            3m11s   2GB
Nov 12 07:30:01 Starting compiler/backend/reg_alloc/proofs
Nov 12 07:30:03 Finished compiler/backend/reg_alloc/proofs                        0s 102MB
Nov 12 07:30:04 Starting compiler/backend/proofs
Nov 12 07:31:04 Finished compiler/backend/proofs                                 58s   5GB
Nov 12 07:31:04 Starting compiler/backend/serialiser
Nov 12 07:31:07 Finished compiler/backend/serialiser                              1s 143MB
Nov 12 07:31:07 Starting compiler/encoders/x64/proofs
Nov 12 07:41:09 Finished compiler/encoders/x64/proofs                         10m00s   5GB
Nov 12 07:41:10 Starting compiler/encoders/arm7/proofs
Nov 12 07:54:05 Finished compiler/encoders/arm7/proofs                        12m54s   6GB
Nov 12 07:54:06 Starting compiler/encoders/arm8/proofs
Nov 12 08:00:52 Finished compiler/encoders/arm8/proofs                         6m44s   4GB
Nov 12 08:00:52 Starting compiler/encoders/arm8_asl/proofs
Nov 12 08:16:03 Finished compiler/encoders/arm8_asl/proofs                    15m09s   3GB
Nov 12 08:16:04 Starting compiler/encoders/mips/proofs
Nov 12 08:26:08 Finished compiler/encoders/mips/proofs                        10m03s  10GB
Nov 12 08:26:09 Starting compiler/encoders/riscv/proofs
Nov 12 08:34:33 Finished compiler/encoders/riscv/proofs                        8m22s   3GB
Nov 12 08:34:34 Starting compiler/encoders/ag32/proofs
Nov 12 08:37:29 Finished compiler/encoders/ag32/proofs                         2m53s   2GB
Nov 12 08:37:30 Starting compiler/backend/x64/proofs
Nov 12 08:38:16 Finished compiler/backend/x64/proofs                             45s   3GB
Nov 12 08:38:17 Starting compiler/backend/arm7/proofs
Nov 12 08:39:05 Finished compiler/backend/arm7/proofs                            47s   3GB
Nov 12 08:39:06 Starting compiler/backend/arm8/proofs
Nov 12 08:39:52 Finished compiler/backend/arm8/proofs                            45s   3GB
Nov 12 08:39:53 Starting compiler/backend/arm8_asl
Nov 12 08:40:25 Finished compiler/backend/arm8_asl                               31s   2GB
Nov 12 08:40:26 Starting compiler/backend/mips/proofs
Nov 12 08:41:16 Finished compiler/backend/mips/proofs                            49s   3GB
Nov 12 08:41:16 Starting compiler/backend/riscv/proofs
Nov 12 08:42:10 Finished compiler/backend/riscv/proofs                           52s   4GB
Nov 12 08:42:11 Starting compiler/backend/ag32/proofs
Nov 12 08:56:26 Finished compiler/backend/ag32/proofs                         14m14s   6GB
Nov 12 08:56:27 Starting compiler/backend/cv_compute
Nov 12 08:58:18 Finished compiler/backend/cv_compute                           1m50s   3GB
Nov 12 08:58:19 Starting cv_translator
Nov 12 09:18:27 Finished cv_translator                                        20m07s  13GB
Nov 12 09:18:28 Starting candle/set-theory
Nov 12 09:19:16 Finished candle/set-theory                                       46s   1GB
Nov 12 09:19:17 Starting candle/syntax-lib
Nov 12 09:19:18 Finished candle/syntax-lib                                        0s  69MB
Nov 12 09:19:19 Starting candle/standard/syntax
Nov 12 09:19:38 Finished candle/standard/syntax                                  18s   1GB
Nov 12 09:19:39 Starting candle/standard/semantics
Nov 12 09:22:25 Finished candle/standard/semantics                             2m45s   3GB
Nov 12 09:22:26 Starting candle/standard/monadic
Nov 12 09:22:28 Finished candle/standard/monadic                                  0s 102MB
Nov 12 09:22:28 Starting candle/standard/ml_kernel
Nov 12 09:24:34 Finished candle/standard/ml_kernel                             2m04s   5GB
Nov 12 09:24:35 Starting candle/overloading/syntax
Nov 12 09:28:12 Finished candle/overloading/syntax                             3m36s   2GB
Nov 12 09:28:13 Starting candle/overloading/semantics
Nov 12 09:39:49 Finished candle/overloading/semantics                         11m34s   8GB
Nov 12 09:39:50 Starting candle/overloading/monadic
Nov 12 09:42:15 Finished candle/overloading/monadic                            2m24s   2GB
Nov 12 09:42:16 Starting candle/overloading/ml_kernel
Nov 12 09:50:07 Finished candle/overloading/ml_kernel                          7m50s   6GB
Nov 12 09:50:08 Starting candle/overloading/ml_checker
Nov 12 09:52:54 Finished candle/overloading/ml_checker                         2m44s   7GB
Nov 12 09:52:55 Starting candle/prover
Nov 12 10:03:24 Finished candle/prover                                        10m28s   5GB
Nov 12 10:03:25 Starting pancake
Nov 12 10:03:52 Finished pancake                                                 26s   1GB
Nov 12 10:03:53 Starting pancake/ffi
Nov 12 10:03:54 Finished pancake/ffi                                              0s  22MB
Nov 12 10:03:55 Starting pancake/semantics
Nov 12 10:05:59 Finished pancake/semantics                                     2m03s   2GB
Nov 12 10:06:00 Starting pancake/parser
Nov 12 10:06:25 Finished pancake/parser                                          24s 476MB
Nov 12 10:06:26 Starting pancake/proofs
Nov 12 10:22:28 Finished pancake/proofs                                       16m00s   7GB
Nov 12 10:22:29 Starting compiler/dafny
Nov 12 10:24:56 Finished compiler/dafny                                        2m26s   8GB
Nov 12 10:24:57 Starting compiler/dafny/translation
Nov 12 10:53:40 Finished compiler/dafny/translation                           28m42s  20GB
Nov 12 10:53:41 Starting compiler/dafny/compilation
Nov 12 10:57:25 Finished compiler/dafny/compilation                            3m42s  15GB
Nov 12 10:57:26 Starting compiler/dafny/semantics
Nov 12 10:58:01 Finished compiler/dafny/semantics                                34s   1GB
Nov 12 10:58:02 Starting characteristic/examples
Nov 12 10:59:33 Finished characteristic/examples                               1m30s   5GB
Nov 12 10:59:34 Starting tutorial/solutions
Nov 12 11:02:20 Finished tutorial/solutions                                    2m45s   5GB
Nov 12 11:02:21 Starting translator/monadic/examples
Nov 12 11:05:25 Finished translator/monadic/examples                           3m03s   4GB
Nov 12 11:05:26 Starting examples
Nov 12 11:17:40 Finished examples                                             12m13s   4GB
Nov 12 11:17:41 Starting examples/compilation/x64
Nov 12 11:27:40 Finished examples/compilation/x64                              9m57s   8GB
Nov 12 11:27:40 Starting examples/compilation/x64/proofs
Nov 12 11:32:40 Finished examples/compilation/x64/proofs                       4m58s   7GB
Nov 12 11:32:41 Starting examples/compilation/ag32
Nov 12 11:35:29 Finished examples/compilation/ag32                             2m46s   5GB
Nov 12 11:35:29 Starting examples/compilation/ag32/proofs
Nov 12 11:37:24 Finished examples/compilation/ag32/proofs                      1m54s  10GB
Nov 12 11:37:25 Starting examples/compilation/to_word
Nov 12 11:41:40 Finished examples/compilation/to_word                          4m13s  12GB
Nov 12 11:41:41 Starting examples/lpr_checker
Nov 12 11:42:11 Finished examples/lpr_checker                                    29s   1GB
Nov 12 11:42:12 Starting examples/lpr_checker/array
Nov 12 12:08:25 Finished examples/lpr_checker/array                           26m11s  28GB
Nov 12 12:08:26 Starting examples/lpr_checker/array/compilation
Nov 12 12:11:04 Finished examples/lpr_checker/array/compilation                2m37s  10GB
Nov 12 12:11:05 Starting examples/lpr_checker/array/compilation/proofs
Nov 12 12:13:03 Finished examples/lpr_checker/array/compilation/proofs         1m57s   7GB
Nov 12 12:13:04 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 12 12:15:07 Finished examples/lpr_checker/array/compilation/proofsARM8     2m01s   7GB
Nov 12 12:15:08 Starting examples/xlrup_checker
Nov 12 12:15:42 Finished examples/xlrup_checker                                  33s   1GB
Nov 12 12:15:43 Starting examples/xlrup_checker/array
Nov 12 12:28:51 Finished examples/xlrup_checker/array                         13m06s  11GB
Nov 12 12:28:52 Starting examples/xlrup_checker/array/compilation
Nov 12 12:30:19 Finished examples/xlrup_checker/array/compilation              1m25s   6GB
Nov 12 12:30:19 Starting examples/xlrup_checker/array/compilation/proofs
Nov 12 12:32:22 Finished examples/xlrup_checker/array/compilation/proofs       2m01s   6GB
Nov 12 12:32:23 Starting examples/pseudo_bool
Nov 12 12:33:53 Finished examples/pseudo_bool                                  1m29s   2GB
Nov 12 12:33:54 Starting examples/pseudo_bool/cnf_encoding
Nov 12 12:34:34 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Nov 12 12:34:35 Starting examples/pseudo_bool/graph_encoding
Nov 12 12:35:31 Finished examples/pseudo_bool/graph_encoding                     55s   2GB
Nov 12 12:35:32 Starting examples/pseudo_bool/array
Nov 12 13:43:29 Finished examples/pseudo_bool/array                         1h07m55s  35GB
Nov 12 13:43:30 Starting examples/pseudo_bool/array/compilation
Nov 12 13:58:27 Finished examples/pseudo_bool/array/compilation               14m56s  31GB
Nov 12 13:58:28 Starting examples/pseudo_bool/array/compilation/proofs
Nov 12 14:02:49 Finished examples/pseudo_bool/array/compilation/proofs         4m19s   9GB
Nov 12 14:02:50 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 12 14:04:49 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m58s   9GB
Nov 12 14:04:50 Starting examples/opentheory
Nov 12 14:13:33 Finished examples/opentheory                                   8m42s   5GB
Nov 12 14:13:34 Starting examples/opentheory
Nov 12 14:13:36 Finished examples/opentheory                                      1s 132MB
Nov 12 14:13:37 Starting examples/opentheory/compilation
Nov 12 14:15:44 Finished examples/opentheory/compilation                       2m06s   9GB
Nov 12 14:15:45 Starting examples/opentheory/compilation/proofs
Nov 12 14:17:35 Finished examples/opentheory/compilation/proofs                1m48s   7GB
Nov 12 14:17:36 Starting examples/opentheory/compilation/ag32
Nov 12 14:19:57 Finished examples/opentheory/compilation/ag32                  2m20s   8GB
Nov 12 14:19:58 Starting examples/opentheory/compilation/ag32/proofs
Nov 12 14:22:31 Finished examples/opentheory/compilation/ag32/proofs           2m32s  12GB
Nov 12 14:22:32 Starting examples/sat_encodings
Nov 12 14:23:34 Finished examples/sat_encodings                                1m00s 871MB
Nov 12 14:23:34 Starting examples/sat_encodings/case_studies
Nov 12 14:25:46 Finished examples/sat_encodings/case_studies                   2m10s   2GB
Nov 12 14:25:47 Starting examples/sat_encodings/translation
Nov 12 14:29:23 Finished examples/sat_encodings/translation                    3m35s   2GB
Nov 12 14:29:24 Starting examples/sat_encodings/translation/compilation
Nov 12 14:31:57 Finished examples/sat_encodings/translation/compilation        2m31s   7GB
Nov 12 14:31:58 Starting examples/deflate
Nov 12 14:32:25 Finished examples/deflate                                        26s 740MB
Nov 12 14:32:26 Starting examples/deflate/translation
Nov 12 14:33:26 Finished examples/deflate/translation                            58s   2GB
Nov 12 14:33:27 Starting examples/deflate/translation/compilation
Nov 12 14:34:37 Finished examples/deflate/translation/compilation              1m09s   5GB
Nov 12 14:34:38 Starting examples/vipr
Nov 12 14:38:23 Finished examples/vipr                                         3m44s   7GB
Nov 12 14:38:24 Starting examples/vipr/compilation
Nov 12 14:39:47 Finished examples/vipr/compilation                             1m21s   6GB
Nov 12 14:39:48 Starting translator/okasaki-examples
Nov 12 14:43:58 Finished translator/okasaki-examples                           4m09s   4GB
Nov 12 14:43:59 Starting translator/other-examples
Nov 12 14:45:15 Finished translator/other-examples                             1m15s   3GB
Nov 12 14:45:16 Starting compiler/parsing/tests
Nov 12 14:45:55 Finished compiler/parsing/tests                                  38s   2GB
Nov 12 14:45:56 Starting compiler/inference/tests
Nov 12 14:46:41 Finished compiler/inference/tests                                44s   3GB
Nov 12 14:46:42 Starting compiler/printing/test
Nov 12 14:48:23 Finished compiler/printing/test                                1m40s   6GB
Nov 12 14:48:24 Starting icing/flover
Nov 12 15:25:02 Finished icing/flover                                         36m36s   4GB
Nov 12 15:25:03 Starting icing/
Nov 12 15:52:51 Finished icing/                                               27m47s   9GB
Nov 12 15:52:52 Starting icing/examples
Nov 12 15:54:44 Finished icing/examples                                        1m51s   9GB
Nov 12 15:54:45 Starting compiler/repl
Nov 12 16:03:58 Finished compiler/repl                                         9m11s  10GB
Nov 12 16:03:59 Starting unverified/sexpr-bootstrap/x64/64
Nov 12 16:17:58 Finished unverified/sexpr-bootstrap/x64/64                    13m58s  17GB
Nov 12 16:17:59 Starting unverified/sexpr-bootstrap/x64/32
Nov 12 16:29:11 Finished unverified/sexpr-bootstrap/x64/32                    11m10s  15GB
Nov 12 16:29:12 Starting compiler/benchmarks
Nov 12 16:29:57 Finished compiler/benchmarks                                     44s 712MB
Nov 12 16:29:58 Starting compiler/bootstrap/compilation/x64/64
Nov 12 17:15:37 Finished compiler/bootstrap/compilation/x64/64                45m38s 125GB
Nov 12 17:15:38 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 12 17:41:05 Finished compiler/bootstrap/compilation/x64/64/proofs         25m25s  57GB
Nov 12 17:41:06 Starting compiler/bootstrap/compilation/x64/32
Nov 12 18:22:29 Finished compiler/bootstrap/compilation/x64/32                41m22s 106GB
Nov 12 18:22:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 12 18:27:37 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  26GB
Nov 12 18:27:38 Starting compiler/bootstrap/compilation/arm8/64
Nov 12 19:26:46 Finished compiler/bootstrap/compilation/arm8/64               59m06s 123GB
Nov 12 19:26:47 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 12 19:32:35 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m46s  29GB
Nov 12 19:32:35 Starting compiler/bootstrap/compilation/ag32/32
Nov 12 20:14:47 Finished compiler/bootstrap/compilation/ag32/32               42m10s 105GB
Nov 12 20:14:48 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 12 20:20:41 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m52s  30GB
Nov 12 20:20:42 SUCCESS