Job 2687

CakeML:c63efd4e8d997b1423cd469341bb22ee5ed5ab01
  Merge pull request #1076 from CakeML/remove-libscript [Oct 26 01:31:25]
HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb
  Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04]
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 26 01:41:49 Claimed job
Oct 26 01:41:54 Reusing HOL
Oct 26 01:42:06 Starting developers
Oct 26 01:42:10 Finished developers                                               3s 205MB
Oct 26 01:42:11 Starting developers/bin
Oct 26 01:42:31 Finished developers/bin                                          19s   1GB
Oct 26 01:42:32 Starting compiler/proofs
Oct 26 03:27:09 Finished compiler/proofs                                    1h44m35s  43GB
Oct 26 03:27:10 Starting compiler/bootstrap/translation
Oct 26 12:32:37 Finished compiler/bootstrap/translation                     9h05m26s  83GB
Oct 26 12:32:38 Starting semantics/ffi
Oct 26 12:32:55 Finished semantics/ffi                                           16s   1GB
Oct 26 12:32:56 Starting semantics
Oct 26 12:32:57 Finished semantics                                                0s  67MB
Oct 26 12:32:58 Starting semantics/proofs
Oct 26 12:33:22 Finished semantics/proofs                                        22s 820MB
Oct 26 12:33:23 Starting semantics/alt_semantics
Oct 26 12:33:46 Finished semantics/alt_semantics                                 22s 910MB
Oct 26 12:33:47 Starting semantics/alt_semantics/proofs
Oct 26 12:43:58 Finished semantics/alt_semantics/proofs                       10m09s   4GB
Oct 26 12:43:59 Starting basis/pure
Oct 26 12:44:00 Finished basis/pure                                               0s  70MB
Oct 26 12:44:01 Starting translator
Oct 26 12:45:36 Finished translator                                            1m34s   4GB
Oct 26 12:45:37 Starting compiler/parsing
Oct 26 12:45:38 Finished compiler/parsing                                         0s  72MB
Oct 26 12:45:39 Starting characteristic
Oct 26 12:45:41 Finished characteristic                                           0s  91MB
Oct 26 12:45:42 Starting translator/monadic
Oct 26 12:45:44 Finished translator/monadic                                       0s  93MB
Oct 26 12:45:45 Starting basis
Oct 26 12:48:13 Finished basis                                                 2m27s   3GB
Oct 26 12:48:14 Starting compiler/inference
Oct 26 12:48:15 Finished compiler/inference                                       0s 103MB
Oct 26 12:48:16 Starting compiler/backend/reg_alloc
Oct 26 12:48:18 Finished compiler/backend/reg_alloc                               0s  65MB
Oct 26 12:48:18 Starting compiler/backend/gc
Oct 26 12:48:21 Finished compiler/backend/gc                                      1s 148MB
Oct 26 12:48:21 Starting compiler/backend
Oct 26 12:48:27 Finished compiler/backend                                         4s 388MB
Oct 26 12:48:28 Starting compiler/encoders/asm
Oct 26 12:48:30 Finished compiler/encoders/asm                                    0s  90MB
Oct 26 12:48:31 Starting compiler/encoders/x64
Oct 26 12:48:32 Finished compiler/encoders/x64                                    0s 100MB
Oct 26 12:48:33 Starting compiler/encoders/arm7
Oct 26 12:48:35 Finished compiler/encoders/arm7                                   0s 103MB
Oct 26 12:48:36 Starting compiler/encoders/arm8
Oct 26 12:48:38 Finished compiler/encoders/arm8                                   0s 103MB
Oct 26 12:48:39 Starting compiler/encoders/arm8_asl
Oct 26 12:51:14 Finished compiler/encoders/arm8_asl                            2m34s   1GB
Oct 26 12:51:15 Starting compiler/encoders/mips
Oct 26 12:51:16 Finished compiler/encoders/mips                                   0s  99MB
Oct 26 12:51:17 Starting compiler/encoders/riscv
Oct 26 12:51:19 Finished compiler/encoders/riscv                                  0s  98MB
Oct 26 12:51:20 Starting compiler/encoders/ag32
Oct 26 12:51:22 Finished compiler/encoders/ag32                                   0s  97MB
Oct 26 12:51:23 Starting compiler/backend/x64
Oct 26 12:51:25 Finished compiler/backend/x64                                     1s 139MB
Oct 26 12:51:26 Starting compiler/backend/arm7
Oct 26 12:51:28 Finished compiler/backend/arm7                                    1s 138MB
Oct 26 12:51:28 Starting compiler/backend/arm8
Oct 26 12:51:31 Finished compiler/backend/arm8                                    1s 138MB
Oct 26 12:51:31 Starting compiler/backend/mips
Oct 26 12:51:34 Finished compiler/backend/mips                                    1s 137MB
Oct 26 12:51:34 Starting compiler/backend/riscv
Oct 26 12:51:37 Finished compiler/backend/riscv                                   1s 138MB
Oct 26 12:51:37 Starting compiler/backend/ag32
Oct 26 12:52:50 Finished compiler/backend/ag32                                 1m11s   2GB
Oct 26 12:52:51 Starting compiler/parsing/proofs
Oct 26 12:52:53 Finished compiler/parsing/proofs                                  0s  74MB
Oct 26 12:52:54 Starting compiler/inference/proofs
Oct 26 12:52:55 Finished compiler/inference/proofs                                0s  95MB
Oct 26 12:52:56 Starting compiler/backend/semantics
Oct 26 12:56:12 Finished compiler/backend/semantics                            3m14s   2GB
Oct 26 12:56:12 Starting compiler/backend/reg_alloc/proofs
Oct 26 12:56:14 Finished compiler/backend/reg_alloc/proofs                        0s 101MB
Oct 26 12:56:15 Starting compiler/backend/proofs
Oct 26 12:57:10 Finished compiler/backend/proofs                                 53s   3GB
Oct 26 12:57:11 Starting compiler/backend/serialiser
Oct 26 12:57:13 Finished compiler/backend/serialiser                              1s 140MB
Oct 26 12:57:14 Starting compiler/encoders/x64/proofs
Oct 26 13:07:37 Finished compiler/encoders/x64/proofs                         10m22s   5GB
Oct 26 13:07:38 Starting compiler/encoders/arm7/proofs
Oct 26 13:20:52 Finished compiler/encoders/arm7/proofs                        13m13s   9GB
Oct 26 13:20:53 Starting compiler/encoders/arm8/proofs
Oct 26 13:27:55 Finished compiler/encoders/arm8/proofs                         7m00s   5GB
Oct 26 13:27:55 Starting compiler/encoders/arm8_asl/proofs
Oct 26 13:43:28 Finished compiler/encoders/arm8_asl/proofs                    15m31s   5GB
Oct 26 13:43:29 Starting compiler/encoders/mips/proofs
Oct 26 13:53:40 Finished compiler/encoders/mips/proofs                        10m09s   6GB
Oct 26 13:53:41 Starting compiler/encoders/riscv/proofs
Oct 26 14:01:58 Finished compiler/encoders/riscv/proofs                        8m16s   4GB
Oct 26 14:01:59 Starting compiler/encoders/ag32/proofs
Oct 26 14:04:56 Finished compiler/encoders/ag32/proofs                         2m56s   2GB
Oct 26 14:04:57 Starting compiler/backend/x64/proofs
Oct 26 14:05:43 Finished compiler/backend/x64/proofs                             45s   2GB
Oct 26 14:05:44 Starting compiler/backend/arm7/proofs
Oct 26 14:06:31 Finished compiler/backend/arm7/proofs                            46s   3GB
Oct 26 14:06:32 Starting compiler/backend/arm8/proofs
Oct 26 14:07:20 Finished compiler/backend/arm8/proofs                            46s   3GB
Oct 26 14:07:21 Starting compiler/backend/arm8_asl
Oct 26 14:07:52 Finished compiler/backend/arm8_asl                               30s   2GB
Oct 26 14:07:53 Starting compiler/backend/mips/proofs
Oct 26 14:08:42 Finished compiler/backend/mips/proofs                            47s   3GB
Oct 26 14:08:43 Starting compiler/backend/riscv/proofs
Oct 26 14:09:40 Finished compiler/backend/riscv/proofs                           55s   3GB
Oct 26 14:09:40 Starting compiler/backend/ag32/proofs
Oct 26 14:24:02 Finished compiler/backend/ag32/proofs                         14m20s   6GB
Oct 26 14:24:03 Starting compiler/backend/cv_compute
Oct 26 14:25:54 Finished compiler/backend/cv_compute                           1m50s   3GB
Oct 26 14:25:55 Starting cv_translator
Oct 26 14:46:14 Finished cv_translator                                        20m18s  13GB
Oct 26 14:46:15 Starting candle/set-theory
Oct 26 14:47:03 Finished candle/set-theory                                       46s   1GB
Oct 26 14:47:03 Starting candle/syntax-lib
Oct 26 14:47:05 Finished candle/syntax-lib                                        0s  69MB
Oct 26 14:47:06 Starting candle/standard/syntax
Oct 26 14:47:26 Finished candle/standard/syntax                                  19s   1GB
Oct 26 14:47:27 Starting candle/standard/semantics
Oct 26 14:50:17 Finished candle/standard/semantics                             2m49s   4GB
Oct 26 14:50:18 Starting candle/standard/monadic
Oct 26 14:50:20 Finished candle/standard/monadic                                  0s 105MB
Oct 26 14:50:21 Starting candle/standard/ml_kernel
Oct 26 14:52:25 Finished candle/standard/ml_kernel                             2m03s   5GB
Oct 26 14:52:26 Starting candle/overloading/syntax
Oct 26 14:56:01 Finished candle/overloading/syntax                             3m33s   2GB
Oct 26 14:56:02 Starting candle/overloading/semantics
Oct 26 15:07:52 Finished candle/overloading/semantics                         11m48s   5GB
Oct 26 15:07:52 Starting candle/overloading/monadic
Oct 26 15:10:18 Finished candle/overloading/monadic                            2m25s   2GB
Oct 26 15:10:19 Starting candle/overloading/ml_kernel
Oct 26 15:18:20 Finished candle/overloading/ml_kernel                          7m59s   6GB
Oct 26 15:18:21 Starting candle/overloading/ml_checker
Oct 26 15:21:05 Finished candle/overloading/ml_checker                         2m43s   7GB
Oct 26 15:21:06 Starting candle/prover
Oct 26 15:31:36 Finished candle/prover                                        10m29s   5GB
Oct 26 15:31:37 Starting pancake
Oct 26 15:32:06 Finished pancake                                                 27s 919MB
Oct 26 15:32:06 Starting pancake/ffi
Oct 26 15:32:07 Finished pancake/ffi                                              0s  23MB
Oct 26 15:32:08 Starting pancake/semantics
Oct 26 15:34:21 Finished pancake/semantics                                     2m12s   3GB
Oct 26 15:34:22 Starting pancake/parser
Oct 26 15:34:46 Finished pancake/parser                                          22s 832MB
Oct 26 15:34:47 Starting pancake/proofs
Oct 26 15:50:43 Finished pancake/proofs                                       15m55s   7GB
Oct 26 15:50:44 Starting compiler/dafny
Oct 26 15:53:15 Finished compiler/dafny                                        2m30s  11GB
Oct 26 15:53:16 Starting compiler/dafny/translation
Oct 26 16:21:57 Finished compiler/dafny/translation                           28m40s  15GB
Oct 26 16:21:58 Starting compiler/dafny/compilation
Oct 26 16:25:36 Finished compiler/dafny/compilation                            3m36s  15GB
Oct 26 16:25:37 Starting compiler/dafny/semantics
Oct 26 16:26:14 Finished compiler/dafny/semantics                                36s   1GB
Oct 26 16:26:15 Starting characteristic/examples
Oct 26 16:27:47 Finished characteristic/examples                               1m31s   5GB
Oct 26 16:27:48 Starting tutorial/solutions
Oct 26 16:30:35 Finished tutorial/solutions                                    2m46s   5GB
Oct 26 16:30:36 Starting translator/monadic/examples
Oct 26 16:33:46 Finished translator/monadic/examples                           3m08s   3GB
Oct 26 16:33:46 Starting examples
Oct 26 16:45:54 Finished examples                                             12m06s   4GB
Oct 26 16:45:55 Starting examples/compilation/x64
Oct 26 16:56:01 Finished examples/compilation/x64                             10m05s   7GB
Oct 26 16:56:02 Starting examples/compilation/x64/proofs
Oct 26 17:01:05 Finished examples/compilation/x64/proofs                       5m01s   7GB
Oct 26 17:01:06 Starting examples/compilation/ag32
Oct 26 17:03:55 Finished examples/compilation/ag32                             2m49s   5GB
Oct 26 17:03:56 Starting examples/compilation/ag32/proofs
Oct 26 17:05:49 Finished examples/compilation/ag32/proofs                      1m51s   8GB
Oct 26 17:05:50 Starting examples/compilation/to_word
Oct 26 17:10:11 Finished examples/compilation/to_word                          4m19s  14GB
Oct 26 17:10:12 Starting examples/lpr_checker
Oct 26 17:10:43 Finished examples/lpr_checker                                    30s   1GB
Oct 26 17:10:44 Starting examples/lpr_checker/array
Oct 26 17:37:25 Finished examples/lpr_checker/array                           26m39s  27GB
Oct 26 17:37:26 Starting examples/lpr_checker/array/compilation
Oct 26 17:40:01 Finished examples/lpr_checker/array/compilation                2m33s   9GB
Oct 26 17:40:02 Starting examples/lpr_checker/array/compilation/proofs
Oct 26 17:42:04 Finished examples/lpr_checker/array/compilation/proofs         2m01s   8GB
Oct 26 17:42:05 Starting examples/lpr_checker/array/compilation/proofsARM8
Oct 26 17:44:04 Finished examples/lpr_checker/array/compilation/proofsARM8     1m57s   9GB
Oct 26 17:44:05 Starting examples/xlrup_checker
Oct 26 17:44:41 Finished examples/xlrup_checker                                  35s   1GB
Oct 26 17:44:42 Starting examples/xlrup_checker/array
Oct 26 17:58:24 Finished examples/xlrup_checker/array                         13m40s  12GB
Oct 26 17:58:25 Starting examples/xlrup_checker/array/compilation
Oct 26 17:59:58 Finished examples/xlrup_checker/array/compilation              1m32s   7GB
Oct 26 17:59:59 Starting examples/xlrup_checker/array/compilation/proofs
Oct 26 18:01:52 Finished examples/xlrup_checker/array/compilation/proofs       1m52s   7GB
Oct 26 18:01:53 Starting examples/pseudo_bool
Oct 26 18:03:29 Finished examples/pseudo_bool                                  1m34s   2GB
Oct 26 18:03:30 Starting examples/pseudo_bool/cnf_encoding
Oct 26 18:04:12 Finished examples/pseudo_bool/cnf_encoding                       40s   1GB
Oct 26 18:04:12 Starting examples/pseudo_bool/graph_encoding
Oct 26 18:05:10 Finished examples/pseudo_bool/graph_encoding                     56s   1GB
Oct 26 18:05:10 Starting examples/pseudo_bool/array
Oct 26 19:14:07 Finished examples/pseudo_bool/array                         1h08m55s  33GB
Oct 26 19:14:07 Starting examples/pseudo_bool/array/compilation
Oct 26 19:28:41 Finished examples/pseudo_bool/array/compilation               14m32s  32GB
Oct 26 19:28:42 Starting examples/pseudo_bool/array/compilation/proofs
Oct 26 19:33:06 Finished examples/pseudo_bool/array/compilation/proofs         4m23s   9GB
Oct 26 19:33:07 Starting examples/pseudo_bool/array/compilation/proofsARM8
Oct 26 19:35:08 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m00s   9GB
Oct 26 19:35:09 Starting examples/opentheory
Oct 26 19:44:02 Finished examples/opentheory                                   8m51s   5GB
Oct 26 19:44:03 Starting examples/opentheory
Oct 26 19:44:05 Finished examples/opentheory                                      1s 134MB
Oct 26 19:44:06 Starting examples/opentheory/compilation
Oct 26 19:46:15 Finished examples/opentheory/compilation                       2m08s   9GB
Oct 26 19:46:16 Starting examples/opentheory/compilation/proofs
Oct 26 19:48:07 Finished examples/opentheory/compilation/proofs                1m50s   8GB
Oct 26 19:48:07 Starting examples/opentheory/compilation/ag32
Oct 26 19:50:25 Finished examples/opentheory/compilation/ag32                  2m16s   8GB
Oct 26 19:50:26 Starting examples/opentheory/compilation/ag32/proofs
Oct 26 19:53:04 Finished examples/opentheory/compilation/ag32/proofs           2m37s   8GB
Oct 26 19:53:05 Starting examples/sat_encodings
Oct 26 19:54:08 Finished examples/sat_encodings                                1m01s 931MB
Oct 26 19:54:09 Starting examples/sat_encodings/case_studies
Oct 26 19:56:23 Finished examples/sat_encodings/case_studies                   2m13s   2GB
Oct 26 19:56:24 Starting examples/sat_encodings/translation
Oct 26 20:00:02 Finished examples/sat_encodings/translation                    3m37s   4GB
Oct 26 20:00:03 Starting examples/sat_encodings/translation/compilation
Oct 26 20:02:38 Finished examples/sat_encodings/translation/compilation        2m34s   7GB
Oct 26 20:02:39 Starting examples/deflate
Oct 26 20:03:08 Finished examples/deflate                                        27s 804MB
Oct 26 20:03:09 Starting examples/deflate/translation
Oct 26 20:04:10 Finished examples/deflate/translation                          1m00s   2GB
Oct 26 20:04:11 Starting examples/deflate/translation/compilation
Oct 26 20:05:21 Finished examples/deflate/translation/compilation              1m09s   6GB
Oct 26 20:05:22 Starting examples/vipr
Oct 26 20:08:55 Finished examples/vipr                                         3m31s   4GB
Oct 26 20:08:56 Starting examples/vipr/compilation
Oct 26 20:10:41 Finished examples/vipr/compilation                             1m44s   4GB
Oct 26 20:10:42 Starting translator/okasaki-examples
Oct 26 20:15:04 Finished translator/okasaki-examples                           4m21s   4GB
Oct 26 20:15:05 Starting translator/other-examples
Oct 26 20:16:24 Finished translator/other-examples                             1m17s   3GB
Oct 26 20:16:25 Starting compiler/parsing/tests
Oct 26 20:17:04 Finished compiler/parsing/tests                                  38s   2GB
Oct 26 20:17:05 Starting compiler/inference/tests
Oct 26 20:17:52 Finished compiler/inference/tests                                45s   3GB
Oct 26 20:17:52 Starting compiler/printing/test
Oct 26 20:19:38 Finished compiler/printing/test                                1m44s   6GB
Oct 26 20:19:39 Starting icing/flover
Oct 26 20:56:42 Finished icing/flover                                         37m02s   4GB
Oct 26 20:56:43 Starting icing/
Oct 26 21:24:31 Finished icing/                                               27m46s  10GB
Oct 26 21:24:32 Starting icing/examples
Oct 26 21:26:25 Finished icing/examples                                        1m52s   9GB
Oct 26 21:26:26 Starting compiler/repl
Oct 26 21:35:41 Finished compiler/repl                                         9m14s  10GB
Oct 26 21:35:42 Starting unverified/sexpr-bootstrap/x64/64
Oct 26 21:49:56 Finished unverified/sexpr-bootstrap/x64/64                    13m46s  18GB
Oct 26 21:49:56 Starting unverified/sexpr-bootstrap/x64/32
Oct 26 22:01:24 Finished unverified/sexpr-bootstrap/x64/32                    11m06s  14GB
Oct 26 22:01:24 Starting compiler/benchmarks
Oct 26 22:02:10 Finished compiler/benchmarks                                     44s 712MB
Oct 26 22:02:11 Starting compiler/bootstrap/compilation/x64/64
Oct 26 22:49:56 Finished compiler/bootstrap/compilation/x64/64                47m32s 126GB
Oct 26 22:49:57 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 26 23:14:58 Finished compiler/bootstrap/compilation/x64/64/proofs         24m59s  49GB
Oct 26 23:14:59 Starting compiler/bootstrap/compilation/x64/32
Oct 26 23:56:52 Finished compiler/bootstrap/compilation/x64/32                41m44s 109GB
Oct 26 23:56:53 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 27 00:02:06 Finished compiler/bootstrap/compilation/x64/32/proofs          5m11s  24GB
Oct 27 00:02:06 Starting compiler/bootstrap/compilation/arm8/64
Oct 27 00:59:40 Finished compiler/bootstrap/compilation/arm8/64               57m24s 113GB
Oct 27 00:59:41 Starting compiler/bootstrap/compilation/arm8/64/proofs
Oct 27 01:05:55 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m12s  28GB
Oct 27 01:05:56 Starting compiler/bootstrap/compilation/ag32/32
Oct 27 01:47:50 Finished compiler/bootstrap/compilation/ag32/32               41m52s 108GB
Oct 27 01:47:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 27 01:53:40 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m48s  32GB
Oct 27 01:53:41 SUCCESS