Job 915

CakeML:83e39f3a752926b630eafb549f1e02809750f563
  Change assignments to equalities in assert statements [Jun 11 19:26:13]
#660 (master)
Merging into:57a8a31ea045f3f546c1be2bc98ce345e492bdcb
  Merge pull request #659 from CakeML/filterfix [Jun 06 22:01:22]
HOL:a0ba6fe4b9c7a36256b894b424606c8ca38d6464
  Fix some pretty-printing bugs in new (| k |-> v |) =+ syntax [Jun 11 02:26:09]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 11 19:51:28 Claimed job
Jun 11 19:51:34 Building HOL
Jun 11 19:59:20 Starting developers
Jun 11 19:59:20 Finished developers                                               0s  21MB
Jun 11 19:59:21 Starting developers/bin
Jun 11 19:59:24 Finished developers/bin                                           3s 207MB
Jun 11 19:59:24 Starting semantics/ffi
Jun 11 19:59:58 Finished semantics/ffi                                           33s 405MB
Jun 11 19:59:58 Starting semantics
Jun 11 20:01:28 Finished semantics                                             1m29s   1GB
Jun 11 20:01:29 Starting semantics/proofs
Jun 11 20:04:21 Finished semantics/proofs                                      2m51s   1GB
Jun 11 20:04:21 Starting semantics/alt_semantics
Jun 11 20:04:27 Finished semantics/alt_semantics                                  5s 284MB
Jun 11 20:04:27 Starting semantics/alt_semantics/proofs
Jun 11 20:06:13 Finished semantics/alt_semantics/proofs                        1m45s 723MB
Jun 11 20:06:13 Starting basis/pure
Jun 11 20:09:44 Finished basis/pure                                            3m30s 854MB
Jun 11 20:09:44 Starting translator
Jun 11 20:11:24 Finished translator                                            1m39s   1GB
Jun 11 20:11:24 Starting compiler/parsing
Jun 11 20:12:21 Finished compiler/parsing                                        56s   2GB
Jun 11 20:12:21 Starting characteristic
Jun 11 20:17:32 Finished characteristic                                        5m10s   2GB
Jun 11 20:17:32 Starting translator/monadic
Jun 11 20:18:59 Finished translator/monadic                                    1m25s   1GB
Jun 11 20:18:59 Starting basis
Jun 11 20:35:47 Finished basis                                                16m47s   2GB
Jun 11 20:35:47 Starting compiler/inference
Jun 11 20:37:34 Finished compiler/inference                                    1m46s   1GB
Jun 11 20:37:34 Starting compiler/backend/reg_alloc
Jun 11 20:38:32 Finished compiler/backend/reg_alloc                              56s   1GB
Jun 11 20:38:32 Starting compiler/backend/gc
Jun 11 20:47:31 Finished compiler/backend/gc                                   8m58s   2GB
Jun 11 20:47:31 Starting compiler/backend
Jun 11 20:47:32 Finished compiler/backend                                         0s  43MB
Jun 11 20:47:32 Starting compiler/encoders/asm
Jun 11 20:47:33 Finished compiler/encoders/asm                                    0s  37MB
Jun 11 20:47:33 Starting compiler/encoders/x64
Jun 11 20:48:28 Finished compiler/encoders/x64                                   54s 902MB
Jun 11 20:48:28 Starting compiler/encoders/arm7
Jun 11 20:50:04 Finished compiler/encoders/arm7                                1m35s   1GB
Jun 11 20:50:04 Starting compiler/encoders/arm8
Jun 11 20:50:33 Finished compiler/encoders/arm8                                  28s 571MB
Jun 11 20:50:33 Starting compiler/encoders/mips
Jun 11 20:51:36 Finished compiler/encoders/mips                                1m02s   1GB
Jun 11 20:51:36 Starting compiler/encoders/riscv
Jun 11 20:52:52 Finished compiler/encoders/riscv                               1m15s   1GB
Jun 11 20:52:52 Starting compiler/encoders/ag32
Jun 11 20:53:07 Finished compiler/encoders/ag32                                  14s 764MB
Jun 11 20:53:07 Starting compiler/backend/x64
Jun 11 20:53:23 Finished compiler/backend/x64                                    15s   1GB
Jun 11 20:53:23 Starting compiler/backend/arm7
Jun 11 20:53:41 Finished compiler/backend/arm7                                   17s   1GB
Jun 11 20:53:41 Starting compiler/backend/arm8
Jun 11 20:53:57 Finished compiler/backend/arm8                                   16s   1GB
Jun 11 20:53:58 Starting compiler/backend/mips
Jun 11 20:54:14 Finished compiler/backend/mips                                   16s 940MB
Jun 11 20:54:14 Starting compiler/backend/riscv
Jun 11 20:54:30 Finished compiler/backend/riscv                                  15s   1GB
Jun 11 20:54:31 Starting compiler/backend/ag32
Jun 11 20:55:37 Finished compiler/backend/ag32                                 1m06s   1GB
Jun 11 20:55:39 Starting compiler/parsing/proofs
Jun 11 21:01:10 Finished compiler/parsing/proofs                               5m31s   1GB
Jun 11 21:01:11 Starting compiler/inference/proofs
Jun 11 21:03:47 Finished compiler/inference/proofs                             2m36s   1GB
Jun 11 21:03:47 Starting compiler/backend/semantics
Jun 11 21:10:48 Finished compiler/backend/semantics                            6m59s   1GB
Jun 11 21:10:48 Starting compiler/backend/reg_alloc/proofs
Jun 11 21:14:08 Finished compiler/backend/reg_alloc/proofs                     3m19s 748MB
Jun 11 21:14:08 Starting compiler/backend/proofs
Jun 11 21:52:40 Finished compiler/backend/proofs                              38m30s   4GB
Jun 11 21:52:40 Starting compiler/encoders/x64/proofs
Jun 11 22:02:39 Finished compiler/encoders/x64/proofs                          9m57s   7GB
Jun 11 22:02:39 Starting compiler/encoders/arm7/proofs
Jun 11 22:16:07 Finished compiler/encoders/arm7/proofs                        13m27s   3GB
Jun 11 22:16:07 Starting compiler/encoders/arm8/proofs
Jun 11 22:22:49 Finished compiler/encoders/arm8/proofs                         6m41s   1GB
Jun 11 22:22:49 Starting compiler/encoders/mips/proofs
Jun 11 22:32:47 Finished compiler/encoders/mips/proofs                         9m57s   2GB
Jun 11 22:32:47 Starting compiler/encoders/riscv/proofs
Jun 11 22:41:07 Finished compiler/encoders/riscv/proofs                        8m18s   1GB
Jun 11 22:41:07 Starting compiler/encoders/ag32/proofs
Jun 11 22:43:32 Finished compiler/encoders/ag32/proofs                         2m24s 671MB
Jun 11 22:43:32 Starting compiler/backend/x64/proofs
Jun 11 22:43:48 Finished compiler/backend/x64/proofs                             15s 980MB
Jun 11 22:43:48 Starting compiler/backend/arm7/proofs
Jun 11 22:44:07 Finished compiler/backend/arm7/proofs                            18s 941MB
Jun 11 22:44:07 Starting compiler/backend/arm8/proofs
Jun 11 22:44:23 Finished compiler/backend/arm8/proofs                            15s   1GB
Jun 11 22:44:23 Starting compiler/backend/mips/proofs
Jun 11 22:44:41 Finished compiler/backend/mips/proofs                            17s   1GB
Jun 11 22:44:41 Starting compiler/backend/riscv/proofs
Jun 11 22:44:57 Finished compiler/backend/riscv/proofs                           16s   1GB
Jun 11 22:44:58 Starting compiler/backend/ag32/proofs
Jun 11 22:53:57 Finished compiler/backend/ag32/proofs                          8m58s   2GB
Jun 11 22:53:57 Starting compiler/proofs
Jun 11 22:55:11 Finished compiler/proofs                                       1m13s   2GB
Jun 11 22:55:11 Starting candle/set-theory
Jun 11 22:55:35 Finished candle/set-theory                                       24s 683MB
Jun 11 22:55:36 Starting candle/syntax-lib
Jun 11 22:55:45 Finished candle/syntax-lib                                        8s 663MB
Jun 11 22:55:45 Starting candle/standard/syntax
Jun 11 22:57:25 Finished candle/standard/syntax                                1m39s 848MB
Jun 11 22:57:25 Starting candle/standard/semantics
Jun 11 22:58:59 Finished candle/standard/semantics                             1m33s   1GB
Jun 11 22:58:59 Starting candle/standard/monadic
Jun 11 23:00:30 Finished candle/standard/monadic                               1m30s   1GB
Jun 11 23:00:30 Starting candle/standard/ml_kernel
Jun 11 23:04:12 Finished candle/standard/ml_kernel                             3m41s   4GB
Jun 11 23:04:12 Starting candle/standard/opentheory
Jun 11 23:12:39 Finished candle/standard/opentheory                            8m26s   4GB
Jun 11 23:12:39 Starting candle/standard/opentheory/compilation
Jun 11 23:42:24 Finished candle/standard/opentheory/compilation               29m43s  10GB
Jun 11 23:42:24 Starting candle/standard/opentheory/compilation/proofs
Jun 11 23:43:24 Finished candle/standard/opentheory/compilation/proofs           59s   2GB
Jun 11 23:43:24 Starting characteristic/examples
Jun 11 23:44:50 Finished characteristic/examples                               1m25s   2GB
Jun 11 23:44:50 Starting tutorial/solutions
Jun 11 23:57:58 Finished tutorial/solutions                                   13m07s   6GB
Jun 11 23:57:58 Starting translator/monadic/examples
Jun 12 00:00:43 Finished translator/monadic/examples                           2m44s   2GB
Jun 12 00:00:44 Starting examples
Jun 12 00:09:22 Finished examples                                              8m37s   4GB
Jun 12 00:09:22 Starting examples/compilation/x64
Jun 12 02:10:18 Finished examples/compilation/x64                           2h00m55s  11GB
Jun 12 02:10:18 Starting examples/compilation/x64/proofs
Jun 12 02:11:41 Finished examples/compilation/x64/proofs                       1m22s   2GB
Jun 12 02:11:41 Starting examples/compilation/ag32
Jun 12 02:39:21 Finished examples/compilation/ag32                            27m39s   6GB
Jun 12 02:39:21 Starting examples/compilation/ag32/proofs
Jun 12 02:40:01 Finished examples/compilation/ag32/proofs                        39s   3GB
Jun 12 02:40:01 Starting translator/okasaki-examples
Jun 12 02:44:05 Finished translator/okasaki-examples                           4m03s   1GB
Jun 12 02:44:05 Starting translator/other-examples
Jun 12 02:47:25 Finished translator/other-examples                             3m19s   1GB
Jun 12 02:47:25 Starting compiler/parsing/tests
Jun 12 02:47:49 Finished compiler/parsing/tests                                  24s 530MB
Jun 12 02:47:50 Starting compiler/inference/tests
Jun 12 02:52:02 Finished compiler/inference/tests                              4m12s   2GB
Jun 12 02:52:02 Starting compiler/bootstrap/translation
Jun 12 05:19:26 Finished compiler/bootstrap/translation                     2h27m22s  39GB
Jun 12 05:19:26 Starting unverified/sexpr-bootstrap/x64/64
Jun 12 05:27:00 Finished unverified/sexpr-bootstrap/x64/64                     7m33s   3GB
Jun 12 05:27:00 Starting unverified/sexpr-bootstrap/x64/32
Jun 12 05:31:36 Finished unverified/sexpr-bootstrap/x64/32                     4m35s   6GB
Jun 12 05:31:36 Starting compiler/benchmarks
Jun 12 06:08:11 Finished compiler/benchmarks                                  36m34s   2GB
Jun 12 06:08:11 Starting compiler/bootstrap/compilation/x64/64
Jun 12 17:32:24 Finished compiler/bootstrap/compilation/x64/64             11h24m11s  64GB
Jun 12 17:32:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 12 17:34:59 Finished compiler/bootstrap/compilation/x64/64/proofs          2m34s  10GB
Jun 12 17:34:59 Starting compiler/bootstrap/compilation/x64/32
Jun 13 02:51:16 Finished compiler/bootstrap/compilation/x64/32              9h16m15s  64GB
Jun 13 02:51:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 13 02:54:34 Finished compiler/bootstrap/compilation/x64/32/proofs          3m17s   6GB
Jun 13 02:54:34 Starting compiler/bootstrap/compilation/ag32/32
Jun 13 12:58:56 Finished compiler/bootstrap/compilation/ag32/32            10h04m21s  64GB
Jun 13 12:58:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 13 13:23:07 Finished compiler/bootstrap/compilation/ag32/32/proofs        24m09s  11GB
Jun 13 13:23:07 SUCCESS