Job 109

CakeML:4685d0cf5c14cc61e279f3477ba61591b62620d5
  Fix RELOC_FIX for addancs construction so that set_mtime is called [Dec 23 09:09:43]
HOL:17dce4e3a0065d55ecb638375ec7790674a33b73
  Prove more theorems about real_of_int connection [Dec 23 08:55:23]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Dec 23 16:48:56 Claimed job
Dec 23 16:49:05 Building HOL
Dec 23 17:02:22 Starting semantics/ffi
Dec 23 17:03:36 Finished semantics/ffi                                         1m10s 362MB
Dec 23 17:03:37 Starting semantics
Dec 23 17:06:25 Finished semantics                                             2m45s   1GB
Dec 23 17:06:27 Starting semantics/proofs
Dec 23 17:10:08 Finished semantics/proofs                                      3m38s   1GB
Dec 23 17:10:10 Starting basis/pure
Dec 23 17:16:26 Finished basis/pure                                            6m14s 651MB
Dec 23 17:16:28 Starting translator
Dec 23 17:24:08 Finished translator                                            7m38s   1GB
Dec 23 17:24:10 Starting compiler/parsing
Dec 23 17:26:54 Finished compiler/parsing                                      2m41s   1GB
Dec 23 17:26:56 Starting characteristic
Dec 23 17:32:09 Finished characteristic                                        5m11s   1GB
Dec 23 17:32:11 Starting basis
Dec 23 18:03:02 Finished basis                                                30m48s   2GB
Dec 23 18:03:04 Starting translator/monadic
Dec 23 18:06:50 Finished translator/monadic                                    3m44s   1GB
Dec 23 18:06:53 Starting compiler/inference
Dec 23 18:10:02 Finished compiler/inference                                    3m07s   1GB
Dec 23 18:10:04 Starting compiler/backend/reg_alloc
Dec 23 18:10:59 Finished compiler/backend/reg_alloc                              53s 949MB
Dec 23 18:11:01 Starting compiler/backend/gc
Dec 23 18:28:48 Finished compiler/backend/gc                                  17m44s   2GB
Dec 23 18:28:50 Starting compiler/backend
Dec 23 18:28:54 Finished compiler/backend                                         1s  16MB
Dec 23 18:28:56 Starting compiler/encoders/asm
Dec 23 18:28:58 Finished compiler/encoders/asm                                    0s  11MB
Dec 23 18:29:00 Starting compiler/encoders/x64
Dec 23 18:30:19 Finished compiler/encoders/x64                                 1m16s 416MB
Dec 23 18:30:21 Starting compiler/encoders/arm6
Dec 23 18:33:42 Finished compiler/encoders/arm6                                3m18s   1GB
Dec 23 18:33:44 Starting compiler/encoders/arm8
Dec 23 18:34:35 Finished compiler/encoders/arm8                                  49s 393MB
Dec 23 18:34:37 Starting compiler/encoders/mips
Dec 23 18:36:13 Finished compiler/encoders/mips                                1m33s 780MB
Dec 23 18:36:15 Starting compiler/encoders/riscv
Dec 23 18:38:00 Finished compiler/encoders/riscv                               1m43s 504MB
Dec 23 18:38:02 Starting compiler/backend/x64
Dec 23 18:38:52 Finished compiler/backend/x64                                    47s   1GB
Dec 23 18:38:54 Starting compiler/backend/arm6
Dec 23 18:39:48 Finished compiler/backend/arm6                                   52s   1GB
Dec 23 18:39:50 Starting compiler/backend/arm8
Dec 23 18:40:37 Finished compiler/backend/arm8                                   44s 973MB
Dec 23 18:40:39 Starting compiler/backend/mips
Dec 23 18:41:26 Finished compiler/backend/mips                                   45s 935MB
Dec 23 18:41:28 Starting compiler/backend/riscv
Dec 23 18:42:19 Finished compiler/backend/riscv                                  49s   1GB
Dec 23 18:42:21 Starting compiler/parsing/proofs
Dec 23 18:47:41 Finished compiler/parsing/proofs                               5m17s 672MB
Dec 23 18:47:43 Starting compiler/inference/proofs
Dec 23 18:52:27 Finished compiler/inference/proofs                             4m42s   1GB
Dec 23 18:52:29 Starting compiler/backend/semantics
Dec 23 19:13:18 Finished compiler/backend/semantics                           20m46s   3GB
Dec 23 19:13:20 Starting compiler/backend/reg_alloc/proofs
Dec 23 19:14:42 Finished compiler/backend/reg_alloc/proofs                     1m20s 421MB
Dec 23 19:14:44 Starting compiler/backend/proofs
Dec 23 20:30:24 Finished compiler/backend/proofs                            1h15m38s   4GB
Dec 23 20:30:26 Starting compiler/encoders/x64/proofs
Dec 23 20:42:55 Finished compiler/encoders/x64/proofs                         12m26s   1GB
Dec 23 20:42:57 Starting compiler/encoders/arm6/proofs
Dec 23 20:58:07 Finished compiler/encoders/arm6/proofs                        15m07s   3GB
Dec 23 20:58:09 Starting compiler/encoders/arm8/proofs
Dec 23 21:08:18 Finished compiler/encoders/arm8/proofs                        10m07s   1GB
Dec 23 21:08:20 Starting compiler/encoders/mips/proofs
Dec 23 21:22:53 Finished compiler/encoders/mips/proofs                        14m30s   1GB
Dec 23 21:22:55 Starting compiler/encoders/riscv/proofs
Dec 23 21:38:07 Finished compiler/encoders/riscv/proofs                       15m09s 945MB
Dec 23 21:38:09 Starting compiler/backend/x64/proofs
Dec 23 21:39:06 Finished compiler/backend/x64/proofs                             55s   1GB
Dec 23 21:39:08 Starting compiler/backend/arm6/proofs
Dec 23 21:40:11 Finished compiler/backend/arm6/proofs                          1m01s   1GB
Dec 23 21:40:13 Starting compiler/backend/arm8/proofs
Dec 23 21:41:09 Finished compiler/backend/arm8/proofs                            54s   1GB
Dec 23 21:41:11 Starting compiler/backend/mips/proofs
Dec 23 21:42:10 Finished compiler/backend/mips/proofs                            57s   1GB
Dec 23 21:42:12 Starting compiler/backend/riscv/proofs
Dec 23 21:43:09 Finished compiler/backend/riscv/proofs                           55s   1GB
Dec 23 21:43:11 Starting compiler/proofs
Dec 23 21:45:55 Finished compiler/proofs                                       2m41s   1GB
Dec 23 21:45:57 Starting candle/set-theory
Dec 23 21:47:46 Finished candle/set-theory                                     1m46s 557MB
Dec 23 21:47:48 Starting candle/syntax-lib
Dec 23 21:48:09 Finished candle/syntax-lib                                       19s 418MB
Dec 23 21:48:11 Starting candle/standard/syntax
Dec 23 21:51:22 Finished candle/standard/syntax                                3m08s 720MB
Dec 23 21:51:23 Starting candle/standard/semantics
Dec 23 21:54:02 Finished candle/standard/semantics                             2m36s 757MB
Dec 23 21:54:04 Starting candle/standard/monadic
Dec 23 21:56:57 Finished candle/standard/monadic                               2m51s   1GB
Dec 23 21:56:59 Starting candle/standard/ml_kernel
Dec 23 22:09:03 Finished candle/standard/ml_kernel                            12m01s   2GB
Dec 23 22:09:05 Starting candle/standard/opentheory
Dec 23 22:09:39 Finished candle/standard/opentheory                              31s 879MB
Dec 23 22:09:41 Starting characteristic/examples
Dec 23 22:12:09 Finished characteristic/examples                               2m26s   1GB
Dec 23 22:12:11 Starting tutorial/solutions
Dec 23 22:47:06 Finished tutorial/solutions                                   34m52s   8GB
Dec 23 22:47:08 Starting examples
Dec 23 22:55:23 Finished examples                                              8m12s   2GB
Dec 23 22:55:25 Starting examples/compilation
Dec 24 03:57:02 Finished examples/compilation                               5h01m34s  12GB
Dec 24 03:57:04 Starting examples/compilation/proofs
Dec 24 04:03:00 Finished examples/compilation/proofs                           5m54s   4GB
Dec 24 04:03:02 Starting compiler/benchmarks
Dec 24 04:03:04 Finished compiler/benchmarks                                      0s   4MB
Dec 24 04:03:06 Starting translator/okasaki-examples
Dec 24 04:11:01 Finished translator/okasaki-examples                           7m52s   1GB
Dec 24 04:11:03 Starting translator/other-examples
Dec 24 04:18:17 Finished translator/other-examples                             7m11s 920MB
Dec 24 04:18:19 Starting compiler/parsing/tests
Dec 24 04:19:02 Finished compiler/parsing/tests                                  40s 389MB
Dec 24 04:19:04 Starting compiler/bootstrap/translation
Dec 24 12:49:21 Finished compiler/bootstrap/translation                     8h30m14s  36GB
Dec 24 12:49:23 Starting compiler/bootstrap/compilation/x64/64
Dec 25 10:01:41 Finished compiler/bootstrap/compilation/x64/64             21h12m16s  82GB
Dec 25 10:01:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 25 10:05:05 Finished compiler/bootstrap/compilation/x64/64/proofs          3m19s  28GB
Dec 25 10:05:07 Starting compiler/bootstrap/compilation/x64/32
Dec 26 06:00:30 Finished compiler/bootstrap/compilation/x64/32             19h55m21s  83GB
Dec 26 06:00:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 26 06:03:50 Finished compiler/bootstrap/compilation/x64/32/proofs          3m15s  24GB
Dec 26 06:03:52 SUCCESS