Job 2809

CakeML:9553097ade04cbf8d1b961a5dae77817a3febb33
  Update a forgotten file [Apr 23 14:33:35]
#1159 (clos-op-split)
Merging into:83736089f5608443cd7f7c84d447c63a2a2e3437
  Merge pull request #1158 from CakeML/remove-set-skip [Apr 13 16:56:05]
HOL:48a676cadda70ad7fc2f6c7b17ecd434f84db113
  Fix more grammars [Apr 11 03:19:32]
Machine:pavlova

Apr 23 17:55:51 Claimed job
Apr 23 17:55:55 Reusing HOL
Apr 23 17:56:06 Starting developers
Apr 23 17:56:10 Finished developers                                               2s 217MB
Apr 23 17:56:11 Starting developers/bin
Apr 23 17:56:16 Finished developers/bin                                           4s 592MB
Apr 23 17:56:17 Starting misc
Apr 23 17:57:03 Finished misc                                                    44s   2GB
Apr 23 17:57:04 Starting compiler/proofs
Apr 23 19:32:40 Finished compiler/proofs                                    1h35m35s  36GB
Apr 23 19:32:41 Starting compiler/bootstrap/translation
Apr 24 01:08:14 Finished compiler/bootstrap/translation                     5h35m29s  84GB
Apr 24 01:08:15 Starting semantics/ffi
Apr 24 01:08:24 Finished semantics/ffi                                            8s 594MB
Apr 24 01:08:25 Starting semantics
Apr 24 01:08:27 Finished semantics                                                0s  51MB
Apr 24 01:08:28 Starting semantics/proofs
Apr 24 01:08:51 Finished semantics/proofs                                        22s 714MB
Apr 24 01:08:52 Starting semantics/alt_semantics
Apr 24 01:09:13 Finished semantics/alt_semantics                                 20s 888MB
Apr 24 01:09:14 Starting semantics/alt_semantics/proofs
Apr 24 01:19:36 Finished semantics/alt_semantics/proofs                       10m20s   3GB
Apr 24 01:19:36 Starting basis/pure
Apr 24 01:19:38 Finished basis/pure                                               0s  92MB
Apr 24 01:19:39 Starting translator
Apr 24 01:21:11 Finished translator                                            1m30s   3GB
Apr 24 01:21:12 Starting compiler/parsing
Apr 24 01:21:13 Finished compiler/parsing                                         0s  61MB
Apr 24 01:21:14 Starting characteristic
Apr 24 01:21:16 Finished characteristic                                           1s 111MB
Apr 24 01:21:17 Starting translator/monadic
Apr 24 01:21:19 Finished translator/monadic                                       1s 115MB
Apr 24 01:21:20 Starting translator/monadic/monad_base
Apr 24 01:21:21 Finished translator/monadic/monad_base                            0s  56MB
Apr 24 01:21:22 Starting basis
Apr 24 01:23:41 Finished basis                                                 2m17s   4GB
Apr 24 01:23:42 Starting compiler
Apr 24 01:23:45 Finished compiler                                                 1s 214MB
Apr 24 01:23:46 Starting compiler/inference
Apr 24 01:23:48 Finished compiler/inference                                       1s 119MB
Apr 24 01:23:49 Starting compiler/backend/reg_alloc
Apr 24 01:23:50 Finished compiler/backend/reg_alloc                               0s  56MB
Apr 24 01:23:51 Starting compiler/backend/gc
Apr 24 01:23:53 Finished compiler/backend/gc                                      1s 136MB
Apr 24 01:23:54 Starting compiler/backend
Apr 24 01:23:59 Finished compiler/backend                                         4s 237MB
Apr 24 01:24:00 Starting compiler/encoders/asm
Apr 24 01:24:02 Finished compiler/encoders/asm                                    0s  88MB
Apr 24 01:24:03 Starting compiler/encoders/x64
Apr 24 01:24:05 Finished compiler/encoders/x64                                    0s  87MB
Apr 24 01:24:05 Starting compiler/encoders/arm7
Apr 24 01:24:07 Finished compiler/encoders/arm7                                   0s  88MB
Apr 24 01:24:08 Starting compiler/encoders/arm8
Apr 24 01:24:10 Finished compiler/encoders/arm8                                   0s  86MB
Apr 24 01:24:11 Starting compiler/encoders/arm8_asl
Apr 24 01:25:07 Finished compiler/encoders/arm8_asl                              55s  20GB
Apr 24 01:25:08 Starting compiler/encoders/mips
Apr 24 01:25:10 Finished compiler/encoders/mips                                   0s  89MB
Apr 24 01:25:11 Starting compiler/encoders/riscv
Apr 24 01:25:12 Finished compiler/encoders/riscv                                  0s  84MB
Apr 24 01:25:13 Starting compiler/encoders/ag32
Apr 24 01:25:15 Finished compiler/encoders/ag32                                   0s  85MB
Apr 24 01:25:16 Starting compiler/encoders/tests
Apr 24 01:25:18 Finished compiler/encoders/tests                                  0s 104MB
Apr 24 01:25:19 Starting compiler/encoders/monadic_enc
Apr 24 01:25:21 Finished compiler/encoders/monadic_enc                            1s 132MB
Apr 24 01:25:22 Starting compiler/backend/x64
Apr 24 01:25:24 Finished compiler/backend/x64                                     1s 135MB
Apr 24 01:25:25 Starting compiler/backend/arm7
Apr 24 01:25:27 Finished compiler/backend/arm7                                    1s 136MB
Apr 24 01:25:28 Starting compiler/backend/arm8
Apr 24 01:25:30 Finished compiler/backend/arm8                                    1s 136MB
Apr 24 01:25:31 Starting compiler/backend/mips
Apr 24 01:25:33 Finished compiler/backend/mips                                    1s 135MB
Apr 24 01:25:34 Starting compiler/backend/riscv
Apr 24 01:25:36 Finished compiler/backend/riscv                                   1s 135MB
Apr 24 01:25:37 Starting compiler/backend/ag32
Apr 24 01:26:45 Finished compiler/backend/ag32                                 1m06s   3GB
Apr 24 01:26:45 Starting compiler/backend/pattern_matching
Apr 24 01:26:47 Finished compiler/backend/pattern_matching                        0s  51MB
Apr 24 01:26:48 Starting compiler/parsing/ocaml
Apr 24 01:28:32 Finished compiler/parsing/ocaml                                1m42s   1GB
Apr 24 01:28:32 Starting compiler/printing
Apr 24 01:28:34 Finished compiler/printing                                        1s 121MB
Apr 24 01:28:35 Starting compiler/parsing/proofs
Apr 24 01:28:37 Finished compiler/parsing/proofs                                  0s  61MB
Apr 24 01:28:38 Starting compiler/inference/proofs
Apr 24 01:28:40 Finished compiler/inference/proofs                                1s 118MB
Apr 24 01:28:41 Starting compiler/backend/semantics
Apr 24 01:31:46 Finished compiler/backend/semantics                            3m04s   2GB
Apr 24 01:31:47 Starting compiler/backend/reg_alloc/proofs
Apr 24 01:31:49 Finished compiler/backend/reg_alloc/proofs                        1s 117MB
Apr 24 01:31:50 Starting compiler/backend/proofs
Apr 24 01:32:35 Finished compiler/backend/proofs                                 44s   3GB
Apr 24 01:32:36 Starting compiler/backend/serialiser
Apr 24 01:32:38 Finished compiler/backend/serialiser                              1s 150MB
Apr 24 01:32:39 Starting compiler/encoders/x64/proofs
Apr 24 01:42:36 Finished compiler/encoders/x64/proofs                          9m56s   4GB
Apr 24 01:42:37 Starting compiler/encoders/arm7/proofs
Apr 24 01:55:39 Finished compiler/encoders/arm7/proofs                        13m00s   9GB
Apr 24 01:55:40 Starting compiler/encoders/arm8/proofs
Apr 24 02:02:31 Finished compiler/encoders/arm8/proofs                         6m49s   4GB
Apr 24 02:02:32 Starting compiler/encoders/arm8_asl/proofs
Apr 24 02:17:49 Finished compiler/encoders/arm8_asl/proofs                    15m15s   4GB
Apr 24 02:17:50 Starting compiler/encoders/mips/proofs
Apr 24 02:28:11 Finished compiler/encoders/mips/proofs                        10m19s   9GB
Apr 24 02:28:12 Starting compiler/encoders/riscv/proofs
Apr 24 02:36:29 Finished compiler/encoders/riscv/proofs                        8m16s   4GB
Apr 24 02:36:30 Starting compiler/encoders/ag32/proofs
Apr 24 02:39:21 Finished compiler/encoders/ag32/proofs                         2m49s   1GB
Apr 24 02:39:22 Starting compiler/backend/x64/proofs
Apr 24 02:39:53 Finished compiler/backend/x64/proofs                             29s   2GB
Apr 24 02:39:54 Starting compiler/backend/arm7/proofs
Apr 24 02:40:26 Finished compiler/backend/arm7/proofs                            31s   2GB
Apr 24 02:40:27 Starting compiler/backend/arm8/proofs
Apr 24 02:40:57 Finished compiler/backend/arm8/proofs                            28s   2GB
Apr 24 02:40:57 Starting compiler/backend/arm8_asl
Apr 24 02:41:19 Finished compiler/backend/arm8_asl                               20s   2GB
Apr 24 02:41:20 Starting compiler/backend/mips/proofs
Apr 24 02:41:50 Finished compiler/backend/mips/proofs                            29s   2GB
Apr 24 02:41:51 Starting compiler/backend/riscv/proofs
Apr 24 02:42:24 Finished compiler/backend/riscv/proofs                           32s   2GB
Apr 24 02:42:25 Starting compiler/backend/ag32/proofs
Apr 24 02:56:04 Finished compiler/backend/ag32/proofs                         13m37s   5GB
Apr 24 02:56:05 Starting compiler/backend/cv_compute
Apr 24 02:57:14 Finished compiler/backend/cv_compute                           1m08s   2GB
Apr 24 02:57:15 Starting cv_translator
Apr 24 03:17:18 Finished cv_translator                                        20m00s   7GB
Apr 24 03:17:19 Starting candle
Apr 24 03:17:20 Finished candle                                                   0s  11MB
Apr 24 03:17:21 Starting candle/set-theory
Apr 24 03:17:55 Finished candle/set-theory                                       33s   1GB
Apr 24 03:17:56 Starting candle/syntax-lib
Apr 24 03:17:58 Finished candle/syntax-lib                                        0s  93MB
Apr 24 03:17:59 Starting candle/standard
Apr 24 03:18:00 Finished candle/standard                                          0s  10MB
Apr 24 03:18:01 Starting candle/standard/syntax
Apr 24 03:18:13 Finished candle/standard/syntax                                  11s 785MB
Apr 24 03:18:14 Starting candle/standard/semantics
Apr 24 03:20:15 Finished candle/standard/semantics                             2m00s   2GB
Apr 24 03:20:16 Starting candle/standard/monadic
Apr 24 03:20:18 Finished candle/standard/monadic                                  1s 127MB
Apr 24 03:20:19 Starting candle/standard/ml_kernel
Apr 24 03:22:02 Finished candle/standard/ml_kernel                             1m41s   4GB
Apr 24 03:22:03 Starting candle/standard/ml_kernel/lisp
Apr 24 03:22:04 Finished candle/standard/ml_kernel/lisp                           0s  50MB
Apr 24 03:22:05 Starting candle/overloading
Apr 24 03:22:06 Finished candle/overloading                                       0s  11MB
Apr 24 03:22:07 Starting candle/overloading/syntax
Apr 24 03:25:19 Finished candle/overloading/syntax                             3m11s   1GB
Apr 24 03:25:20 Starting candle/overloading/semantics
Apr 24 03:36:18 Finished candle/overloading/semantics                         10m56s   6GB
Apr 24 03:36:19 Starting candle/overloading/monadic
Apr 24 03:38:35 Finished candle/overloading/monadic                            2m14s   2GB
Apr 24 03:38:36 Starting candle/overloading/ml_kernel
Apr 24 03:45:51 Finished candle/overloading/ml_kernel                          7m14s   6GB
Apr 24 03:45:52 Starting candle/overloading/ml_checker
Apr 24 03:48:05 Finished candle/overloading/ml_checker                         2m12s   6GB
Apr 24 03:48:06 Starting candle/prover
Apr 24 03:57:41 Finished candle/prover                                         9m33s   5GB
Apr 24 03:57:42 Starting candle/prover/compute
Apr 24 03:57:44 Finished candle/prover/compute                                    1s 142MB
Apr 24 03:57:45 Starting pancake
Apr 24 03:58:07 Finished pancake                                                 20s 791MB
Apr 24 03:58:07 Starting pancake/semantics
Apr 24 04:00:15 Finished pancake/semantics                                     2m07s   2GB
Apr 24 04:00:16 Starting pancake/parser
Apr 24 04:00:41 Finished pancake/parser                                          23s 429MB
Apr 24 04:00:42 Starting pancake/static_checker
Apr 24 04:01:20 Finished pancake/static_checker                                  36s   1GB
Apr 24 04:01:20 Starting pancake/proofs
Apr 24 04:17:05 Finished pancake/proofs                                       15m42s   7GB
Apr 24 04:17:06 Starting pancake/ta_progs
Apr 24 04:17:07 Finished pancake/ta_progs                                         0s  12MB
Apr 24 04:17:08 Starting compiler/dafny
Apr 24 04:20:08 Finished compiler/dafny                                        2m58s  10GB
Apr 24 04:20:09 Starting compiler/dafny/translation
Apr 24 04:39:37 Finished compiler/dafny/translation                           19m27s  18GB
Apr 24 04:39:38 Starting compiler/dafny/compilation
Apr 24 04:42:32 Finished compiler/dafny/compilation                            2m52s  11GB
Apr 24 04:42:33 Starting compiler/dafny/semantics
Apr 24 04:43:10 Finished compiler/dafny/semantics                                35s   1GB
Apr 24 04:43:11 Starting characteristic/examples
Apr 24 04:44:36 Finished characteristic/examples                               1m24s   4GB
Apr 24 04:44:37 Starting tutorial/solutions
Apr 24 04:47:03 Finished tutorial/solutions                                    2m25s   3GB
Apr 24 04:47:04 Starting translator/monadic/examples
Apr 24 04:49:54 Finished translator/monadic/examples                           2m48s   3GB
Apr 24 04:49:55 Starting examples
Apr 24 04:55:43 Finished examples                                              5m47s   4GB
Apr 24 04:55:44 Starting examples/compilation
Apr 24 04:55:45 Finished examples/compilation                                     0s  11MB
Apr 24 04:55:46 Starting examples/compilation/x64
Apr 24 05:02:44 Finished examples/compilation/x64                              6m57s   4GB
Apr 24 05:02:45 Starting examples/compilation/x64/proofs
Apr 24 05:05:08 Finished examples/compilation/x64/proofs                       2m22s   4GB
Apr 24 05:05:09 Starting examples/compilation/ag32
Apr 24 05:07:01 Finished examples/compilation/ag32                             1m51s   3GB
Apr 24 05:07:02 Starting examples/compilation/ag32/proofs
Apr 24 05:08:04 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Apr 24 05:08:04 Starting examples/lpr_checker
Apr 24 05:08:35 Finished examples/lpr_checker                                    29s   1GB
Apr 24 05:08:35 Starting examples/lpr_checker/array
Apr 24 05:34:30 Finished examples/lpr_checker/array                           25m51s  25GB
Apr 24 05:34:31 Starting examples/lpr_checker/array/compilation
Apr 24 05:36:54 Finished examples/lpr_checker/array/compilation                2m22s   7GB
Apr 24 05:36:55 Starting examples/lpr_checker/array/compilation/proofs
Apr 24 05:38:03 Finished examples/lpr_checker/array/compilation/proofs         1m06s   6GB
Apr 24 05:38:04 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 24 05:39:09 Finished examples/lpr_checker/array/compilation/proofsARM8     1m04s   7GB
Apr 24 05:39:10 Starting .
Apr 24 05:39:14 Finished .                                                        2s 324MB
Apr 24 05:39:15 Starting examples/xlrup_checker
Apr 24 05:39:50 Finished examples/xlrup_checker                                  33s   1GB
Apr 24 05:39:51 Starting examples/xlrup_checker/array
Apr 24 05:52:48 Finished examples/xlrup_checker/array                         12m55s   9GB
Apr 24 05:52:49 Starting examples/xlrup_checker/array/compilation
Apr 24 05:53:54 Finished examples/xlrup_checker/array/compilation              1m03s   4GB
Apr 24 05:53:54 Starting examples/xlrup_checker/array/compilation/proofs
Apr 24 05:54:55 Finished examples/xlrup_checker/array/compilation/proofs         59s   5GB
Apr 24 05:54:56 Starting examples/pseudo_bool
Apr 24 05:56:28 Finished examples/pseudo_bool                                  1m31s   2GB
Apr 24 05:56:29 Starting examples/pseudo_bool/cnf_encoding
Apr 24 05:56:59 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
Apr 24 05:57:00 Starting examples/pseudo_bool/graph_encoding
Apr 24 05:57:43 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
Apr 24 05:57:44 Starting examples/pseudo_bool/array
Apr 24 07:07:11 Finished examples/pseudo_bool/array                         1h09m23s  40GB
Apr 24 07:07:12 Starting examples/pseudo_bool/array/compilation
Apr 24 07:17:09 Finished examples/pseudo_bool/array/compilation                9m56s  19GB
Apr 24 07:17:10 Starting examples/pseudo_bool/array/compilation/proofs
Apr 24 07:19:47 Finished examples/pseudo_bool/array/compilation/proofs         2m36s   6GB
Apr 24 07:19:48 Starting examples/pseudo_bool/array/compilation/proofsARM8
Apr 24 07:21:02 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m12s   6GB
Apr 24 07:21:03 Starting examples/opentheory
Apr 24 07:29:27 Finished examples/opentheory                                   8m23s   6GB
Apr 24 07:29:28 Starting examples/opentheory/compilation
Apr 24 07:31:01 Finished examples/opentheory/compilation                       1m32s   6GB
Apr 24 07:31:02 Starting examples/opentheory/compilation/proofs
Apr 24 07:31:59 Finished examples/opentheory/compilation/proofs                  56s   4GB
Apr 24 07:32:00 Starting examples/opentheory/compilation/ag32
Apr 24 07:33:38 Finished examples/opentheory/compilation/ag32                  1m37s   7GB
Apr 24 07:33:39 Starting examples/opentheory/compilation/ag32/proofs
Apr 24 07:35:14 Finished examples/opentheory/compilation/ag32/proofs           1m33s   8GB
Apr 24 07:35:15 Starting examples/sat_encodings
Apr 24 07:36:15 Finished examples/sat_encodings                                  59s 867MB
Apr 24 07:36:16 Starting examples/sat_encodings/demo
Apr 24 07:36:17 Finished examples/sat_encodings/demo                              0s  12MB
Apr 24 07:36:18 Starting examples/sat_encodings/case_studies
Apr 24 07:38:04 Finished examples/sat_encodings/case_studies                   1m43s   1GB
Apr 24 07:38:05 Starting examples/sat_encodings/translation
Apr 24 07:41:38 Finished examples/sat_encodings/translation                    3m32s   2GB
Apr 24 07:41:39 Starting examples/sat_encodings/translation/compilation
Apr 24 07:43:33 Finished examples/sat_encodings/translation/compilation        1m53s   5GB
Apr 24 07:43:34 Starting examples/deflate
Apr 24 07:44:02 Finished examples/deflate                                        26s 751MB
Apr 24 07:44:03 Starting examples/deflate/translation
Apr 24 07:45:08 Finished examples/deflate/translation                          1m04s   4GB
Apr 24 07:45:09 Starting examples/deflate/translation/compilation
Apr 24 07:45:59 Finished examples/deflate/translation/compilation                49s   4GB
Apr 24 07:46:00 Starting examples/vipr
Apr 24 07:49:26 Finished examples/vipr                                         3m25s   4GB
Apr 24 07:49:27 Starting examples/vipr/compilation
Apr 24 07:50:23 Finished examples/vipr/compilation                               55s   4GB
Apr 24 07:50:24 Starting translator/okasaki-examples
Apr 24 07:54:29 Finished translator/okasaki-examples                           4m04s   3GB
Apr 24 07:54:30 Starting translator/other-examples
Apr 24 07:55:23 Finished translator/other-examples                               51s   3GB
Apr 24 07:55:24 Starting translator/other-examples/auxiliary
Apr 24 07:55:24 Finished translator/other-examples/auxiliary                      0s  14MB
Apr 24 07:55:25 Starting compiler/parsing/tests
Apr 24 07:56:00 Finished compiler/parsing/tests                                  33s   1GB
Apr 24 07:56:01 Starting compiler/inference/tests
Apr 24 07:56:37 Finished compiler/inference/tests                                35s   2GB
Apr 24 07:56:38 Starting compiler/printing/test
Apr 24 07:57:51 Finished compiler/printing/test                                1m11s   5GB
Apr 24 07:57:52 Starting icing/flover
Apr 24 08:31:50 Finished icing/flover                                         33m56s   2GB
Apr 24 08:31:51 Starting icing/flover/Infra
Apr 24 08:31:52 Finished icing/flover/Infra                                       0s  13MB
Apr 24 08:31:53 Starting icing/flover/semantics
Apr 24 08:31:53 Finished icing/flover/semantics                                   0s  15MB
Apr 24 08:31:54 Starting icing/
Apr 24 08:58:53 Finished icing/                                               26m56s   4GB
Apr 24 08:58:54 Starting icing/examples
Apr 24 09:00:26 Finished icing/examples                                        1m31s   7GB
Apr 24 09:00:27 Starting compiler/repl
Apr 24 09:08:18 Finished compiler/repl                                         7m49s   7GB
Apr 24 09:08:19 Starting unverified/sexpr-bootstrap/x64/64
Apr 24 09:12:14 Finished unverified/sexpr-bootstrap/x64/64                     3m54s  17GB
Apr 24 09:12:15 Starting unverified/sexpr-bootstrap/x64/32
Apr 24 09:15:27 Finished unverified/sexpr-bootstrap/x64/32                     3m11s  14GB
Apr 24 09:15:28 Starting compiler/benchmarks
Apr 24 09:16:13 Finished compiler/benchmarks                                     44s 711MB
Apr 24 09:16:14 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Apr 24 09:16:18 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 250MB
Apr 24 09:16:18 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Apr 24 09:16:22 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 249MB
Apr 24 09:16:23 Starting compiler/bootstrap/compilation/x64/64
Apr 24 09:42:53 Finished compiler/bootstrap/compilation/x64/64                26m28s  92GB
Apr 24 09:42:54 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 24 10:05:44 Finished compiler/bootstrap/compilation/x64/64/proofs         22m49s  43GB
Apr 24 10:05:45 Starting compiler/bootstrap/compilation/x64/32
Apr 24 10:34:04 Finished compiler/bootstrap/compilation/x64/32                28m17s  78GB
Apr 24 10:34:05 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 24 10:38:27 Finished compiler/bootstrap/compilation/x64/32/proofs          4m21s  23GB
Apr 24 10:38:28 Starting compiler/bootstrap/compilation/arm8/64
Apr 24 11:20:47 Finished compiler/bootstrap/compilation/arm8/64               42m15s 114GB
Apr 24 11:20:48 Starting compiler/bootstrap/compilation/arm8/64/proofs
Apr 24 11:26:15 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m26s  28GB
Apr 24 11:26:16 Starting compiler/bootstrap/compilation/ag32/32
Apr 24 11:55:46 Finished compiler/bootstrap/compilation/ag32/32               29m28s  95GB
Apr 24 11:55:47 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 24 12:00:27 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m39s  30GB
Apr 24 12:00:28 SUCCESS