Job 2382

CakeML:d4f0662af8596e6f964e54519b206be44e5b9f71
  Merge pull request #992 from CakeML/cf-fixes [Apr 28 06:49:36]
HOL:e006edd4c63dd1e725e8e19b18807bb13f96db1e
  Fix bug in cv_typeLib (translation failed in limited grammar ctxts) [Apr 30 05:56:04]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

May 06 01:17:45 Claimed job
May 06 01:17:53 Building HOL
May 06 01:31:58 Starting developers
May 06 01:32:01 Finished developers                                               2s 220MB
May 06 01:32:02 Starting developers/bin
May 06 01:32:14 Finished developers/bin                                          11s   1GB
May 06 01:32:15 Starting compiler/proofs
May 06 03:24:00 Finished compiler/proofs                                    1h51m43s  39GB
May 06 03:24:00 Starting compiler/bootstrap/translation
May 06 11:31:58 Finished compiler/bootstrap/translation                     8h07m56s  77GB
May 06 11:31:59 Starting semantics/ffi
May 06 11:32:07 Finished semantics/ffi                                            7s 652MB
May 06 11:32:08 Starting semantics
May 06 11:32:10 Finished semantics                                                0s  68MB
May 06 11:32:11 Starting semantics/proofs
May 06 11:32:46 Finished semantics/proofs                                        34s   2GB
May 06 11:32:47 Starting semantics/alt_semantics
May 06 11:33:26 Finished semantics/alt_semantics                                 38s   1GB
May 06 11:33:27 Starting semantics/alt_semantics/proofs
May 06 11:44:25 Finished semantics/alt_semantics/proofs                       10m56s   2GB
May 06 11:44:26 Starting basis/pure
May 06 11:44:27 Finished basis/pure                                               0s  71MB
May 06 11:44:28 Starting translator
May 06 11:46:10 Finished translator                                            1m41s   3GB
May 06 11:46:11 Starting compiler/parsing
May 06 11:46:13 Finished compiler/parsing                                         0s  72MB
May 06 11:46:13 Starting characteristic
May 06 11:46:15 Finished characteristic                                           0s  92MB
May 06 11:46:16 Starting translator/monadic
May 06 11:46:18 Finished translator/monadic                                       0s  92MB
May 06 11:46:18 Starting basis
May 06 11:49:55 Finished basis                                                 3m36s  10GB
May 06 11:49:56 Starting compiler/inference
May 06 11:49:58 Finished compiler/inference                                       0s  87MB
May 06 11:49:59 Starting compiler/backend/reg_alloc
May 06 11:50:00 Finished compiler/backend/reg_alloc                               0s  67MB
May 06 11:50:01 Starting compiler/backend/gc
May 06 11:50:03 Finished compiler/backend/gc                                      0s 142MB
May 06 11:50:04 Starting compiler/backend
May 06 11:50:20 Finished compiler/backend                                        15s   1GB
May 06 11:50:21 Starting compiler/encoders/asm
May 06 11:50:23 Finished compiler/encoders/asm                                    0s  87MB
May 06 11:50:24 Starting compiler/encoders/x64
May 06 11:50:25 Finished compiler/encoders/x64                                    0s  99MB
May 06 11:50:26 Starting compiler/encoders/arm7
May 06 11:50:28 Finished compiler/encoders/arm7                                   0s  95MB
May 06 11:50:28 Starting compiler/encoders/arm8
May 06 11:50:30 Finished compiler/encoders/arm8                                   0s  95MB
May 06 11:50:31 Starting compiler/encoders/arm8_asl
May 06 14:14:09 Finished compiler/encoders/arm8_asl                         2h23m36s  45GB
May 06 14:14:10 Starting compiler/encoders/mips
May 06 14:14:11 Finished compiler/encoders/mips                                   0s  91MB
May 06 14:14:12 Starting compiler/encoders/riscv
May 06 14:14:14 Finished compiler/encoders/riscv                                  0s  93MB
May 06 14:14:15 Starting compiler/encoders/ag32
May 06 14:14:16 Finished compiler/encoders/ag32                                   0s  89MB
May 06 14:14:17 Starting compiler/backend/x64
May 06 14:14:19 Finished compiler/backend/x64                                     0s 140MB
May 06 14:14:20 Starting compiler/backend/arm7
May 06 14:14:21 Finished compiler/backend/arm7                                    0s 132MB
May 06 14:14:22 Starting compiler/backend/arm8
May 06 14:14:24 Finished compiler/backend/arm8                                    0s 132MB
May 06 14:14:25 Starting compiler/backend/mips
May 06 14:14:27 Finished compiler/backend/mips                                    0s 129MB
May 06 14:14:28 Starting compiler/backend/riscv
May 06 14:14:29 Finished compiler/backend/riscv                                   0s 128MB
May 06 14:14:30 Starting compiler/backend/ag32
May 06 14:15:50 Finished compiler/backend/ag32                                 1m18s   3GB
May 06 14:15:51 Starting compiler/parsing/proofs
May 06 14:15:53 Finished compiler/parsing/proofs                                  0s  74MB
May 06 14:15:53 Starting compiler/inference/proofs
May 06 14:15:55 Finished compiler/inference/proofs                                0s  92MB
May 06 14:15:56 Starting compiler/backend/semantics
May 06 14:19:35 Finished compiler/backend/semantics                            3m38s   4GB
May 06 14:19:36 Starting compiler/backend/reg_alloc/proofs
May 06 14:19:37 Finished compiler/backend/reg_alloc/proofs                        0s  95MB
May 06 14:19:38 Starting compiler/backend/proofs
May 06 14:20:41 Finished compiler/backend/proofs                               1m01s   3GB
May 06 14:20:42 Starting compiler/backend/serialiser
May 06 14:20:44 Finished compiler/backend/serialiser                              1s 201MB
May 06 14:20:45 Starting compiler/encoders/x64/proofs
May 06 14:30:12 Finished compiler/encoders/x64/proofs                          9m26s   6GB
May 06 14:30:13 Starting compiler/encoders/arm7/proofs
May 06 14:42:56 Finished compiler/encoders/arm7/proofs                        12m42s  11GB
May 06 14:42:57 Starting compiler/encoders/arm8/proofs
May 06 14:49:19 Finished compiler/encoders/arm8/proofs                         6m20s   4GB
May 06 14:49:19 Starting compiler/encoders/arm8_asl/proofs
May 06 15:36:46 Finished compiler/encoders/arm8_asl/proofs                    47m25s  11GB
May 06 15:36:47 Starting compiler/encoders/mips/proofs
May 06 15:47:03 Finished compiler/encoders/mips/proofs                        10m15s   7GB
May 06 15:47:04 Starting compiler/encoders/riscv/proofs
May 06 15:55:13 Finished compiler/encoders/riscv/proofs                        8m08s   4GB
May 06 15:55:14 Starting compiler/encoders/ag32/proofs
May 06 15:57:35 Finished compiler/encoders/ag32/proofs                         2m20s   2GB
May 06 15:57:36 Starting compiler/backend/x64/proofs
May 06 15:58:17 Finished compiler/backend/x64/proofs                             39s   3GB
May 06 15:58:18 Starting compiler/backend/arm7/proofs
May 06 15:59:00 Finished compiler/backend/arm7/proofs                            41s   2GB
May 06 15:59:01 Starting compiler/backend/arm8/proofs
May 06 15:59:41 Finished compiler/backend/arm8/proofs                            39s   3GB
May 06 15:59:42 Starting compiler/backend/arm8_asl
May 06 16:00:12 Finished compiler/backend/arm8_asl                               28s   2GB
May 06 16:00:13 Starting compiler/backend/mips/proofs
May 06 16:00:58 Finished compiler/backend/mips/proofs                            44s   3GB
May 06 16:00:58 Starting compiler/backend/riscv/proofs
May 06 16:01:50 Finished compiler/backend/riscv/proofs                           50s   3GB
May 06 16:01:50 Starting compiler/backend/ag32/proofs
May 06 16:15:44 Finished compiler/backend/ag32/proofs                         13m52s   6GB
May 06 16:15:45 Starting candle/set-theory
May 06 16:16:29 Finished candle/set-theory                                       43s   1GB
May 06 16:16:30 Starting candle/syntax-lib
May 06 16:16:32 Finished candle/syntax-lib                                        0s  69MB
May 06 16:16:33 Starting candle/standard/syntax
May 06 16:16:48 Finished candle/standard/syntax                                  14s   1GB
May 06 16:16:49 Starting candle/standard/semantics
May 06 16:19:16 Finished candle/standard/semantics                             2m26s   3GB
May 06 16:19:17 Starting candle/standard/monadic
May 06 16:19:19 Finished candle/standard/monadic                                  0s 105MB
May 06 16:19:20 Starting candle/standard/ml_kernel
May 06 16:21:09 Finished candle/standard/ml_kernel                             1m48s   4GB
May 06 16:21:10 Starting candle/overloading/syntax
May 06 16:24:42 Finished candle/overloading/syntax                             3m31s   3GB
May 06 16:24:43 Starting candle/overloading/semantics
May 06 16:36:02 Finished candle/overloading/semantics                         11m17s   5GB
May 06 16:36:03 Starting candle/overloading/monadic
May 06 16:38:32 Finished candle/overloading/monadic                            2m27s   2GB
May 06 16:38:33 Starting candle/overloading/ml_kernel
May 06 16:46:07 Finished candle/overloading/ml_kernel                          7m33s   7GB
May 06 16:46:08 Starting candle/overloading/ml_checker
May 06 16:48:39 Finished candle/overloading/ml_checker                         2m29s   6GB
May 06 16:48:40 Starting candle/prover
May 06 16:58:30 Finished candle/prover                                         9m48s   5GB
May 06 16:58:30 Starting pancake
May 06 16:59:32 Finished pancake                                               1m01s   1GB
May 06 16:59:33 Starting pancake/ffi
May 06 16:59:34 Finished pancake/ffi                                              0s  21MB
May 06 16:59:35 Starting pancake/semantics
May 06 17:02:13 Finished pancake/semantics                                     2m36s   3GB
May 06 17:02:14 Starting pancake/parser
May 06 17:02:42 Finished pancake/parser                                          26s   2GB
May 06 17:02:42 Starting pancake/proofs
May 06 17:33:14 Finished pancake/proofs                                       30m30s   8GB
May 06 17:33:14 Starting characteristic/examples
May 06 17:34:50 Finished characteristic/examples                               1m34s   6GB
May 06 17:34:50 Starting tutorial/solutions
May 06 17:50:40 Finished tutorial/solutions                                   15m48s  13GB
May 06 17:50:41 Starting translator/monadic/examples
May 06 17:54:27 Finished translator/monadic/examples                           3m44s   5GB
May 06 17:54:27 Starting examples
May 06 18:08:52 Finished examples                                             14m23s   7GB
May 06 18:08:52 Starting examples/compilation/x64
May 06 20:06:54 Finished examples/compilation/x64                           1h58m00s  34GB
May 06 20:06:55 Starting examples/compilation/x64/proofs
May 06 20:10:46 Finished examples/compilation/x64/proofs                       3m50s   6GB
May 06 20:10:47 Starting examples/compilation/ag32
May 06 20:40:41 Finished examples/compilation/ag32                            29m52s   9GB
May 06 20:40:42 Starting examples/compilation/ag32/proofs
May 06 20:42:20 Finished examples/compilation/ag32/proofs                      1m36s   7GB
May 06 20:42:20 Starting examples/compilation/to_word
May 06 20:46:11 Finished examples/compilation/to_word                          3m49s  12GB
May 06 20:46:12 Starting examples/lpr_checker
May 06 20:47:27 Finished examples/lpr_checker                                  1m14s   2GB
May 06 20:47:28 Starting examples/lpr_checker/array
May 06 21:15:35 Finished examples/lpr_checker/array                           28m06s  12GB
May 06 21:15:36 Starting examples/lpr_checker/array/compilation
May 06 21:52:33 Finished examples/lpr_checker/array/compilation               36m56s  56GB
May 06 21:52:33 Starting examples/lpr_checker/array/compilation/proofs
May 06 21:54:18 Finished examples/lpr_checker/array/compilation/proofs         1m43s   8GB
May 06 21:54:19 Starting examples/lpr_checker/array/compilation/proofsARM8
May 06 22:02:47 Finished examples/lpr_checker/array/compilation/proofsARM8     8m27s  36GB
May 06 22:02:48 Starting examples/xlrup_checker
May 06 22:03:56 Finished examples/xlrup_checker                                1m07s   2GB
May 06 22:03:57 Starting examples/xlrup_checker/array
May 06 22:19:00 Finished examples/xlrup_checker/array                         15m01s   5GB
May 06 22:19:00 Starting examples/xlrup_checker/array/compilation
May 06 22:40:15 Finished examples/xlrup_checker/array/compilation             21m13s  34GB
May 06 22:40:15 Starting examples/xlrup_checker/array/compilation/proofs
May 06 22:41:47 Finished examples/xlrup_checker/array/compilation/proofs       1m30s   6GB
May 06 22:41:47 Starting examples/pseudo_bool
May 06 22:43:56 Finished examples/pseudo_bool                                  2m07s   2GB
May 06 22:43:57 Starting examples/pseudo_bool/cnf_encoding
May 06 22:44:34 Finished examples/pseudo_bool/cnf_encoding                       36s   1GB
May 06 22:44:35 Starting examples/pseudo_bool/graph_encoding
May 06 22:45:23 Finished examples/pseudo_bool/graph_encoding                     47s   1GB
May 06 22:45:24 Starting examples/pseudo_bool/array
May 06 23:52:11 Finished examples/pseudo_bool/array                         1h06m45s  35GB
May 06 23:52:12 Starting examples/pseudo_bool/array/compilation
May 07 07:55:56 Finished examples/pseudo_bool/array/compilation             8h03m43s 151GB
May 07 07:55:57 Starting examples/pseudo_bool/array/compilation/proofs
May 07 07:59:15 Finished examples/pseudo_bool/array/compilation/proofs         3m16s   7GB
May 07 07:59:16 Starting examples/opentheory
May 07 08:09:56 Finished examples/opentheory                                  10m39s   7GB
May 07 08:09:57 Starting examples/opentheory
May 07 08:09:59 Finished examples/opentheory                                      0s 132MB
May 07 08:10:00 Starting examples/opentheory/compilation
May 07 08:47:54 Finished examples/opentheory/compilation                      37m53s  62GB
May 07 08:47:55 Starting examples/opentheory/compilation/proofs
May 07 08:49:24 Finished examples/opentheory/compilation/proofs                1m27s   6GB
May 07 08:49:25 Starting examples/opentheory/compilation/ag32
May 07 09:23:38 Finished examples/opentheory/compilation/ag32                 34m12s  52GB
May 07 09:23:39 Starting examples/opentheory/compilation/ag32/proofs
May 07 09:25:58 Finished examples/opentheory/compilation/ag32/proofs           2m17s  11GB
May 07 09:25:59 Starting examples/sat_encodings
May 07 09:28:39 Finished examples/sat_encodings                                2m39s   1GB
May 07 09:28:40 Starting examples/sat_encodings/case_studies
May 07 09:30:38 Finished examples/sat_encodings/case_studies                   1m56s   2GB
May 07 09:30:39 Starting examples/sat_encodings/translation
May 07 09:36:59 Finished examples/sat_encodings/translation                    6m19s   7GB
May 07 09:37:00 Starting examples/sat_encodings/translation/compilation
May 07 10:13:11 Finished examples/sat_encodings/translation/compilation       36m09s  39GB
May 07 10:13:11 Starting examples/deflate
May 07 10:14:28 Finished examples/deflate                                      1m15s   1GB
May 07 10:14:29 Starting examples/deflate/translation
May 07 10:16:08 Finished examples/deflate/translation                          1m38s   7GB
May 07 10:16:09 Starting examples/deflate/translation/compilation
May 07 10:32:33 Finished examples/deflate/translation/compilation             16m23s  18GB
May 07 10:32:34 Starting examples/vipr
May 07 10:36:44 Finished examples/vipr                                         4m08s   7GB
May 07 10:36:45 Starting examples/vipr/compilation
May 07 10:58:14 Finished examples/vipr/compilation                            21m27s  31GB
May 07 10:58:14 Starting translator/okasaki-examples
May 07 11:03:15 Finished translator/okasaki-examples                           4m59s   5GB
May 07 11:03:16 Starting translator/other-examples
May 07 11:08:07 Finished translator/other-examples                             4m49s   3GB
May 07 11:08:08 Starting compiler/parsing/tests
May 07 11:08:42 Finished compiler/parsing/tests                                  33s   1GB
May 07 11:08:43 Starting compiler/inference/tests
May 07 11:16:11 Finished compiler/inference/tests                              7m27s   6GB
May 07 11:16:12 Starting compiler/printing/test
May 07 11:19:41 Finished compiler/printing/test                                3m28s   6GB
May 07 11:19:42 Starting icing/flover
May 07 11:55:43 Finished icing/flover                                         35m59s   3GB
May 07 11:55:44 Starting icing/
May 07 12:50:41 Finished icing/                                               54m55s  24GB
May 07 12:50:42 Starting icing/examples
May 07 12:52:26 Finished icing/examples                                        1m42s   8GB
May 07 12:52:27 Starting compiler/repl
May 07 13:01:08 Finished compiler/repl                                         8m40s  10GB
May 07 13:01:09 Starting unverified/sexpr-bootstrap/x64/64
May 07 13:12:46 Finished unverified/sexpr-bootstrap/x64/64                    11m13s  17GB
May 07 13:12:47 Starting unverified/sexpr-bootstrap/x64/32
May 07 13:22:09 Finished unverified/sexpr-bootstrap/x64/32                     9m03s  13GB
May 07 13:22:10 Starting compiler/benchmarks
May 07 13:22:56 Finished compiler/benchmarks                                     44s 713MB
May 07 13:22:56 Starting compiler/bootstrap/compilation/x64/64
May 08 04:22:12 Finished compiler/bootstrap/compilation/x64/64             14h59m03s 154GB
May 08 04:22:13 Starting compiler/bootstrap/compilation/x64/64/proofs
May 08 04:43:06 Finished compiler/bootstrap/compilation/x64/64/proofs         20m52s  37GB
May 08 04:43:07 Starting compiler/bootstrap/compilation/x64/32
May 08 12:09:19 Finished compiler/bootstrap/compilation/x64/32              7h26m04s 119GB
May 08 12:09:20 Starting compiler/bootstrap/compilation/x64/32/proofs
May 08 12:13:00 Finished compiler/bootstrap/compilation/x64/32/proofs          3m38s  19GB
May 08 12:13:01 Starting compiler/bootstrap/compilation/ag32/32
May 08 20:19:11 Finished compiler/bootstrap/compilation/ag32/32             8h06m09s 154GB
May 08 20:19:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 08 20:27:20 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m07s  49GB
May 08 20:27:21 SUCCESS