Job 1350

CakeML:85ff1d236459082c90c94fdde129f366318304e5
  riscv: Simplify/optimize FFI jumps [Sep 12 17:49:47]
#752 (rv_fixes)
Merging into:aced251f056eb8714178746a7df203a936cc6991
  Fix compiler/parsing/Holmakefile to make parsingComputeLib build [Sep 18 08:05:26]
HOL:2f42c306fae86f050b635244d83cad0953433259
  kolmogorov: work on Lbiased invariant preserved by code-tree insertion [Sep 15 05:48:51]
Machine:oven4s 5.7.19 x86_64 GNU/Linux

Sep 19 16:40:42 Claimed job
Sep 19 16:40:45 Building HOL
Sep 19 16:52:29 Starting developers
Sep 19 16:52:32 Finished developers                                               1s 158MB
Sep 19 16:52:32 Starting developers/bin
Sep 19 16:52:40 Finished developers/bin                                           7s   1GB
Sep 19 16:52:41 Starting semantics/ffi
Sep 19 16:52:49 Finished semantics/ffi                                            8s   1GB
Sep 19 16:52:50 Starting semantics
Sep 19 16:54:08 Finished semantics                                             1m18s   2GB
Sep 19 16:54:09 Starting semantics/proofs
Sep 19 16:57:09 Finished semantics/proofs                                      3m00s   2GB
Sep 19 16:57:09 Starting semantics/alt_semantics
Sep 19 16:57:16 Finished semantics/alt_semantics                                  6s   1GB
Sep 19 16:57:17 Starting semantics/alt_semantics/proofs
Sep 19 16:59:14 Finished semantics/alt_semantics/proofs                        1m57s   2GB
Sep 19 16:59:15 Starting basis/pure
Sep 19 17:01:35 Finished basis/pure                                            2m20s   2GB
Sep 19 17:01:36 Starting translator
Sep 19 17:04:00 Finished translator                                            2m24s   3GB
Sep 19 17:04:01 Starting compiler/parsing
Sep 19 17:05:05 Finished compiler/parsing                                      1m04s   3GB
Sep 19 17:05:06 Starting characteristic
Sep 19 17:10:31 Finished characteristic                                        5m24s   2GB
Sep 19 17:10:31 Starting translator/monadic
Sep 19 17:11:59 Finished translator/monadic                                    1m27s   2GB
Sep 19 17:11:59 Starting basis
Sep 19 17:45:04 Finished basis                                                33m04s  17GB
Sep 19 17:45:04 Starting compiler/inference
Sep 19 17:46:05 Finished compiler/inference                                      59s   2GB
Sep 19 17:46:05 Starting compiler/backend/reg_alloc
Sep 19 17:46:57 Finished compiler/backend/reg_alloc                              51s   2GB
Sep 19 17:46:57 Starting compiler/backend/gc
Sep 19 17:50:01 Finished compiler/backend/gc                                   3m03s   3GB
Sep 19 17:50:01 Starting compiler/backend
Sep 19 17:54:08 Finished compiler/backend                                      4m06s   4GB
Sep 19 17:54:08 Starting compiler/encoders/asm
Sep 19 17:54:29 Finished compiler/encoders/asm                                   20s   1GB
Sep 19 17:54:29 Starting compiler/encoders/x64
Sep 19 17:55:26 Finished compiler/encoders/x64                                   56s   1GB
Sep 19 17:55:26 Starting compiler/encoders/arm7
Sep 19 17:57:20 Finished compiler/encoders/arm7                                1m53s   2GB
Sep 19 17:57:20 Starting compiler/encoders/arm8
Sep 19 17:57:56 Finished compiler/encoders/arm8                                  35s   1GB
Sep 19 17:57:56 Starting compiler/encoders/mips
Sep 19 17:59:12 Finished compiler/encoders/mips                                1m15s   2GB
Sep 19 17:59:13 Starting compiler/encoders/riscv
Sep 19 18:00:35 Finished compiler/encoders/riscv                               1m21s   2GB
Sep 19 18:00:35 Starting compiler/encoders/ag32
Sep 19 18:00:51 Finished compiler/encoders/ag32                                  15s   1GB
Sep 19 18:00:52 Starting compiler/backend/x64
Sep 19 18:01:08 Finished compiler/backend/x64                                    15s   2GB
Sep 19 18:01:08 Starting compiler/backend/arm7
Sep 19 18:01:26 Finished compiler/backend/arm7                                   17s   2GB
Sep 19 18:01:26 Starting compiler/backend/arm8
Sep 19 18:01:43 Finished compiler/backend/arm8                                   16s   2GB
Sep 19 18:01:43 Starting compiler/backend/mips
Sep 19 18:02:00 Finished compiler/backend/mips                                   16s   2GB
Sep 19 18:02:01 Starting compiler/backend/riscv
Sep 19 18:02:18 Finished compiler/backend/riscv                                  17s   2GB
Sep 19 18:02:18 Starting compiler/backend/ag32
Sep 19 18:03:19 Finished compiler/backend/ag32                                   59s   2GB
Sep 19 18:03:19 Starting compiler/parsing/proofs
Sep 19 18:07:30 Finished compiler/parsing/proofs                               4m10s   2GB
Sep 19 18:07:31 Starting compiler/inference/proofs
Sep 19 18:09:37 Finished compiler/inference/proofs                             2m05s   2GB
Sep 19 18:09:37 Starting compiler/backend/semantics
Sep 19 18:33:53 Finished compiler/backend/semantics                           24m15s   2GB
Sep 19 18:33:53 Starting compiler/backend/reg_alloc/proofs
Sep 19 18:36:48 Finished compiler/backend/reg_alloc/proofs                     2m54s   2GB
Sep 19 18:36:48 Starting compiler/backend/proofs
Sep 19 19:24:09 Finished compiler/backend/proofs                              47m19s  20GB
Sep 19 19:24:09 Starting compiler/encoders/x64/proofs
Sep 19 19:33:22 Finished compiler/encoders/x64/proofs                          9m12s   4GB
Sep 19 19:33:22 Starting compiler/encoders/arm7/proofs
Sep 19 19:45:34 Finished compiler/encoders/arm7/proofs                        12m11s   5GB
Sep 19 19:45:34 Starting compiler/encoders/arm8/proofs
Sep 19 19:51:42 Finished compiler/encoders/arm8/proofs                         6m07s   2GB
Sep 19 19:51:43 Starting compiler/encoders/mips/proofs
Sep 19 20:01:23 Finished compiler/encoders/mips/proofs                         9m39s   2GB
Sep 19 20:01:23 Starting compiler/encoders/riscv/proofs
Sep 19 20:09:27 Finished compiler/encoders/riscv/proofs                        8m02s   2GB
Sep 19 20:09:27 Starting compiler/encoders/ag32/proofs
Sep 19 20:11:42 Finished compiler/encoders/ag32/proofs                         2m14s   2GB
Sep 19 20:11:43 Starting compiler/backend/x64/proofs
Sep 19 20:12:02 Finished compiler/backend/x64/proofs                             18s   2GB
Sep 19 20:12:02 Starting compiler/backend/arm7/proofs
Sep 19 20:12:23 Finished compiler/backend/arm7/proofs                            20s   2GB
Sep 19 20:12:23 Starting compiler/backend/arm8/proofs
Sep 19 20:12:42 Finished compiler/backend/arm8/proofs                            17s   2GB
Sep 19 20:12:42 Starting compiler/backend/mips/proofs
Sep 19 20:13:02 Finished compiler/backend/mips/proofs                            19s   2GB
Sep 19 20:13:02 Starting compiler/backend/riscv/proofs
Sep 19 20:13:22 Finished compiler/backend/riscv/proofs                           19s   2GB
Sep 19 20:13:22 Starting compiler/backend/ag32/proofs
Sep 19 20:25:29 Finished compiler/backend/ag32/proofs                         12m06s  11GB
Sep 19 20:25:29 Starting compiler/proofs
Sep 19 20:27:09 Finished compiler/proofs                                       1m39s   3GB
Sep 19 20:27:10 Starting candle/set-theory
Sep 19 20:27:34 Finished candle/set-theory                                       23s   1GB
Sep 19 20:27:34 Starting candle/syntax-lib
Sep 19 20:27:44 Finished candle/syntax-lib                                        9s   1GB
Sep 19 20:27:45 Starting candle/standard/syntax
Sep 19 20:29:21 Finished candle/standard/syntax                                1m36s   2GB
Sep 19 20:29:22 Starting candle/standard/semantics
Sep 19 20:30:58 Finished candle/standard/semantics                             1m36s   3GB
Sep 19 20:30:58 Starting candle/standard/monadic
Sep 19 20:32:27 Finished candle/standard/monadic                               1m27s   2GB
Sep 19 20:32:27 Starting candle/standard/ml_kernel
Sep 19 20:37:24 Finished candle/standard/ml_kernel                             4m56s   6GB
Sep 19 20:37:25 Starting candle/overloading/syntax
Sep 19 20:40:06 Finished candle/overloading/syntax                             2m40s   2GB
Sep 19 20:40:06 Starting candle/overloading/semantics
Sep 19 20:51:02 Finished candle/overloading/semantics                         10m55s   4GB
Sep 19 20:51:02 Starting characteristic/examples
Sep 19 20:52:25 Finished characteristic/examples                               1m22s   6GB
Sep 19 20:52:25 Starting tutorial/solutions
Sep 19 22:51:45 Finished tutorial/solutions                                 1h59m19s  85GB
Sep 19 22:51:45 Starting translator/monadic/examples
Sep 19 22:54:27 Finished translator/monadic/examples                           2m41s   2GB
Sep 19 22:54:27 Starting examples
Sep 19 23:02:39 Finished examples                                              8m11s  10GB
Sep 19 23:02:39 Starting examples/compilation/x64 Sep 19 23:02:39 578s