Job 2496

CakeML:cf6c32d7cf25fe3330c61927a12d1622a61f1582
  Fix pattern parsing in function let:s and in fun:s [Jul 27 08:39:10]
#1028 (candle-cons-patterns)
Merging into:05aaba52005899328d6b4f19faf319c26b7e5310
  Merge pull request #1022 from CakeML/pr/991 [Jul 26 04:58:05]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:pavlova

Jul 27 20:50:42 Claimed job
Jul 27 20:50:46 Reusing HOL
Jul 27 20:50:57 Starting developers
Jul 27 20:51:01 Finished developers                                               2s 224MB
Jul 27 20:51:02 Starting developers/bin
Jul 27 20:51:13 Finished developers/bin                                          10s   1GB
Jul 27 20:51:14 Starting compiler/proofs
Jul 27 22:44:12 Finished compiler/proofs                                    1h52m57s  31GB
Jul 27 22:44:13 Starting compiler/bootstrap/translation
Jul 28 06:56:35 Finished compiler/bootstrap/translation                     8h12m20s  59GB
Jul 28 06:56:36 Starting semantics/ffi
Jul 28 06:56:45 Finished semantics/ffi                                            7s 659MB
Jul 28 06:56:46 Starting semantics
Jul 28 06:56:47 Finished semantics                                                0s  69MB
Jul 28 06:56:48 Starting semantics/proofs
Jul 28 06:57:25 Finished semantics/proofs                                        35s   1GB
Jul 28 06:57:26 Starting semantics/alt_semantics
Jul 28 06:58:08 Finished semantics/alt_semantics                                 41s   1GB
Jul 28 06:58:09 Starting semantics/alt_semantics/proofs
Jul 28 07:09:21 Finished semantics/alt_semantics/proofs                       11m10s   3GB
Jul 28 07:09:22 Starting basis/pure
Jul 28 07:09:23 Finished basis/pure                                               0s  70MB
Jul 28 07:09:24 Starting translator
Jul 28 07:11:12 Finished translator                                            1m47s   3GB
Jul 28 07:11:13 Starting compiler/parsing
Jul 28 07:11:14 Finished compiler/parsing                                         0s  69MB
Jul 28 07:11:15 Starting characteristic
Jul 28 07:11:17 Finished characteristic                                           0s  96MB
Jul 28 07:11:18 Starting translator/monadic
Jul 28 07:11:19 Finished translator/monadic                                       0s  96MB
Jul 28 07:11:20 Starting basis
Jul 28 07:15:08 Finished basis                                                 3m46s   6GB
Jul 28 07:15:09 Starting compiler/inference
Jul 28 07:15:10 Finished compiler/inference                                       0s  99MB
Jul 28 07:15:11 Starting compiler/backend/reg_alloc
Jul 28 07:15:12 Finished compiler/backend/reg_alloc                               0s  71MB
Jul 28 07:15:13 Starting compiler/backend/gc
Jul 28 07:15:15 Finished compiler/backend/gc                                      0s 138MB
Jul 28 07:15:16 Starting compiler/backend
Jul 28 07:15:37 Finished compiler/backend                                        19s   1GB
Jul 28 07:15:37 Starting compiler/encoders/asm
Jul 28 07:15:39 Finished compiler/encoders/asm                                    0s  89MB
Jul 28 07:15:40 Starting compiler/encoders/x64
Jul 28 07:15:41 Finished compiler/encoders/x64                                    0s 101MB
Jul 28 07:15:42 Starting compiler/encoders/arm7
Jul 28 07:15:44 Finished compiler/encoders/arm7                                   0s 101MB
Jul 28 07:15:45 Starting compiler/encoders/arm8
Jul 28 07:15:46 Finished compiler/encoders/arm8                                   0s 101MB
Jul 28 07:15:47 Starting compiler/encoders/arm8_asl
Jul 28 07:18:02 Finished compiler/encoders/arm8_asl                            2m14s   1GB
Jul 28 07:18:03 Starting compiler/encoders/mips
Jul 28 07:18:05 Finished compiler/encoders/mips                                   0s 101MB
Jul 28 07:18:05 Starting compiler/encoders/riscv
Jul 28 07:18:07 Finished compiler/encoders/riscv                                  0s 101MB
Jul 28 07:18:08 Starting compiler/encoders/ag32
Jul 28 07:18:09 Finished compiler/encoders/ag32                                   0s  97MB
Jul 28 07:18:10 Starting compiler/backend/x64
Jul 28 07:18:12 Finished compiler/backend/x64                                     0s 133MB
Jul 28 07:18:13 Starting compiler/backend/arm7
Jul 28 07:18:15 Finished compiler/backend/arm7                                    0s 133MB
Jul 28 07:18:16 Starting compiler/backend/arm8
Jul 28 07:18:17 Finished compiler/backend/arm8                                    0s 133MB
Jul 28 07:18:18 Starting compiler/backend/mips
Jul 28 07:18:20 Finished compiler/backend/mips                                    0s 133MB
Jul 28 07:18:21 Starting compiler/backend/riscv
Jul 28 07:18:23 Finished compiler/backend/riscv                                   0s 133MB
Jul 28 07:18:24 Starting compiler/backend/ag32
Jul 28 07:19:47 Finished compiler/backend/ag32                                 1m22s   2GB
Jul 28 07:19:48 Starting compiler/parsing/proofs
Jul 28 07:19:49 Finished compiler/parsing/proofs                                  0s  73MB
Jul 28 07:19:50 Starting compiler/inference/proofs
Jul 28 07:19:52 Finished compiler/inference/proofs                                0s  90MB
Jul 28 07:19:53 Starting compiler/backend/semantics
Jul 28 07:23:42 Finished compiler/backend/semantics                            3m48s   3GB
Jul 28 07:23:43 Starting compiler/backend/reg_alloc/proofs
Jul 28 07:23:44 Finished compiler/backend/reg_alloc/proofs                        0s  96MB
Jul 28 07:23:45 Starting compiler/backend/proofs
Jul 28 07:24:50 Finished compiler/backend/proofs                               1m03s   3GB
Jul 28 07:24:51 Starting compiler/backend/serialiser
Jul 28 07:24:53 Finished compiler/backend/serialiser                              0s 152MB
Jul 28 07:24:54 Starting compiler/encoders/x64/proofs
Jul 28 07:34:14 Finished compiler/encoders/x64/proofs                          9m19s   5GB
Jul 28 07:34:15 Starting compiler/encoders/arm7/proofs
Jul 28 07:47:05 Finished compiler/encoders/arm7/proofs                        12m49s   6GB
Jul 28 07:47:06 Starting compiler/encoders/arm8/proofs
Jul 28 07:53:38 Finished compiler/encoders/arm8/proofs                         6m31s   5GB
Jul 28 07:53:39 Starting compiler/encoders/arm8_asl/proofs
Jul 28 08:07:46 Finished compiler/encoders/arm8_asl/proofs                    14m06s   4GB
Jul 28 08:07:47 Starting compiler/encoders/mips/proofs
Jul 28 08:17:53 Finished compiler/encoders/mips/proofs                        10m04s   8GB
Jul 28 08:17:54 Starting compiler/encoders/riscv/proofs
Jul 28 08:26:04 Finished compiler/encoders/riscv/proofs                        8m08s   3GB
Jul 28 08:26:05 Starting compiler/encoders/ag32/proofs
Jul 28 08:28:28 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jul 28 08:28:29 Starting compiler/backend/x64/proofs
Jul 28 08:29:12 Finished compiler/backend/x64/proofs                             42s   3GB
Jul 28 08:29:13 Starting compiler/backend/arm7/proofs
Jul 28 08:29:57 Finished compiler/backend/arm7/proofs                            43s   2GB
Jul 28 08:29:58 Starting compiler/backend/arm8/proofs
Jul 28 08:30:40 Finished compiler/backend/arm8/proofs                            40s   3GB
Jul 28 08:30:41 Starting compiler/backend/arm8_asl
Jul 28 08:31:10 Finished compiler/backend/arm8_asl                               28s   2GB
Jul 28 08:31:11 Starting compiler/backend/mips/proofs
Jul 28 08:31:58 Finished compiler/backend/mips/proofs                            46s   3GB
Jul 28 08:31:59 Starting compiler/backend/riscv/proofs
Jul 28 08:32:52 Finished compiler/backend/riscv/proofs                           52s   4GB
Jul 28 08:32:53 Starting compiler/backend/ag32/proofs
Jul 28 08:47:38 Finished compiler/backend/ag32/proofs                         14m43s   6GB
Jul 28 08:47:39 Starting compiler/backend/cv_compute
Jul 28 08:49:23 Finished compiler/backend/cv_compute                           1m43s   3GB
Jul 28 08:49:24 Starting cv_translator
Jul 28 09:08:35 Finished cv_translator                                        19m09s  11GB
Jul 28 09:08:36 Starting candle/set-theory
Jul 28 09:09:24 Finished candle/set-theory                                       47s   1GB
Jul 28 09:09:25 Starting candle/syntax-lib
Jul 28 09:09:26 Finished candle/syntax-lib                                        0s  76MB
Jul 28 09:09:27 Starting candle/standard/syntax
Jul 28 09:09:46 Finished candle/standard/syntax                                  18s   1GB
Jul 28 09:09:47 Starting candle/standard/semantics
Jul 28 09:12:24 Finished candle/standard/semantics                             2m36s   3GB
Jul 28 09:12:25 Starting candle/standard/monadic
Jul 28 09:12:27 Finished candle/standard/monadic                                  0s  99MB
Jul 28 09:12:28 Starting candle/standard/ml_kernel
Jul 28 09:14:26 Finished candle/standard/ml_kernel                             1m57s   7GB
Jul 28 09:14:27 Starting candle/overloading/syntax
Jul 28 09:18:03 Finished candle/overloading/syntax                             3m35s   3GB
Jul 28 09:18:04 Starting candle/overloading/semantics
Jul 28 09:29:27 Finished candle/overloading/semantics                         11m21s   6GB
Jul 28 09:29:27 Starting candle/overloading/monadic
Jul 28 09:32:07 Finished candle/overloading/monadic                            2m38s   3GB
Jul 28 09:32:08 Starting candle/overloading/ml_kernel
Jul 28 09:39:49 Finished candle/overloading/ml_kernel                          7m40s   7GB
Jul 28 09:39:50 Starting candle/overloading/ml_checker
Jul 28 09:42:27 Finished candle/overloading/ml_checker                         2m36s   7GB
Jul 28 09:42:28 Starting candle/prover
Jul 28 09:52:31 Finished candle/prover                                        10m01s   5GB
Jul 28 09:52:32 Starting pancake
Jul 28 09:53:39 Finished pancake                                               1m05s   1GB
Jul 28 09:53:39 Starting pancake/ffi
Jul 28 09:53:40 Finished pancake/ffi                                              0s  25MB
Jul 28 09:53:41 Starting pancake/semantics
Jul 28 09:56:28 Finished pancake/semantics                                     2m45s   2GB
Jul 28 09:56:29 Starting pancake/parser
Jul 28 09:57:02 Finished pancake/parser                                          32s   2GB
Jul 28 09:57:03 Starting pancake/proofs
Jul 28 10:28:15 Finished pancake/proofs                                       31m10s   8GB
Jul 28 10:28:16 Starting characteristic/examples
Jul 28 10:29:52 Finished characteristic/examples                               1m35s   6GB
Jul 28 10:29:53 Starting tutorial/solutions
Jul 28 10:32:27 Finished tutorial/solutions                                    2m32s   4GB
Jul 28 10:32:28 Starting translator/monadic/examples
Jul 28 10:36:25 Finished translator/monadic/examples                           3m56s   5GB
Jul 28 10:36:26 Starting examples
Jul 28 10:50:44 Finished examples                                             14m17s   8GB
Jul 28 10:50:45 Starting examples/compilation/x64
Jul 28 10:59:49 Finished examples/compilation/x64                              9m02s   7GB
Jul 28 10:59:49 Starting examples/compilation/x64/proofs
Jul 28 11:04:22 Finished examples/compilation/x64/proofs                       4m31s   9GB
Jul 28 11:04:23 Starting examples/compilation/ag32
Jul 28 11:06:59 Finished examples/compilation/ag32                             2m35s   5GB
Jul 28 11:07:00 Starting examples/compilation/ag32/proofs
Jul 28 11:08:47 Finished examples/compilation/ag32/proofs                      1m46s   8GB
Jul 28 11:08:48 Starting examples/compilation/to_word
Jul 28 11:12:50 Finished examples/compilation/to_word                          4m00s  13GB
Jul 28 11:12:51 Starting examples/lpr_checker
Jul 28 11:14:10 Finished examples/lpr_checker                                  1m18s   2GB
Jul 28 11:14:11 Starting examples/lpr_checker/array
Jul 28 11:42:55 Finished examples/lpr_checker/array                           28m42s  11GB
Jul 28 11:42:56 Starting examples/lpr_checker/array/compilation
Jul 28 11:45:26 Finished examples/lpr_checker/array/compilation                2m29s   9GB
Jul 28 11:45:27 Starting examples/lpr_checker/array/compilation/proofs
Jul 28 11:47:28 Finished examples/lpr_checker/array/compilation/proofs         2m00s   9GB
Jul 28 11:47:29 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 28 11:49:12 Finished examples/lpr_checker/array/compilation/proofsARM8     1m42s   8GB
Jul 28 11:49:13 Starting examples/xlrup_checker
Jul 28 11:50:26 Finished examples/xlrup_checker                                1m12s   1GB
Jul 28 11:50:27 Starting examples/xlrup_checker/array
Jul 28 12:05:46 Finished examples/xlrup_checker/array                         15m18s   6GB
Jul 28 12:05:47 Starting examples/xlrup_checker/array/compilation
Jul 28 12:07:13 Finished examples/xlrup_checker/array/compilation              1m24s   6GB
Jul 28 12:07:14 Starting examples/xlrup_checker/array/compilation/proofs
Jul 28 12:08:54 Finished examples/xlrup_checker/array/compilation/proofs       1m39s   8GB
Jul 28 12:08:55 Starting examples/pseudo_bool
Jul 28 12:11:06 Finished examples/pseudo_bool                                  2m10s   1GB
Jul 28 12:11:07 Starting examples/pseudo_bool/cnf_encoding
Jul 28 12:11:45 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Jul 28 12:11:46 Starting examples/pseudo_bool/graph_encoding
Jul 28 12:12:40 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Jul 28 12:12:40 Starting examples/pseudo_bool/array
Jul 28 13:19:07 Finished examples/pseudo_bool/array                         1h06m25s  39GB
Jul 28 13:19:08 Starting examples/pseudo_bool/array/compilation
Jul 28 13:32:01 Finished examples/pseudo_bool/array/compilation               12m51s  28GB
Jul 28 13:32:02 Starting examples/pseudo_bool/array/compilation/proofs
Jul 28 13:36:00 Finished examples/pseudo_bool/array/compilation/proofs         3m56s  11GB
Jul 28 13:36:00 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 28 13:37:52 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m50s  10GB
Jul 28 13:37:53 Starting examples/opentheory
Jul 28 13:49:01 Finished examples/opentheory                                  11m07s   7GB
Jul 28 13:49:02 Starting examples/opentheory
Jul 28 13:49:04 Finished examples/opentheory                                      0s 135MB
Jul 28 13:49:05 Starting examples/opentheory/compilation
Jul 28 13:51:38 Finished examples/opentheory/compilation                       2m32s   6GB
Jul 28 13:51:39 Starting examples/opentheory/compilation/proofs
Jul 28 13:53:31 Finished examples/opentheory/compilation/proofs                1m51s   7GB
Jul 28 13:53:32 Starting examples/opentheory/compilation/ag32
Jul 28 13:55:42 Finished examples/opentheory/compilation/ag32                  2m08s   9GB
Jul 28 13:55:42 Starting examples/opentheory/compilation/ag32/proofs
Jul 28 13:58:01 Finished examples/opentheory/compilation/ag32/proofs           2m17s  12GB
Jul 28 13:58:02 Starting examples/sat_encodings
Jul 28 14:01:07 Finished examples/sat_encodings                                3m04s   1GB
Jul 28 14:01:08 Starting examples/sat_encodings/case_studies
Jul 28 14:03:20 Finished examples/sat_encodings/case_studies                   2m10s   2GB
Jul 28 14:03:21 Starting examples/sat_encodings/translation
Jul 28 14:09:59 Finished examples/sat_encodings/translation                    6m37s   7GB
Jul 28 14:10:00 Starting examples/sat_encodings/translation/compilation
Jul 28 14:12:22 Finished examples/sat_encodings/translation/compilation        2m21s   6GB
Jul 28 14:12:23 Starting examples/deflate
Jul 28 14:13:47 Finished examples/deflate                                      1m23s   2GB
Jul 28 14:13:48 Starting examples/deflate/translation
Jul 28 14:15:32 Finished examples/deflate/translation                          1m42s   7GB
Jul 28 14:15:33 Starting examples/deflate/translation/compilation
Jul 28 14:16:37 Finished examples/deflate/translation/compilation              1m03s   5GB
Jul 28 14:16:37 Starting examples/vipr
Jul 28 14:20:46 Finished examples/vipr                                         4m07s   8GB
Jul 28 14:20:47 Starting examples/vipr/compilation
Jul 28 14:22:03 Finished examples/vipr/compilation                             1m15s   5GB
Jul 28 14:22:04 Starting translator/okasaki-examples
Jul 28 14:27:15 Finished translator/okasaki-examples                           5m10s   4GB
Jul 28 14:27:16 Starting translator/other-examples
Jul 28 14:28:30 Finished translator/other-examples                             1m12s   3GB
Jul 28 14:28:31 Starting compiler/parsing/tests
Jul 28 14:29:06 Finished compiler/parsing/tests                                  34s   2GB
Jul 28 14:29:07 Starting compiler/inference/tests
Jul 28 14:29:48 Finished compiler/inference/tests                                40s   3GB
Jul 28 14:29:49 Starting compiler/printing/test
Jul 28 14:31:22 Finished compiler/printing/test                                1m32s   7GB
Jul 28 14:31:23 Starting icing/flover
Jul 28 15:08:20 Finished icing/flover                                         36m56s   4GB
Jul 28 15:08:21 Starting icing/
Jul 28 15:36:11 Finished icing/                                               27m48s  10GB
Jul 28 15:36:11 Starting icing/examples
Jul 28 15:37:53 Finished icing/examples                                        1m40s   8GB
Jul 28 15:37:54 Starting compiler/repl
Jul 28 15:46:52 Finished compiler/repl                                         8m56s   9GB
Jul 28 15:46:52 Starting unverified/sexpr-bootstrap/x64/64
Jul 28 15:58:59 Finished unverified/sexpr-bootstrap/x64/64                    12m06s  14GB
Jul 28 15:59:00 Starting unverified/sexpr-bootstrap/x64/32
Jul 28 16:08:21 Finished unverified/sexpr-bootstrap/x64/32                     9m19s  14GB
Jul 28 16:08:22 Starting compiler/benchmarks
Jul 28 16:09:06 Finished compiler/benchmarks                                     43s 713MB
Jul 28 16:09:07 Starting compiler/bootstrap/compilation/x64/64
Jul 28 16:49:36 Finished compiler/bootstrap/compilation/x64/64                40m27s 119GB
Jul 28 16:49:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 28 17:13:08 Finished compiler/bootstrap/compilation/x64/64/proofs         23m31s  50GB
Jul 28 17:13:09 Starting compiler/bootstrap/compilation/x64/32
Jul 28 17:51:16 Finished compiler/bootstrap/compilation/x64/32                38m05s  91GB
Jul 28 17:51:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 28 17:55:48 Finished compiler/bootstrap/compilation/x64/32/proofs          4m30s  25GB
Jul 28 17:55:49 Starting compiler/bootstrap/compilation/arm8/64
Jul 28 18:47:12 Finished compiler/bootstrap/compilation/arm8/64               51m22s 105GB
Jul 28 18:47:13 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 28 18:52:47 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m33s  33GB
Jul 28 18:52:48 Starting compiler/bootstrap/compilation/ag32/32
Jul 28 19:32:24 Finished compiler/bootstrap/compilation/ag32/32               39m34s 109GB
Jul 28 19:32:25 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 28 19:37:55 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m29s  29GB
Jul 28 19:37:56 SUCCESS