Job 1819

CakeML:b4c556944f927dde9391dcdb4c852b688ef80eea
  Add short description of --repl flag to --help message [Mar 10 22:21:40]
#864 (tidy-up)
Merging into:037d2866e15ecff407f07de35e3b5b5be9de16a8
  Merge pull request #866 from hrutvik/master [Mar 11 15:10:22]
HOL:9ef02c741e59da2e5b90512fc92aa8194c043623
  Fix Holmakefiles for Tamarack example; further modernise port-full [Mar 07 23:09:46]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Mar 12 15:26:54 Claimed job
Mar 12 15:27:00 Reusing HOL
Mar 12 15:27:14 Starting developers
Mar 12 15:27:18 Finished developers                                               4s 123MB
Mar 12 15:27:18 Starting developers/bin
Mar 12 15:27:47 Finished developers/bin                                          28s   1GB
Mar 12 15:27:47 Starting semantics/ffi
Mar 12 15:27:58 Finished semantics/ffi                                           11s 192MB
Mar 12 15:27:58 Starting semantics
Mar 12 15:29:56 Finished semantics                                             1m57s   1GB
Mar 12 15:29:56 Starting semantics/proofs
Mar 12 15:33:32 Finished semantics/proofs                                      3m36s   1GB
Mar 12 15:33:32 Starting semantics/alt_semantics
Mar 12 15:33:49 Finished semantics/alt_semantics                                 16s 521MB
Mar 12 15:33:49 Starting semantics/alt_semantics/proofs
Mar 12 15:36:17 Finished semantics/alt_semantics/proofs                        2m27s 866MB
Mar 12 15:36:17 Starting basis/pure
Mar 12 15:37:22 Finished basis/pure                                            1m05s 983MB
Mar 12 15:37:23 Starting translator
Mar 12 15:40:21 Finished translator                                            2m57s   2GB
Mar 12 15:40:21 Starting compiler/parsing
Mar 12 15:41:37 Finished compiler/parsing                                      1m16s   3GB
Mar 12 15:41:37 Starting characteristic
Mar 12 15:48:00 Finished characteristic                                        6m23s   1GB
Mar 12 15:48:01 Starting translator/monadic
Mar 12 15:49:56 Finished translator/monadic                                    1m55s   1GB
Mar 12 15:49:56 Starting basis
Mar 12 16:36:35 Finished basis                                                46m37s  17GB
Mar 12 16:36:35 Starting compiler/inference
Mar 12 16:37:56 Finished compiler/inference                                    1m21s   1GB
Mar 12 16:37:56 Starting compiler/backend/reg_alloc
Mar 12 16:39:39 Finished compiler/backend/reg_alloc                            1m42s   1GB
Mar 12 16:39:40 Starting compiler/backend/gc
Mar 12 16:44:00 Finished compiler/backend/gc                                   4m20s   2GB
Mar 12 16:44:00 Starting compiler/backend
Mar 12 16:49:40 Finished compiler/backend                                      5m39s   2GB
Mar 12 16:49:40 Starting compiler/encoders/asm
Mar 12 16:50:10 Finished compiler/encoders/asm                                   29s 704MB
Mar 12 16:50:10 Starting compiler/encoders/x64
Mar 12 16:50:39 Finished compiler/encoders/x64                                   29s 801MB
Mar 12 16:50:39 Starting compiler/encoders/arm7
Mar 12 16:51:32 Finished compiler/encoders/arm7                                  53s 843MB
Mar 12 16:51:33 Starting compiler/encoders/arm8
Mar 12 16:51:50 Finished compiler/encoders/arm8                                  17s 997MB
Mar 12 16:51:50 Starting compiler/encoders/arm8_asl
Mar 12 16:54:24 Finished compiler/encoders/arm8_asl                            2m33s   1GB
Mar 12 16:54:24 Starting compiler/encoders/mips
Mar 12 16:54:45 Finished compiler/encoders/mips                                  21s   1GB
Mar 12 16:54:45 Starting compiler/encoders/riscv
Mar 12 16:55:05 Finished compiler/encoders/riscv                                 19s 832MB
Mar 12 16:55:05 Starting compiler/encoders/ag32
Mar 12 16:55:27 Finished compiler/encoders/ag32                                  21s 977MB
Mar 12 16:55:27 Starting compiler/backend/x64
Mar 12 16:55:49 Finished compiler/backend/x64                                    21s   1GB
Mar 12 16:55:49 Starting compiler/backend/arm7
Mar 12 16:56:13 Finished compiler/backend/arm7                                   23s   1GB
Mar 12 16:56:13 Starting compiler/backend/arm8
Mar 12 16:56:35 Finished compiler/backend/arm8                                   21s   1GB
Mar 12 16:56:35 Starting compiler/backend/mips
Mar 12 16:56:57 Finished compiler/backend/mips                                   21s   1GB
Mar 12 16:56:57 Starting compiler/backend/riscv
Mar 12 16:57:19 Finished compiler/backend/riscv                                  21s   1GB
Mar 12 16:57:19 Starting compiler/backend/ag32
Mar 12 16:58:46 Finished compiler/backend/ag32                                 1m27s   1GB
Mar 12 16:58:46 Starting compiler/parsing/proofs
Mar 12 17:02:31 Finished compiler/parsing/proofs                               3m45s   1GB
Mar 12 17:02:31 Starting compiler/inference/proofs
Mar 12 17:05:01 Finished compiler/inference/proofs                             2m29s 893MB
Mar 12 17:05:02 Starting compiler/backend/semantics
Mar 12 17:33:38 Finished compiler/backend/semantics                           28m36s   2GB
Mar 12 17:33:38 Starting compiler/backend/reg_alloc/proofs
Mar 12 17:37:11 Finished compiler/backend/reg_alloc/proofs                     3m32s   1GB
Mar 12 17:37:11 Starting compiler/backend/proofs
Mar 12 18:26:40 Finished compiler/backend/proofs                              49m28s  17GB
Mar 12 18:26:40 Starting compiler/backend/serialiser
Mar 12 18:28:17 Finished compiler/backend/serialiser                           1m36s   1GB
Mar 12 18:28:17 Starting compiler/encoders/x64/proofs
Mar 12 18:37:44 Finished compiler/encoders/x64/proofs                          9m24s   5GB
Mar 12 18:37:46 Starting compiler/encoders/arm7/proofs
Mar 12 18:50:51 Finished compiler/encoders/arm7/proofs                        13m05s   3GB
Mar 12 18:50:51 Starting compiler/encoders/arm8/proofs
Mar 12 18:57:30 Finished compiler/encoders/arm8/proofs                         6m39s   1GB
Mar 12 18:57:30 Starting compiler/encoders/arm8_asl/proofs
Mar 12 19:13:11 Finished compiler/encoders/arm8_asl/proofs                    15m41s   1GB
Mar 12 19:13:11 Starting compiler/encoders/mips/proofs
Mar 12 19:23:05 Finished compiler/encoders/mips/proofs                         9m53s   2GB
Mar 12 19:23:05 Starting compiler/encoders/riscv/proofs
Mar 12 19:31:46 Finished compiler/encoders/riscv/proofs                        8m40s   1GB
Mar 12 19:31:46 Starting compiler/encoders/ag32/proofs
Mar 12 19:34:18 Finished compiler/encoders/ag32/proofs                         2m31s   1GB
Mar 12 19:34:18 Starting compiler/backend/x64/proofs
Mar 12 19:34:46 Finished compiler/backend/x64/proofs                             27s   1GB
Mar 12 19:34:46 Starting compiler/backend/arm7/proofs
Mar 12 19:35:15 Finished compiler/backend/arm7/proofs                            29s   1GB
Mar 12 19:35:15 Starting compiler/backend/arm8/proofs
Mar 12 19:35:43 Finished compiler/backend/arm8/proofs                            27s   1GB
Mar 12 19:35:44 Starting compiler/backend/arm8_asl
Mar 12 19:36:07 Finished compiler/backend/arm8_asl                               23s   1GB
Mar 12 19:36:07 Starting compiler/backend/mips/proofs
Mar 12 19:36:34 Finished compiler/backend/mips/proofs                            27s   1GB
Mar 12 19:36:35 Starting compiler/backend/riscv/proofs
Mar 12 19:37:02 Finished compiler/backend/riscv/proofs                           27s   1GB
Mar 12 19:37:03 Starting compiler/backend/ag32/proofs
Mar 12 19:49:42 Finished compiler/backend/ag32/proofs                         12m38s   3GB
Mar 12 19:49:42 Starting compiler/proofs
Mar 12 19:51:50 Finished compiler/proofs                                       2m08s   3GB
Mar 12 19:51:51 Starting candle/set-theory
Mar 12 19:52:25 Finished candle/set-theory                                       34s 915MB
Mar 12 19:52:25 Starting candle/syntax-lib
Mar 12 19:52:38 Finished candle/syntax-lib                                       13s 522MB
Mar 12 19:52:38 Starting candle/standard/syntax
Mar 12 19:54:42 Finished candle/standard/syntax                                2m03s 890MB
Mar 12 19:54:42 Starting candle/standard/semantics
Mar 12 19:56:33 Finished candle/standard/semantics                             1m51s   1GB
Mar 12 19:56:33 Starting candle/standard/monadic
Mar 12 19:58:28 Finished candle/standard/monadic                               1m54s   1GB
Mar 12 19:58:28 Starting candle/standard/ml_kernel
Mar 12 20:04:41 Finished candle/standard/ml_kernel                             6m13s   3GB
Mar 12 20:04:41 Starting candle/overloading/syntax
Mar 12 20:07:52 Finished candle/overloading/syntax                             3m10s   1GB
Mar 12 20:07:52 Starting candle/overloading/semantics
Mar 12 20:19:26 Finished candle/overloading/semantics                         11m34s   4GB
Mar 12 20:19:26 Starting candle/overloading/monadic
Mar 12 20:21:58 Finished candle/overloading/monadic                            2m31s   1GB
Mar 12 20:21:58 Starting candle/overloading/ml_kernel
Mar 12 20:29:03 Finished candle/overloading/ml_kernel                          7m05s   3GB
Mar 12 20:29:03 Starting candle/overloading/ml_checker
Mar 12 20:31:25 Finished candle/overloading/ml_checker                         2m21s   3GB
Mar 12 20:31:25 Starting candle/prover
Mar 12 20:39:33 Finished candle/prover                                         8m07s   3GB
Mar 12 20:39:33 Starting pancake
Mar 12 20:43:16 Finished pancake                                               3m42s   3GB
Mar 12 20:43:16 Starting pancake/ffi
Mar 12 20:43:16 Finished pancake/ffi                                              0s  35MB
Mar 12 20:43:16 Starting pancake/semantics
Mar 12 20:45:42 Finished pancake/semantics                                     2m25s   1GB
Mar 12 20:45:42 Starting pancake/proofs
Mar 12 20:58:01 Finished pancake/proofs                                       12m17s   5GB
Mar 12 20:58:01 Starting characteristic/examples
Mar 12 20:59:23 Finished characteristic/examples                               1m22s   3GB
Mar 12 20:59:23 Starting tutorial/solutions
Mar 12 21:16:09 Finished tutorial/solutions                                   16m45s   9GB
Mar 12 21:16:09 Starting translator/monadic/examples
Mar 12 21:20:01 Finished translator/monadic/examples                           3m52s   2GB
Mar 12 21:20:01 Starting examples
Mar 12 21:29:13 Finished examples                                              9m11s   3GB
Mar 12 21:29:13 Starting examples/compilation/x64
Mar 13 00:00:54 Finished examples/compilation/x64                           2h31m38s  18GB
Mar 13 00:00:54 Starting examples/compilation/x64/proofs
Mar 13 00:03:11 Finished examples/compilation/x64/proofs                       2m17s   3GB
Mar 13 00:03:11 Starting examples/compilation/ag32
Mar 13 00:37:41 Finished examples/compilation/ag32                            34m29s   9GB
Mar 13 00:37:41 Starting examples/compilation/ag32/proofs
Mar 13 00:38:36 Finished examples/compilation/ag32/proofs                        54s   2GB
Mar 13 00:38:36 Starting examples/cost
Mar 13 01:34:15 Finished examples/cost                                        55m37s   7GB
Mar 13 01:34:15 Starting examples/lpr_checker
Mar 13 01:35:19 Finished examples/lpr_checker                                  1m03s   1GB
Mar 13 01:35:19 Starting examples/lpr_checker/array
Mar 13 02:03:13 Finished examples/lpr_checker/array                           27m53s   5GB
Mar 13 02:03:13 Starting examples/lpr_checker/array/compilation
Mar 13 03:29:14 Finished examples/lpr_checker/array/compilation             1h25m56s  29GB
Mar 13 03:29:16 Starting examples/lpr_checker/array/compilation/proofs
Mar 13 03:30:42 Finished examples/lpr_checker/array/compilation/proofs         1m25s   6GB
Mar 13 03:30:42 Starting examples/opentheory
Mar 13 03:40:36 Finished examples/opentheory                                   9m54s   6GB
Mar 13 03:40:36 Starting examples/opentheory
Mar 13 03:40:38 Finished examples/opentheory                                      1s 132MB
Mar 13 03:40:38 Starting examples/opentheory/compilation
Mar 13 04:21:39 Finished examples/opentheory/compilation                      41m01s  39GB
Mar 13 04:21:39 Starting examples/opentheory/compilation/proofs
Mar 13 04:22:37 Finished examples/opentheory/compilation/proofs                  58s   4GB
Mar 13 04:22:37 Starting examples/opentheory/compilation/ag32
Mar 13 05:00:15 Finished examples/opentheory/compilation/ag32                 37m36s  27GB
Mar 13 05:00:15 Starting examples/opentheory/compilation/ag32/proofs
Mar 13 05:02:01 Finished examples/opentheory/compilation/ag32/proofs           1m45s   5GB
Mar 13 05:02:01 Starting examples/sat_encodings
Mar 13 05:04:01 Finished examples/sat_encodings                                1m59s 811MB
Mar 13 05:04:01 Starting examples/sat_encodings/case_studies
Mar 13 05:05:43 Finished examples/sat_encodings/case_studies                   1m41s 742MB
Mar 13 05:05:43 Starting examples/sat_encodings/translation
Mar 13 05:11:17 Finished examples/sat_encodings/translation                    5m33s   3GB
Mar 13 05:11:17 Starting examples/sat_encodings/translation/compilation
Mar 13 06:00:40 Finished examples/sat_encodings/translation/compilation       49m22s  19GB
Mar 13 06:00:41 Starting translator/okasaki-examples
Mar 13 06:05:25 Finished translator/okasaki-examples                           4m44s   1GB
Mar 13 06:05:25 Starting translator/other-examples
Mar 13 06:06:13 Finished translator/other-examples                               47s   1GB
Mar 13 06:06:13 Starting compiler/parsing/tests
Mar 13 06:06:44 Finished compiler/parsing/tests                                  30s 581MB
Mar 13 06:06:44 Starting compiler/inference/tests
Mar 13 06:14:36 Finished compiler/inference/tests                              7m52s   6GB
Mar 13 06:14:36 Starting compiler/printing/test
Mar 13 06:18:14 Finished compiler/printing/test                                3m38s   3GB
Mar 13 06:18:15 Starting compiler/repl
Mar 13 06:30:43 Finished compiler/repl                                        12m28s   5GB
Mar 13 06:30:43 Starting compiler/bootstrap/translation
Mar 13 10:25:27 Finished compiler/bootstrap/translation                     3h54m43s  64GB
Mar 13 10:25:27 Starting unverified/sexpr-bootstrap/x64/64
Mar 13 10:37:52 Finished unverified/sexpr-bootstrap/x64/64                    12m24s   8GB
Mar 13 10:37:52 Starting unverified/sexpr-bootstrap/x64/32 Mar 13 10:37:52 696s