Job 1948

CakeML:187e6991cdce21d86f639d8a88b3aa9020117c95
  Merge pull request #892 from CakeML/double-type-new [Jul 01 10:20:40]
HOL:4617643129e2e1702c8b6e344b241de8533f59c8
  Change hide entrypoint names to avoid clash with Parse.hide [Jun 30 07:03:26]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jul 01 10:22:21 Claimed job
Jul 01 10:23:54 Building HOL
Jul 01 10:36:12 Starting developers
Jul 01 10:36:18 Finished developers                                               5s 108MB
Jul 01 10:36:18 Starting developers/bin
Jul 01 10:38:00 Finished developers/bin                                        1m41s   1GB
Jul 01 10:38:00 Starting semantics/ffi
Jul 01 10:38:11 Finished semantics/ffi                                           10s 230MB
Jul 01 10:38:12 Starting semantics
Jul 01 10:41:04 Finished semantics                                             2m52s   1GB
Jul 01 10:41:04 Starting semantics/proofs
Jul 01 10:48:51 Finished semantics/proofs                                      7m46s   1GB
Jul 01 10:48:52 Starting semantics/alt_semantics
Jul 01 10:49:22 Finished semantics/alt_semantics                                 29s 523MB
Jul 01 10:49:22 Starting semantics/alt_semantics/proofs
Jul 01 11:02:03 Finished semantics/alt_semantics/proofs                       12m40s   2GB
Jul 01 11:02:03 Starting basis/pure
Jul 01 11:06:02 Finished basis/pure                                            3m58s 890MB
Jul 01 11:06:02 Starting translator
Jul 01 11:10:04 Finished translator                                            4m01s   1GB
Jul 01 11:10:04 Starting compiler/parsing
Jul 01 11:11:41 Finished compiler/parsing                                      1m36s   4GB
Jul 01 11:11:41 Starting characteristic
Jul 01 11:19:08 Finished characteristic                                        7m26s   1GB
Jul 01 11:19:08 Starting translator/monadic
Jul 01 11:21:15 Finished translator/monadic                                    2m06s   1GB
Jul 01 11:21:15 Starting basis
Jul 01 12:17:22 Finished basis                                                56m05s  18GB
Jul 01 12:17:22 Starting compiler/inference
Jul 01 12:19:06 Finished compiler/inference                                    1m43s   1GB
Jul 01 12:19:06 Starting compiler/backend/reg_alloc
Jul 01 12:20:57 Finished compiler/backend/reg_alloc                            1m50s   1GB
Jul 01 12:20:57 Starting compiler/backend/gc
Jul 01 12:25:55 Finished compiler/backend/gc                                   4m57s   2GB
Jul 01 12:25:55 Starting compiler/backend
Jul 01 12:32:45 Finished compiler/backend                                      6m49s   3GB
Jul 01 12:32:45 Starting compiler/encoders/asm
Jul 01 12:33:18 Finished compiler/encoders/asm                                   32s 710MB
Jul 01 12:33:18 Starting compiler/encoders/x64
Jul 01 12:34:32 Finished compiler/encoders/x64                                 1m13s   1GB
Jul 01 12:34:32 Starting compiler/encoders/arm7
Jul 01 12:37:00 Finished compiler/encoders/arm7                                2m26s   1GB
Jul 01 12:37:00 Starting compiler/encoders/arm8
Jul 01 12:37:46 Finished compiler/encoders/arm8                                  46s 906MB
Jul 01 12:37:46 Starting compiler/encoders/arm8_asl
Jul 01 15:07:36 Finished compiler/encoders/arm8_asl                         2h29m49s  38GB
Jul 01 15:07:36 Starting compiler/encoders/mips
Jul 01 15:09:18 Finished compiler/encoders/mips                                1m41s   1GB
Jul 01 15:09:18 Starting compiler/encoders/riscv
Jul 01 15:11:20 Finished compiler/encoders/riscv                               2m01s   1GB
Jul 01 15:11:20 Starting compiler/encoders/ag32
Jul 01 15:11:43 Finished compiler/encoders/ag32                                  23s 632MB
Jul 01 15:11:44 Starting compiler/backend/x64
Jul 01 15:12:08 Finished compiler/backend/x64                                    23s   1GB
Jul 01 15:12:08 Starting compiler/backend/arm7
Jul 01 15:12:34 Finished compiler/backend/arm7                                   25s   1GB
Jul 01 15:12:34 Starting compiler/backend/arm8
Jul 01 15:12:58 Finished compiler/backend/arm8                                   23s   1GB
Jul 01 15:12:59 Starting compiler/backend/mips
Jul 01 15:13:24 Finished compiler/backend/mips                                   24s   1GB
Jul 01 15:13:24 Starting compiler/backend/riscv
Jul 01 15:13:49 Finished compiler/backend/riscv                                  24s   1GB
Jul 01 15:13:49 Starting compiler/backend/ag32
Jul 01 15:15:21 Finished compiler/backend/ag32                                 1m32s   1GB
Jul 01 15:15:22 Starting compiler/parsing/proofs
Jul 01 15:19:31 Finished compiler/parsing/proofs                               4m09s   1GB
Jul 01 15:19:31 Starting compiler/inference/proofs
Jul 01 15:22:31 Finished compiler/inference/proofs                             2m59s 974MB
Jul 01 15:22:31 Starting compiler/backend/semantics
Jul 01 15:52:41 Finished compiler/backend/semantics                           30m08s   2GB
Jul 01 15:52:41 Starting compiler/backend/reg_alloc/proofs
Jul 01 15:56:45 Finished compiler/backend/reg_alloc/proofs                     4m03s   1GB
Jul 01 15:56:45 Starting compiler/backend/proofs
Jul 01 17:00:34 Finished compiler/backend/proofs                            1h03m47s  16GB
Jul 01 17:00:35 Starting compiler/backend/serialiser
Jul 01 17:02:24 Finished compiler/backend/serialiser                           1m49s   1GB
Jul 01 17:02:25 Starting compiler/encoders/x64/proofs
Jul 01 17:12:59 Finished compiler/encoders/x64/proofs                         10m34s   4GB
Jul 01 17:13:00 Starting compiler/encoders/arm7/proofs
Jul 01 17:27:25 Finished compiler/encoders/arm7/proofs                        14m25s   4GB
Jul 01 17:27:25 Starting compiler/encoders/arm8/proofs
Jul 01 17:34:58 Finished compiler/encoders/arm8/proofs                         7m32s   1GB
Jul 01 17:34:59 Starting compiler/encoders/arm8_asl/proofs
Jul 01 18:29:43 Finished compiler/encoders/arm8_asl/proofs                    54m44s   6GB
Jul 01 18:29:44 Starting compiler/encoders/mips/proofs
Jul 01 18:41:01 Finished compiler/encoders/mips/proofs                        11m17s   2GB
Jul 01 18:41:01 Starting compiler/encoders/riscv/proofs
Jul 01 18:50:36 Finished compiler/encoders/riscv/proofs                        9m34s   1GB
Jul 01 18:50:37 Starting compiler/encoders/ag32/proofs
Jul 01 18:53:30 Finished compiler/encoders/ag32/proofs                         2m52s   1GB
Jul 01 18:53:30 Starting compiler/backend/x64/proofs
Jul 01 18:54:00 Finished compiler/backend/x64/proofs                             30s   1GB
Jul 01 18:54:00 Starting compiler/backend/arm7/proofs
Jul 01 18:54:32 Finished compiler/backend/arm7/proofs                            31s   1GB
Jul 01 18:54:32 Starting compiler/backend/arm8/proofs
Jul 01 18:55:03 Finished compiler/backend/arm8/proofs                            30s   1GB
Jul 01 18:55:03 Starting compiler/backend/arm8_asl
Jul 01 18:55:28 Finished compiler/backend/arm8_asl                               24s   1GB
Jul 01 18:55:28 Starting compiler/backend/mips/proofs
Jul 01 18:55:58 Finished compiler/backend/mips/proofs                            30s   1GB
Jul 01 18:55:59 Starting compiler/backend/riscv/proofs
Jul 01 18:56:30 Finished compiler/backend/riscv/proofs                           30s   1GB
Jul 01 18:56:30 Starting compiler/backend/ag32/proofs
Jul 01 19:11:45 Finished compiler/backend/ag32/proofs                         15m14s   2GB
Jul 01 19:11:45 Starting compiler/proofs
Jul 01 19:14:22 Finished compiler/proofs                                       2m36s   3GB
Jul 01 19:14:23 Starting candle/set-theory
Jul 01 19:14:59 Finished candle/set-theory                                       36s 893MB
Jul 01 19:15:00 Starting candle/syntax-lib
Jul 01 19:15:14 Finished candle/syntax-lib                                       13s 671MB
Jul 01 19:15:14 Starting candle/standard/syntax
Jul 01 19:17:26 Finished candle/standard/syntax                                2m11s   1GB
Jul 01 19:17:26 Starting candle/standard/semantics
Jul 01 19:19:23 Finished candle/standard/semantics                             1m56s 931MB
Jul 01 19:19:24 Starting candle/standard/monadic
Jul 01 19:21:30 Finished candle/standard/monadic                               2m05s   1GB
Jul 01 19:21:30 Starting candle/standard/ml_kernel
Jul 01 19:28:36 Finished candle/standard/ml_kernel                             7m05s   3GB
Jul 01 19:28:36 Starting candle/overloading/syntax
Jul 01 19:32:09 Finished candle/overloading/syntax                             3m31s 960MB
Jul 01 19:32:09 Starting candle/overloading/semantics
Jul 01 19:44:52 Finished candle/overloading/semantics                         12m42s   2GB
Jul 01 19:44:52 Starting candle/overloading/monadic
Jul 01 19:47:43 Finished candle/overloading/monadic                            2m50s   2GB
Jul 01 19:47:43 Starting candle/overloading/ml_kernel
Jul 01 19:55:46 Finished candle/overloading/ml_kernel                          8m02s   3GB
Jul 01 19:55:46 Starting candle/overloading/ml_checker
Jul 01 19:58:14 Finished candle/overloading/ml_checker                         2m27s   2GB
Jul 01 19:58:14 Starting candle/prover
Jul 01 20:09:46 Finished candle/prover                                        11m32s   2GB
Jul 01 20:09:47 Starting pancake
Jul 01 20:13:53 Finished pancake                                               4m06s   3GB
Jul 01 20:13:54 Starting pancake/ffi
Jul 01 20:13:55 Finished pancake/ffi                                              0s  24MB
Jul 01 20:13:55 Starting pancake/semantics
Jul 01 20:16:45 Finished pancake/semantics                                     2m50s   1GB
Jul 01 20:16:46 Starting pancake/proofs
Jul 01 20:30:30 Finished pancake/proofs                                       13m44s   5GB
Jul 01 20:30:30 Starting characteristic/examples
Jul 01 20:32:01 Finished characteristic/examples                               1m30s   2GB
Jul 01 20:32:02 Starting tutorial/solutions
Jul 01 20:48:46 Finished tutorial/solutions                                   16m44s   8GB
Jul 01 20:48:46 Starting translator/monadic/examples
Jul 01 20:53:02 Finished translator/monadic/examples                           4m14s   2GB
Jul 01 20:53:02 Starting examples
Jul 01 21:04:29 Finished examples                                             11m26s   3GB
Jul 01 21:04:29 Starting examples/compilation/x64
Jul 01 23:13:58 Finished examples/compilation/x64                           2h09m28s  16GB
Jul 01 23:13:58 Starting examples/compilation/x64/proofs
Jul 01 23:16:41 Finished examples/compilation/x64/proofs                       2m42s   3GB
Jul 01 23:16:41 Starting examples/compilation/ag32
Jul 01 23:51:22 Finished examples/compilation/ag32                            34m40s   7GB
Jul 01 23:51:22 Starting examples/compilation/ag32/proofs
Jul 01 23:52:22 Finished examples/compilation/ag32/proofs                        59s   3GB
Jul 01 23:52:23 Starting examples/lpr_checker
Jul 01 23:53:28 Finished examples/lpr_checker                                  1m04s   1GB
Jul 01 23:53:28 Starting examples/lpr_checker/array
Jul 02 00:30:22 Finished examples/lpr_checker/array                           36m53s   4GB
Jul 02 00:30:22 Starting examples/lpr_checker/array/compilation
Jul 02 01:12:28 Finished examples/lpr_checker/array/compilation               42m05s  21GB
Jul 02 01:12:28 Starting examples/lpr_checker/array/compilation/proofs
Jul 02 01:14:00 Finished examples/lpr_checker/array/compilation/proofs         1m32s   5GB
Jul 02 01:14:01 Starting examples/opentheory
Jul 02 01:25:26 Finished examples/opentheory                                  11m24s   3GB
Jul 02 01:25:26 Starting examples/opentheory
Jul 02 01:25:28 Finished examples/opentheory                                      1s  23MB
Jul 02 01:25:28 Starting examples/opentheory/compilation
Jul 02 02:05:07 Finished examples/opentheory/compilation                      39m38s  25GB
Jul 02 02:05:07 Starting examples/opentheory/compilation/proofs
Jul 02 02:06:15 Finished examples/opentheory/compilation/proofs                1m07s   2GB
Jul 02 02:06:15 Starting examples/opentheory/compilation/ag32
Jul 02 02:42:30 Finished examples/opentheory/compilation/ag32                 36m14s  17GB
Jul 02 02:42:30 Starting examples/opentheory/compilation/ag32/proofs
Jul 02 02:44:24 Finished examples/opentheory/compilation/ag32/proofs           1m54s   6GB
Jul 02 02:44:25 Starting examples/sat_encodings
Jul 02 02:46:32 Finished examples/sat_encodings                                2m07s 738MB
Jul 02 02:46:32 Starting examples/sat_encodings/case_studies
Jul 02 02:48:29 Finished examples/sat_encodings/case_studies                   1m56s 669MB
Jul 02 02:48:29 Starting examples/sat_encodings/translation
Jul 02 02:54:36 Finished examples/sat_encodings/translation                    6m06s   5GB
Jul 02 02:54:36 Starting examples/sat_encodings/translation/compilation
Jul 02 03:47:11 Finished examples/sat_encodings/translation/compilation       52m33s  20GB
Jul 02 03:47:11 Starting examples/deflate
Jul 02 03:48:13 Finished examples/deflate                                      1m01s 712MB
Jul 02 03:48:13 Starting examples/deflate/translation
Jul 02 03:49:58 Finished examples/deflate/translation                          1m44s   3GB
Jul 02 03:49:58 Starting examples/deflate/translation/compilation
Jul 02 04:13:26 Finished examples/deflate/translation/compilation             23m27s  16GB
Jul 02 04:13:26 Starting translator/okasaki-examples
Jul 02 04:18:53 Finished translator/okasaki-examples                           5m27s   1GB
Jul 02 04:18:54 Starting translator/other-examples
Jul 02 04:21:33 Finished translator/other-examples                             2m38s   1GB
Jul 02 04:21:33 Starting compiler/parsing/tests
Jul 02 04:22:04 Finished compiler/parsing/tests                                  31s 579MB
Jul 02 04:22:05 Starting compiler/inference/tests
Jul 02 04:30:55 Finished compiler/inference/tests                              8m50s   4GB
Jul 02 04:30:56 Starting compiler/printing/test
Jul 02 04:34:49 Finished compiler/printing/test                                3m53s   3GB
Jul 02 04:34:50 Starting icing/flover
Jul 02 05:26:18 Finished icing/flover                                         51m28s   1GB
Jul 02 05:26:19 Starting icing/
Jul 02 06:44:04 Finished icing/                                             1h17m43s   5GB
Jul 02 06:44:04 Starting icing/examples
Jul 02 06:45:45 Finished icing/examples                                        1m40s   3GB
Jul 02 06:45:45 Starting compiler/repl
Jul 02 06:59:38 Finished compiler/repl                                        13m52s   7GB
Jul 02 06:59:39 Starting compiler/bootstrap/translation
Jul 02 11:41:06 Finished compiler/bootstrap/translation                     4h41m27s  38GB
Jul 02 11:41:07 Starting unverified/sexpr-bootstrap/x64/64
Jul 02 11:51:27 Finished unverified/sexpr-bootstrap/x64/64                    10m18s  12GB
Jul 02 11:51:27 Starting unverified/sexpr-bootstrap/x64/32
Jul 02 12:00:16 Finished unverified/sexpr-bootstrap/x64/32                     8m46s  11GB
Jul 02 12:00:16 Starting compiler/benchmarks
Jul 02 12:00:19 Finished compiler/benchmarks                                      2s  29MB
Jul 02 12:00:19 Starting compiler/bootstrap/compilation/x64/64
Jul 02 23:32:21 Finished compiler/bootstrap/compilation/x64/64             11h32m00s  64GB
Jul 02 23:32:22 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 02 23:51:16 Finished compiler/bootstrap/compilation/x64/64/proofs         18m54s  33GB
Jul 02 23:51:16 Starting compiler/bootstrap/compilation/x64/32
Jul 03 06:23:09 Finished compiler/bootstrap/compilation/x64/32              6h31m51s  55GB
Jul 03 06:23:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 03 06:26:01 Finished compiler/bootstrap/compilation/x64/32/proofs          2m50s  14GB
Jul 03 06:26:01 Starting compiler/bootstrap/compilation/ag32/32
Jul 03 13:10:48 Finished compiler/bootstrap/compilation/ag32/32             6h44m44s  64GB
Jul 03 13:10:48 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 03 13:22:36 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m47s  16GB
Jul 03 13:22:36 SUCCESS