CakeML Regression Test

Job 1348

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 00:54:09 Claimed job
Sep 19 00:54:13 Building HOL
Sep 19 01:05:44 Starting developers
Sep 19 01:05:46 Finished developers                                               1s 146MB
Sep 19 01:05:47 Starting developers/bin
Sep 19 01:05:55 Finished developers/bin                                           7s   1GB
Sep 19 01:05:55 Starting semantics/ffi
Sep 19 01:06:04 Finished semantics/ffi                                            8s   1GB
Sep 19 01:06:04 Starting semantics
Sep 19 01:07:23 Finished semantics                                             1m18s   2GB
Sep 19 01:07:23 Starting semantics/proofs
Sep 19 01:10:23 Finished semantics/proofs                                      2m59s   2GB
Sep 19 01:10:23 Starting semantics/alt_semantics
Sep 19 01:10:30 Finished semantics/alt_semantics                                  6s   1GB
Sep 19 01:10:31 Starting semantics/alt_semantics/proofs
Sep 19 01:12:29 Finished semantics/alt_semantics/proofs                        1m57s   2GB
Sep 19 01:12:29 Starting basis/pure
Sep 19 01:14:51 Finished basis/pure                                            2m21s   2GB
Sep 19 01:14:52 Starting translator
Sep 19 01:17:14 Finished translator                                            2m21s   3GB
Sep 19 01:17:14 Starting compiler/parsing
Sep 19 01:18:17 Finished compiler/parsing                                      1m02s   3GB
Sep 19 01:18:18 Starting characteristic
Sep 19 01:23:38 Finished characteristic                                        5m19s   3GB
Sep 19 01:23:38 Starting translator/monadic
Sep 19 01:25:07 Finished translator/monadic                                    1m28s   2GB
Sep 19 01:25:07 Starting basis
Sep 19 01:58:40 Finished basis                                                33m32s  20GB
Sep 19 01:58:40 Starting compiler/inference
Sep 19 01:59:41 Finished compiler/inference                                    1m00s   2GB
Sep 19 01:59:41 Starting compiler/backend/reg_alloc
Sep 19 02:00:33 Finished compiler/backend/reg_alloc                              52s   2GB
Sep 19 02:00:34 Starting compiler/backend/gc
Sep 19 02:03:43 Finished compiler/backend/gc                                   3m08s   3GB
Sep 19 02:03:43 Starting compiler/backend
Sep 19 02:07:55 Finished compiler/backend                                      4m11s   4GB
Sep 19 02:07:55 Starting compiler/encoders/asm
Sep 19 02:08:15 Finished compiler/encoders/asm                                   19s   2GB
Sep 19 02:08:15 Starting compiler/encoders/x64
Sep 19 02:09:12 Finished compiler/encoders/x64                                   55s   1GB
Sep 19 02:09:12 Starting compiler/encoders/arm7
Sep 19 02:11:06 Finished compiler/encoders/arm7                                1m53s   2GB
Sep 19 02:11:06 Starting compiler/encoders/arm8
Sep 19 02:11:42 Finished compiler/encoders/arm8                                  35s   1GB
Sep 19 02:11:42 Starting compiler/encoders/mips
Sep 19 02:12:59 Finished compiler/encoders/mips                                1m15s   2GB
Sep 19 02:12:59 Starting compiler/encoders/riscv
Sep 19 02:14:23 Finished compiler/encoders/riscv                               1m23s   2GB
Sep 19 02:14:24 Starting compiler/encoders/ag32
Sep 19 02:14:40 Finished compiler/encoders/ag32                                  15s   1GB
Sep 19 02:14:40 Starting compiler/backend/x64
Sep 19 02:14:56 Finished compiler/backend/x64                                    16s   2GB
Sep 19 02:14:57 Starting compiler/backend/arm7
Sep 19 02:15:15 Finished compiler/backend/arm7                                   17s   2GB
Sep 19 02:15:15 Starting compiler/backend/arm8
Sep 19 02:15:32 Finished compiler/backend/arm8                                   15s   2GB
Sep 19 02:15:32 Starting compiler/backend/mips
Sep 19 02:15:49 Finished compiler/backend/mips                                   16s   2GB
Sep 19 02:15:49 Starting compiler/backend/riscv
Sep 19 02:16:07 Finished compiler/backend/riscv                                  17s   2GB
Sep 19 02:16:08 Starting compiler/backend/ag32
Sep 19 02:17:08 Finished compiler/backend/ag32                                 1m00s   2GB
Sep 19 02:17:08 Starting compiler/parsing/proofs
Sep 19 02:21:21 Finished compiler/parsing/proofs                               4m12s   2GB
Sep 19 02:21:21 Starting compiler/inference/proofs
Sep 19 02:23:29 Finished compiler/inference/proofs                             2m07s   2GB
Sep 19 02:23:29 Starting compiler/backend/semantics
Sep 19 02:47:25 Finished compiler/backend/semantics                           23m55s   3GB
Sep 19 02:47:25 Starting compiler/backend/reg_alloc/proofs
Sep 19 02:50:21 Finished compiler/backend/reg_alloc/proofs                     2m54s   2GB
Sep 19 02:50:21 Starting compiler/backend/proofs
Sep 19 03:37:39 Finished compiler/backend/proofs                              47m17s  18GB
Sep 19 03:37:40 Starting compiler/encoders/x64/proofs
Sep 19 03:46:40 Finished compiler/encoders/x64/proofs                          8m59s   4GB
Sep 19 03:46:40 Starting compiler/encoders/arm7/proofs
Sep 19 03:58:46 Finished compiler/encoders/arm7/proofs                        12m03s   5GB
Sep 19 03:58:46 Starting compiler/encoders/arm8/proofs
Sep 19 04:04:55 Finished compiler/encoders/arm8/proofs                         6m08s   2GB
Sep 19 04:04:56 Starting compiler/encoders/mips/proofs
Sep 19 04:14:23 Finished compiler/encoders/mips/proofs                         9m26s   2GB
Sep 19 04:14:24 Starting compiler/encoders/riscv/proofs
Sep 19 04:22:25 Finished compiler/encoders/riscv/proofs                        8m01s   2GB
Sep 19 04:22:26 Starting compiler/encoders/ag32/proofs
Sep 19 04:24:40 Finished compiler/encoders/ag32/proofs                         2m14s   2GB
Sep 19 04:24:40 Starting compiler/backend/x64/proofs
Sep 19 04:25:00 Finished compiler/backend/x64/proofs                             18s   2GB
Sep 19 04:25:00 Starting compiler/backend/arm7/proofs
Sep 19 04:25:20 Finished compiler/backend/arm7/proofs                            19s   2GB
Sep 19 04:25:20 Starting compiler/backend/arm8/proofs
Sep 19 04:25:39 Finished compiler/backend/arm8/proofs                            17s   2GB
Sep 19 04:25:39 Starting compiler/backend/mips/proofs
Sep 19 04:26:00 Finished compiler/backend/mips/proofs                            20s   2GB
Sep 19 04:26:00 Starting compiler/backend/riscv/proofs
Sep 19 04:26:20 Finished compiler/backend/riscv/proofs                           19s   2GB
Sep 19 04:26:21 Starting compiler/backend/ag32/proofs
Sep 19 04:38:51 Finished compiler/backend/ag32/proofs                         12m30s  11GB
Sep 19 04:38:51 Starting compiler/proofs
Sep 19 04:40:32 Finished compiler/proofs                                       1m40s   3GB
Sep 19 04:40:32 Starting candle/set-theory
Sep 19 04:40:57 Finished candle/set-theory                                       24s   1GB
Sep 19 04:40:57 Starting candle/syntax-lib
Sep 19 04:41:07 Finished candle/syntax-lib                                        9s   1GB
Sep 19 04:41:08 Starting candle/standard/syntax
Sep 19 04:42:45 Finished candle/standard/syntax                                1m36s   2GB
Sep 19 04:42:45 Starting candle/standard/semantics
Sep 19 04:44:21 Finished candle/standard/semantics                             1m35s   2GB
Sep 19 04:44:21 Starting candle/standard/monadic
Sep 19 04:45:49 Finished candle/standard/monadic                               1m27s   2GB
Sep 19 04:45:49 Starting candle/standard/ml_kernel
Sep 19 04:50:42 Finished candle/standard/ml_kernel                             4m52s   6GB
Sep 19 04:50:42 Starting candle/overloading/syntax
Sep 19 04:53:23 Finished candle/overloading/syntax                             2m39s   2GB
Sep 19 04:53:23 Starting candle/overloading/semantics
Sep 19 05:04:18 Finished candle/overloading/semantics                         10m54s   5GB
Sep 19 05:04:19 Starting characteristic/examples
Sep 19 05:05:39 Finished characteristic/examples                               1m19s   6GB
Sep 19 05:05:40 Starting tutorial/solutions
Sep 19 07:05:27 Finished tutorial/solutions                                 1h59m45s  85GB
Sep 19 07:05:28 Starting translator/monadic/examples
Sep 19 07:08:07 Finished translator/monadic/examples                           2m39s   4GB
Sep 19 07:08:08 Starting examples
Sep 19 07:16:21 Finished examples                                              8m12s  12GB
Sep 19 07:16:22 Starting examples/compilation/x64 Sep 19 07:16:22 577s