Job 1050

CakeML:59dcc2be424ec46f9a557726f4d2a43ffc1280cc
  rename CompileError to AssembleError [Oct 06 21:45:52]
#693 (rename-compile-error)
Merging into:b8b20698feb965c78a1dc6dde4da81ce368ead3a
  Fix a proof broken by minor HOL change [Oct 05 13:27:47]
HOL:c80b32898bc7a3f692c1be84161e569112efdfa9
  Fix ARM_security_properties example for change in 44aabdd82 [Oct 02 12:15:29]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Oct 07 06:44:56 Claimed job
Oct 07 06:44:58 Reusing HOL
Oct 07 06:45:45 Starting developers
Oct 07 06:45:49 Finished developers                                               3s 117MB
Oct 07 06:45:49 Starting developers/bin
Oct 07 06:45:54 Finished developers/bin                                           5s 964MB
Oct 07 06:45:55 Starting semantics/ffi
Oct 07 06:46:05 Finished semantics/ffi                                           10s 232MB
Oct 07 06:46:05 Starting semantics
Oct 07 06:47:22 Finished semantics                                             1m16s   1GB
Oct 07 06:47:22 Starting semantics/proofs
Oct 07 06:50:11 Finished semantics/proofs                                      2m49s   1GB
Oct 07 06:50:11 Starting semantics/alt_semantics
Oct 07 06:50:18 Finished semantics/alt_semantics                                  7s 273MB
Oct 07 06:50:19 Starting semantics/alt_semantics/proofs
Oct 07 06:52:04 Finished semantics/alt_semantics/proofs                        1m44s 846MB
Oct 07 06:52:04 Starting basis/pure
Oct 07 06:52:48 Finished basis/pure                                              44s 857MB
Oct 07 06:52:48 Starting translator
Oct 07 06:54:30 Finished translator                                            1m41s   1GB
Oct 07 06:54:30 Starting compiler/parsing
Oct 07 06:55:24 Finished compiler/parsing                                        54s   2GB
Oct 07 06:55:25 Starting characteristic
Oct 07 07:00:31 Finished characteristic                                        5m06s   1GB
Oct 07 07:00:31 Starting translator/monadic
Oct 07 07:01:55 Finished translator/monadic                                    1m24s   1GB
Oct 07 07:01:55 Starting basis
Oct 07 07:20:43 Finished basis                                                18m47s   3GB
Oct 07 07:20:43 Starting compiler/inference
Oct 07 07:22:17 Finished compiler/inference                                    1m34s   1GB
Oct 07 07:22:17 Starting compiler/backend/reg_alloc
Oct 07 07:23:14 Finished compiler/backend/reg_alloc                              57s   1GB
Oct 07 07:23:14 Starting compiler/backend/gc
Oct 07 07:30:57 Finished compiler/backend/gc                                   7m42s   2GB
Oct 07 07:30:57 Starting compiler/backend
Oct 07 07:30:59 Finished compiler/backend                                         2s  20MB
Oct 07 07:30:59 Starting compiler/encoders/asm
Oct 07 07:31:01 Finished compiler/encoders/asm                                    1s  18MB
Oct 07 07:31:01 Starting compiler/encoders/x64
Oct 07 07:31:24 Finished compiler/encoders/x64                                   23s 937MB
Oct 07 07:31:24 Starting compiler/encoders/arm7
Oct 07 07:32:08 Finished compiler/encoders/arm7                                  43s 767MB
Oct 07 07:32:08 Starting compiler/encoders/arm8
Oct 07 07:32:20 Finished compiler/encoders/arm8                                  11s 912MB
Oct 07 07:32:20 Starting compiler/encoders/mips
Oct 07 07:32:38 Finished compiler/encoders/mips                                  17s 831MB
Oct 07 07:32:38 Starting compiler/encoders/riscv
Oct 07 07:32:51 Finished compiler/encoders/riscv                                 13s 910MB
Oct 07 07:32:51 Starting compiler/encoders/ag32
Oct 07 07:33:07 Finished compiler/encoders/ag32                                  16s 798MB
Oct 07 07:33:08 Starting compiler/backend/x64
Oct 07 07:33:24 Finished compiler/backend/x64                                    16s 950MB
Oct 07 07:33:24 Starting compiler/backend/arm7
Oct 07 07:33:44 Finished compiler/backend/arm7                                   19s   1GB
Oct 07 07:33:44 Starting compiler/backend/arm8
Oct 07 07:34:01 Finished compiler/backend/arm8                                   16s 951MB
Oct 07 07:34:01 Starting compiler/backend/mips
Oct 07 07:34:19 Finished compiler/backend/mips                                   17s   1GB
Oct 07 07:34:19 Starting compiler/backend/riscv
Oct 07 07:34:36 Finished compiler/backend/riscv                                  17s   1GB
Oct 07 07:34:36 Starting compiler/backend/ag32
Oct 07 07:35:41 Finished compiler/backend/ag32                                 1m04s   1GB
Oct 07 07:35:41 Starting compiler/parsing/proofs
Oct 07 07:41:15 Finished compiler/parsing/proofs                               5m33s   1GB
Oct 07 07:41:15 Starting compiler/inference/proofs
Oct 07 07:43:51 Finished compiler/inference/proofs                             2m36s   1GB
Oct 07 07:43:51 Starting compiler/backend/semantics
Oct 07 07:49:22 Finished compiler/backend/semantics                            5m30s   2GB
Oct 07 07:49:22 Starting compiler/backend/reg_alloc/proofs
Oct 07 07:52:26 Finished compiler/backend/reg_alloc/proofs                     3m04s 924MB
Oct 07 07:52:26 Starting compiler/backend/proofs
Oct 07 08:29:05 Finished compiler/backend/proofs                              36m38s   4GB
Oct 07 08:29:05 Starting compiler/encoders/x64/proofs
Oct 07 08:38:42 Finished compiler/encoders/x64/proofs                          9m37s   5GB
Oct 07 08:38:42 Starting compiler/encoders/arm7/proofs
Oct 07 08:51:41 Finished compiler/encoders/arm7/proofs                        12m58s   3GB
Oct 07 08:51:41 Starting compiler/encoders/arm8/proofs
Oct 07 08:57:36 Finished compiler/encoders/arm8/proofs                         5m54s   1GB
Oct 07 08:57:36 Starting compiler/encoders/mips/proofs
Oct 07 09:07:01 Finished compiler/encoders/mips/proofs                         9m25s   2GB
Oct 07 09:07:01 Starting compiler/encoders/riscv/proofs
Oct 07 09:15:00 Finished compiler/encoders/riscv/proofs                        7m58s 960MB
Oct 07 09:15:01 Starting compiler/encoders/ag32/proofs
Oct 07 09:17:20 Finished compiler/encoders/ag32/proofs                         2m18s 656MB
Oct 07 09:17:20 Starting compiler/backend/x64/proofs
Oct 07 09:17:38 Finished compiler/backend/x64/proofs                             18s   1GB
Oct 07 09:17:38 Starting compiler/backend/arm7/proofs
Oct 07 09:17:58 Finished compiler/backend/arm7/proofs                            19s   1GB
Oct 07 09:17:58 Starting compiler/backend/arm8/proofs
Oct 07 09:18:16 Finished compiler/backend/arm8/proofs                            18s   1GB
Oct 07 09:18:16 Starting compiler/backend/mips/proofs
Oct 07 09:18:36 Finished compiler/backend/mips/proofs                            19s   1GB
Oct 07 09:18:36 Starting compiler/backend/riscv/proofs
Oct 07 09:18:56 Finished compiler/backend/riscv/proofs                           19s   1GB
Oct 07 09:18:56 Starting compiler/backend/ag32/proofs
Oct 07 09:27:12 Finished compiler/backend/ag32/proofs                          8m16s   2GB
Oct 07 09:27:13 Starting compiler/proofs
Oct 07 09:28:26 Finished compiler/proofs                                       1m13s   3GB
Oct 07 09:28:26 Starting candle/set-theory
Oct 07 09:28:52 Finished candle/set-theory                                       26s 843MB
Oct 07 09:28:52 Starting candle/syntax-lib
Oct 07 09:29:02 Finished candle/syntax-lib                                        9s 495MB
Oct 07 09:29:03 Starting candle/standard/syntax
Oct 07 09:30:41 Finished candle/standard/syntax                                1m37s   1GB
Oct 07 09:30:41 Starting candle/standard/semantics
Oct 07 09:32:14 Finished candle/standard/semantics                             1m33s   1GB
Oct 07 09:32:14 Starting candle/standard/monadic
Oct 07 09:33:44 Finished candle/standard/monadic                               1m30s   1GB
Oct 07 09:33:44 Starting candle/standard/ml_kernel
Oct 07 09:37:19 Finished candle/standard/ml_kernel                             3m34s   4GB
Oct 07 09:37:19 Starting candle/standard/opentheory
Oct 07 09:45:33 Finished candle/standard/opentheory                            8m13s   4GB
Oct 07 09:45:33 Starting candle/standard/opentheory/compilation
Oct 07 10:13:07 Finished candle/standard/opentheory/compilation               27m33s  20GB
Oct 07 10:13:07 Starting candle/standard/opentheory/compilation/proofs
Oct 07 10:13:56 Finished candle/standard/opentheory/compilation/proofs           48s   2GB
Oct 07 10:13:56 Starting characteristic/examples
Oct 07 10:15:22 Finished characteristic/examples                               1m25s   2GB
Oct 07 10:15:22 Starting tutorial/solutions
Oct 07 10:27:48 Finished tutorial/solutions                                   12m26s   7GB
Oct 07 10:27:48 Starting translator/monadic/examples
Oct 07 10:30:26 Finished translator/monadic/examples                           2m38s   2GB
Oct 07 10:30:26 Starting examples
Oct 07 10:38:18 Finished examples                                              7m51s   4GB
Oct 07 10:38:18 Starting examples/compilation/x64
Oct 07 12:37:05 Finished examples/compilation/x64                           1h58m47s  12GB
Oct 07 12:37:05 Starting examples/compilation/x64/proofs
Oct 07 12:38:33 Finished examples/compilation/x64/proofs                       1m28s   3GB
Oct 07 12:38:33 Starting examples/compilation/ag32
Oct 07 13:05:53 Finished examples/compilation/ag32                            27m19s   6GB
Oct 07 13:05:54 Starting examples/compilation/ag32/proofs
Oct 07 13:06:42 Finished examples/compilation/ag32/proofs                        48s   3GB
Oct 07 13:06:42 Starting translator/okasaki-examples
Oct 07 13:10:33 Finished translator/okasaki-examples                           3m50s   1GB
Oct 07 13:10:33 Starting translator/other-examples
Oct 07 13:13:56 Finished translator/other-examples                             3m23s   1GB
Oct 07 13:13:56 Starting compiler/parsing/tests
Oct 07 13:14:20 Finished compiler/parsing/tests                                  23s 554MB
Oct 07 13:14:20 Starting compiler/inference/tests
Oct 07 13:18:23 Finished compiler/inference/tests                              4m02s   3GB
Oct 07 13:18:23 Starting compiler/bootstrap/translation
Oct 07 15:40:52 Finished compiler/bootstrap/translation                     2h22m29s  41GB
Oct 07 15:40:52 Starting unverified/sexpr-bootstrap/x64/64
Oct 07 15:53:02 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   6GB
Oct 07 15:53:02 Starting unverified/sexpr-bootstrap/x64/32
Oct 07 16:01:58 Finished unverified/sexpr-bootstrap/x64/32                     8m55s   6GB
Oct 07 16:01:58 Starting compiler/benchmarks
Oct 07 16:02:04 Finished compiler/benchmarks                                      5s  34MB
Oct 07 16:02:04 Starting compiler/bootstrap/compilation/x64/64
Oct 08 03:25:52 Finished compiler/bootstrap/compilation/x64/64             11h23m46s  64GB
Oct 08 03:25:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 08 03:29:06 Finished compiler/bootstrap/compilation/x64/64/proofs          3m14s   5GB
Oct 08 03:29:06 Starting compiler/bootstrap/compilation/x64/32
Oct 08 13:41:32 Finished compiler/bootstrap/compilation/x64/32             10h12m25s  64GB
Oct 08 13:41:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 08 13:44:28 Finished compiler/bootstrap/compilation/x64/32/proofs          2m55s   4GB
Oct 08 13:44:28 Starting compiler/bootstrap/compilation/ag32/32
Oct 09 01:25:28 Finished compiler/bootstrap/compilation/ag32/32            11h40m59s  64GB
Oct 09 01:25:28 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 09 01:42:16 Finished compiler/bootstrap/compilation/ag32/32/proofs        16m47s  16GB
Oct 09 01:42:16 SUCCESS