Job 745

CakeML:733a34d499eb121628e888ad1aa7a30599b91311
  Merge pull request #618 from CakeML/monadic-trans-cleanup [Feb 25 11:13:00]
HOL:04268f2f08fa23acd6991def865b123616cfe6bc
  Define a genlist that collects results of fn that may fail [Feb 23 08:35:55]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Feb 25 11:14:18 Claimed job
Feb 25 11:14:25 Reusing HOL
Feb 25 11:14:30 Starting developers
Feb 25 11:14:31 Finished developers                                               0s  22MB
Feb 25 11:14:32 Starting developers/bin
Feb 25 11:15:05 Finished developers/bin                                          32s 205MB
Feb 25 11:15:05 Starting semantics/ffi
Feb 25 11:15:14 Finished semantics/ffi                                            7s 219MB
Feb 25 11:15:14 Starting semantics
Feb 25 11:16:32 Finished semantics                                             1m16s   1GB
Feb 25 11:16:32 Starting semantics/proofs
Feb 25 11:19:26 Finished semantics/proofs                                      2m52s   1GB
Feb 25 11:19:27 Starting basis/pure
Feb 25 11:20:11 Finished basis/pure                                              42s 686MB
Feb 25 11:20:11 Starting translator
Feb 25 11:21:52 Finished translator                                            1m39s   1GB
Feb 25 11:21:52 Starting compiler/parsing
Feb 25 11:22:50 Finished compiler/parsing                                        56s   2GB
Feb 25 11:22:51 Starting characteristic
Feb 25 11:27:01 Finished characteristic                                        4m09s   2GB
Feb 25 11:27:02 Starting translator/monadic
Feb 25 11:28:24 Finished translator/monadic                                    1m22s   1GB
Feb 25 11:28:25 Starting basis
Feb 25 11:45:13 Finished basis                                                16m46s   3GB
Feb 25 11:45:14 Starting compiler/inference
Feb 25 11:47:00 Finished compiler/inference                                    1m45s   1GB
Feb 25 11:47:01 Starting compiler/backend/reg_alloc
Feb 25 11:47:52 Finished compiler/backend/reg_alloc                              49s   1GB
Feb 25 11:47:53 Starting compiler/backend/gc
Feb 25 11:56:41 Finished compiler/backend/gc                                   8m47s   1GB
Feb 25 11:56:42 Starting compiler/backend
Feb 25 11:56:43 Finished compiler/backend                                         0s  41MB
Feb 25 11:56:44 Starting compiler/encoders/asm
Feb 25 11:56:45 Finished compiler/encoders/asm                                    0s  32MB
Feb 25 11:56:46 Starting compiler/encoders/x64
Feb 25 11:57:42 Finished compiler/encoders/x64                                   55s 639MB
Feb 25 11:57:43 Starting compiler/encoders/arm6
Feb 25 11:59:15 Finished compiler/encoders/arm6                                1m31s   1GB
Feb 25 11:59:15 Starting compiler/encoders/arm8
Feb 25 11:59:43 Finished compiler/encoders/arm8                                  26s 601MB
Feb 25 11:59:44 Starting compiler/encoders/mips
Feb 25 12:00:46 Finished compiler/encoders/mips                                1m01s   1GB
Feb 25 12:00:46 Starting compiler/encoders/riscv
Feb 25 12:01:50 Finished compiler/encoders/riscv                               1m02s 781MB
Feb 25 12:01:51 Starting compiler/encoders/ag32
Feb 25 12:02:06 Finished compiler/encoders/ag32                                  14s 820MB
Feb 25 12:02:07 Starting compiler/backend/x64
Feb 25 12:02:23 Finished compiler/backend/x64                                    15s   1GB
Feb 25 12:02:24 Starting compiler/backend/arm6
Feb 25 12:02:42 Finished compiler/backend/arm6                                   17s   1GB
Feb 25 12:02:43 Starting compiler/backend/arm8
Feb 25 12:02:59 Finished compiler/backend/arm8                                   15s   1GB
Feb 25 12:02:59 Starting compiler/backend/mips
Feb 25 12:03:16 Finished compiler/backend/mips                                   15s   1GB
Feb 25 12:03:16 Starting compiler/backend/riscv
Feb 25 12:03:33 Finished compiler/backend/riscv                                  15s   1GB
Feb 25 12:03:34 Starting compiler/backend/ag32
Feb 25 12:04:41 Finished compiler/backend/ag32                                 1m06s   1GB
Feb 25 12:04:42 Starting compiler/parsing/proofs
Feb 25 12:10:16 Finished compiler/parsing/proofs                               5m34s 891MB
Feb 25 12:10:17 Starting compiler/inference/proofs
Feb 25 12:12:55 Finished compiler/inference/proofs                             2m37s   1GB
Feb 25 12:12:56 Starting compiler/backend/semantics
Feb 25 12:20:43 Finished compiler/backend/semantics                            7m46s   1GB
Feb 25 12:20:45 Starting compiler/backend/reg_alloc/proofs
Feb 25 12:23:29 Finished compiler/backend/reg_alloc/proofs                     2m43s 819MB
Feb 25 12:23:30 Starting compiler/backend/proofs
Feb 25 13:02:38 Finished compiler/backend/proofs                              39m06s   5GB
Feb 25 13:02:38 Starting compiler/encoders/x64/proofs
Feb 25 13:12:45 Finished compiler/encoders/x64/proofs                         10m05s   4GB
Feb 25 13:12:46 Starting compiler/encoders/arm6/proofs
Feb 25 13:26:17 Finished compiler/encoders/arm6/proofs                        13m30s   3GB
Feb 25 13:26:18 Starting compiler/encoders/arm8/proofs
Feb 25 13:32:02 Finished compiler/encoders/arm8/proofs                         5m42s   1GB
Feb 25 13:32:03 Starting compiler/encoders/mips/proofs
Feb 25 13:41:56 Finished compiler/encoders/mips/proofs                         9m52s   2GB
Feb 25 13:41:57 Starting compiler/encoders/riscv/proofs
Feb 25 13:49:40 Finished compiler/encoders/riscv/proofs                        7m42s   1GB
Feb 25 13:49:41 Starting compiler/encoders/ag32/proofs
Feb 25 13:52:05 Finished compiler/encoders/ag32/proofs                         2m23s 654MB
Feb 25 13:52:06 Starting compiler/backend/x64/proofs
Feb 25 13:52:23 Finished compiler/backend/x64/proofs                             16s   1GB
Feb 25 13:52:24 Starting compiler/backend/arm6/proofs
Feb 25 13:52:42 Finished compiler/backend/arm6/proofs                            17s 844MB
Feb 25 13:52:42 Starting compiler/backend/arm8/proofs
Feb 25 13:52:59 Finished compiler/backend/arm8/proofs                            16s   1GB
Feb 25 13:53:00 Starting compiler/backend/mips/proofs
Feb 25 13:53:17 Finished compiler/backend/mips/proofs                            16s   1GB
Feb 25 13:53:18 Starting compiler/backend/riscv/proofs
Feb 25 13:53:35 Finished compiler/backend/riscv/proofs                           15s   1GB
Feb 25 13:53:36 Starting compiler/backend/ag32/proofs
Feb 25 14:02:35 Finished compiler/backend/ag32/proofs                          8m58s   2GB
Feb 25 14:02:36 Starting compiler/proofs
Feb 25 14:04:09 Finished compiler/proofs                                       1m32s   3GB
Feb 25 14:04:10 Starting candle/set-theory
Feb 25 14:04:35 Finished candle/set-theory                                       24s 775MB
Feb 25 14:04:36 Starting candle/syntax-lib
Feb 25 14:04:46 Finished candle/syntax-lib                                        9s 566MB
Feb 25 14:04:47 Starting candle/standard/syntax
Feb 25 14:06:26 Finished candle/standard/syntax                                1m39s   1GB
Feb 25 14:06:27 Starting candle/standard/semantics
Feb 25 14:08:01 Finished candle/standard/semantics                             1m32s   1GB
Feb 25 14:08:01 Starting candle/standard/monadic
Feb 25 14:09:33 Finished candle/standard/monadic                               1m30s   1GB
Feb 25 14:09:34 Starting candle/standard/ml_kernel
Feb 25 14:13:41 Finished candle/standard/ml_kernel                             4m06s   3GB
Feb 25 14:13:42 Starting candle/standard/opentheory
Feb 25 14:23:21 Finished candle/standard/opentheory                            9m37s   4GB
Feb 25 14:23:21 Starting candle/standard/opentheory/compilation
Feb 25 14:52:19 Finished candle/standard/opentheory/compilation               28m56s  22GB
Feb 25 14:52:20 Starting candle/standard/opentheory/compilation/proofs
Feb 25 14:55:17 Finished candle/standard/opentheory/compilation/proofs         2m55s   7GB
Feb 25 14:55:17 Starting characteristic/examples
Feb 25 14:56:53 Finished characteristic/examples                               1m35s   2GB
Feb 25 14:56:54 Starting tutorial/solutions
Feb 25 15:10:31 Finished tutorial/solutions                                   13m36s   5GB
Feb 25 15:10:32 Starting translator/monadic/examples
Feb 25 15:13:04 Finished translator/monadic/examples                           2m31s   2GB
Feb 25 15:13:05 Starting examples
Feb 25 15:21:36 Finished examples                                              8m31s   4GB
Feb 25 15:21:37 Starting examples/compilation/x64
Feb 25 17:15:05 Finished examples/compilation/x64                           1h53m27s  12GB
Feb 25 17:15:06 Starting examples/compilation/x64/proofs
Feb 25 17:18:01 Finished examples/compilation/x64/proofs                       2m53s   5GB
Feb 25 17:18:02 Starting examples/compilation/ag32
Feb 25 17:46:52 Finished examples/compilation/ag32                            28m49s   6GB
Feb 25 17:46:53 Starting examples/compilation/ag32/proofs
Feb 25 17:48:00 Finished examples/compilation/ag32/proofs                      1m05s   4GB
Feb 25 17:48:00 Starting translator/okasaki-examples
Feb 25 17:52:01 Finished translator/okasaki-examples                           4m00s   1GB
Feb 25 17:52:02 Starting translator/other-examples
Feb 25 17:55:25 Finished translator/other-examples                             3m22s   1GB
Feb 25 17:55:26 Starting compiler/parsing/tests
Feb 25 17:55:50 Finished compiler/parsing/tests                                  23s 498MB
Feb 25 17:55:51 Starting compiler/inference/tests
Feb 25 18:00:10 Finished compiler/inference/tests                              4m18s   4GB
Feb 25 18:00:11 Starting compiler/bootstrap/translation
Feb 25 23:10:37 Finished compiler/bootstrap/translation                     5h10m25s  39GB
Feb 25 23:10:38 Starting unverified/sexpr-bootstrap/x64/64
Feb 26 00:18:05 Finished unverified/sexpr-bootstrap/x64/64                  1h07m24s  20GB
Feb 26 00:18:05 Starting unverified/sexpr-bootstrap/x64/32
Feb 26 01:13:45 Finished unverified/sexpr-bootstrap/x64/32                    55m38s  19GB
Feb 26 01:13:46 Starting compiler/benchmarks
Feb 26 01:51:42 Finished compiler/benchmarks                                  37m55s   2GB
Feb 26 01:51:43 Starting compiler/bootstrap/compilation/x64/64
Feb 26 18:56:57 Finished compiler/bootstrap/compilation/x64/64             17h05m12s  63GB
Feb 26 18:56:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 27 00:01:06 Finished compiler/bootstrap/compilation/x64/64/proofs       5h04m07s  37GB
Feb 27 00:01:07 Starting compiler/bootstrap/compilation/x64/32
Feb 27 14:59:20 Finished compiler/bootstrap/compilation/x64/32             14h58m10s  64GB
Feb 27 14:59:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 27 19:28:59 Finished compiler/bootstrap/compilation/x64/32/proofs       4h29m37s  33GB
Feb 27 19:29:00 Starting compiler/bootstrap/compilation/ag32/32
Feb 28 10:23:59 Finished compiler/bootstrap/compilation/ag32/32            14h54m58s  64GB
Feb 28 10:24:00 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 28 20:25:26 Finished compiler/bootstrap/compilation/ag32/32/proofs     10h01m25s  39GB
Feb 28 20:25:27 SUCCESS