CakeML Regression Test

Job 2306

CakeML:82012f90a7ee71dd8a07de33c92304ae526fe758
  Remove unused arg from closLang's ByteArray [Feb 10 23:41:50]
#982 (contexts)
Merging into:647a11e7fd30db7a862d9655aa3abbb231c1e199
  Fix Candle breakage caused by HOL-Theorem-Prover/HOL@d64dda1e4e [Feb 20 01:19:56]
HOL:525694a1f1c7016dea954894bea6e6e396f7d6b3
  HolSmt: add unit tests for circular definitions [Feb 21 23:04:33]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Feb 26 16:49:00 Claimed job
Feb 26 16:49:02 Reusing HOL
Feb 26 16:49:44 Starting developers
Feb 26 16:49:49 Finished developers                                               5s 121MB
Feb 26 16:49:49 Starting developers/bin
Feb 26 16:49:58 Finished developers/bin                                           8s   1GB
Feb 26 16:49:58 Starting compiler/proofs
Feb 26 16:55:12 Resuming compiler/proofs
Feb 26 18:45:31 Finished compiler/proofs                                    1h50m17s  19GB
Feb 26 18:45:31 Starting compiler/bootstrap/translation
Feb 27 02:56:26 Finished compiler/bootstrap/translation                     8h10m54s  34GB
Feb 27 02:56:26 Starting semantics/ffi
Feb 27 02:56:32 Finished semantics/ffi                                            5s 210MB
Feb 27 02:56:32 Starting semantics
Feb 27 02:56:33 Finished semantics                                                1s  20MB
Feb 27 02:56:34 Starting semantics/proofs
Feb 27 02:57:06 Finished semantics/proofs                                        32s 717MB
Feb 27 02:57:06 Starting semantics/alt_semantics
Feb 27 02:57:38 Finished semantics/alt_semantics                                 31s 672MB
Feb 27 02:57:38 Starting semantics/alt_semantics/proofs
Feb 27 03:09:32 Finished semantics/alt_semantics/proofs                       11m54s   1GB
Feb 27 03:09:32 Starting basis/pure
Feb 27 03:09:34 Finished basis/pure                                               1s  17MB
Feb 27 03:09:34 Starting translator
Feb 27 03:11:25 Finished translator                                            1m50s   1GB
Feb 27 03:11:25 Starting compiler/parsing
Feb 27 03:11:27 Finished compiler/parsing                                         1s  26MB
Feb 27 03:11:27 Starting characteristic
Feb 27 03:11:29 Finished characteristic                                           1s  22MB
Feb 27 03:11:29 Starting translator/monadic
Feb 27 03:11:31 Finished translator/monadic                                       1s  23MB
Feb 27 03:11:31 Starting basis
Feb 27 03:15:15 Finished basis                                                 3m43s   3GB
Feb 27 03:15:15 Starting compiler/inference
Feb 27 03:15:17 Finished compiler/inference                                       1s  21MB
Feb 27 03:15:17 Starting compiler/backend/reg_alloc
Feb 27 03:15:18 Finished compiler/backend/reg_alloc                               1s  23MB
Feb 27 03:15:18 Starting compiler/backend/gc
Feb 27 03:15:21 Finished compiler/backend/gc                                      2s  30MB
Feb 27 03:15:21 Starting compiler/backend
Feb 27 03:15:33 Finished compiler/backend                                        12s 823MB
Feb 27 03:15:33 Starting compiler/encoders/asm
Feb 27 03:15:35 Finished compiler/encoders/asm                                    1s  24MB
Feb 27 03:15:35 Starting compiler/encoders/x64
Feb 27 03:15:37 Finished compiler/encoders/x64                                    1s  21MB
Feb 27 03:15:37 Starting compiler/encoders/arm7
Feb 27 03:15:39 Finished compiler/encoders/arm7                                   1s  25MB
Feb 27 03:15:39 Starting compiler/encoders/arm8
Feb 27 03:15:41 Finished compiler/encoders/arm8                                   1s  28MB
Feb 27 03:15:41 Starting compiler/encoders/arm8_asl
Feb 27 03:18:55 Finished compiler/encoders/arm8_asl                            3m14s   1GB
Feb 27 03:18:55 Starting compiler/encoders/mips
Feb 27 03:18:57 Finished compiler/encoders/mips                                   1s  24MB
Feb 27 03:18:57 Starting compiler/encoders/riscv
Feb 27 03:18:59 Finished compiler/encoders/riscv                                  1s  22MB
Feb 27 03:18:59 Starting compiler/encoders/ag32
Feb 27 03:19:01 Finished compiler/encoders/ag32                                   1s  26MB
Feb 27 03:19:01 Starting compiler/backend/x64
Feb 27 03:19:03 Finished compiler/backend/x64                                     2s  24MB
Feb 27 03:19:03 Starting compiler/backend/arm7
Feb 27 03:19:06 Finished compiler/backend/arm7                                    2s  23MB
Feb 27 03:19:06 Starting compiler/backend/arm8
Feb 27 03:19:08 Finished compiler/backend/arm8                                    2s  25MB
Feb 27 03:19:08 Starting compiler/backend/mips
Feb 27 03:19:10 Finished compiler/backend/mips                                    2s  30MB
Feb 27 03:19:10 Starting compiler/backend/riscv
Feb 27 03:19:13 Finished compiler/backend/riscv                                   2s  30MB
Feb 27 03:19:13 Starting compiler/backend/ag32
Feb 27 03:20:37 Finished compiler/backend/ag32                                 1m24s   1GB
Feb 27 03:20:37 Starting compiler/parsing/proofs
Feb 27 03:20:39 Finished compiler/parsing/proofs                                  1s  19MB
Feb 27 03:20:39 Starting compiler/inference/proofs
Feb 27 03:20:41 Finished compiler/inference/proofs                                1s  20MB
Feb 27 03:20:41 Starting compiler/backend/semantics
Feb 27 03:21:55 Finished compiler/backend/semantics                            1m14s   1GB
Feb 27 03:21:55 Starting compiler/backend/reg_alloc/proofs
Feb 27 03:21:57 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
Feb 27 03:21:58 Starting compiler/backend/proofs
Feb 27 03:22:57 Finished compiler/backend/proofs                                 59s   3GB
Feb 27 03:22:57 Starting compiler/backend/serialiser
Feb 27 03:23:00 Finished compiler/backend/serialiser                              2s  29MB
Feb 27 03:23:00 Starting compiler/encoders/x64/proofs
Feb 27 03:32:46 Finished compiler/encoders/x64/proofs                          9m45s   6GB
Feb 27 03:32:46 Starting compiler/encoders/arm7/proofs
Feb 27 03:46:47 Finished compiler/encoders/arm7/proofs                        14m00s   3GB
Feb 27 03:46:47 Starting compiler/encoders/arm8/proofs
Feb 27 03:53:42 Finished compiler/encoders/arm8/proofs                         6m55s   1GB
Feb 27 03:53:42 Starting compiler/encoders/arm8_asl/proofs
Feb 27 04:09:25 Finished compiler/encoders/arm8_asl/proofs                    15m42s   2GB
Feb 27 04:09:26 Starting compiler/encoders/mips/proofs
Feb 27 04:20:08 Finished compiler/encoders/mips/proofs                        10m42s   2GB
Feb 27 04:20:08 Starting compiler/encoders/riscv/proofs
Feb 27 04:29:14 Finished compiler/encoders/riscv/proofs                        9m05s   1GB
Feb 27 04:29:14 Starting compiler/encoders/ag32/proofs
Feb 27 04:31:48 Finished compiler/encoders/ag32/proofs                         2m34s 965MB
Feb 27 04:31:48 Starting compiler/backend/x64/proofs
Feb 27 04:32:18 Finished compiler/backend/x64/proofs                             29s   2GB
Feb 27 04:32:18 Starting compiler/backend/arm7/proofs
Feb 27 04:32:50 Finished compiler/backend/arm7/proofs                            31s   1GB
Feb 27 04:32:50 Starting compiler/backend/arm8/proofs
Feb 27 04:33:20 Finished compiler/backend/arm8/proofs                            30s   2GB
Feb 27 04:33:21 Starting compiler/backend/arm8_asl
Feb 27 04:33:45 Finished compiler/backend/arm8_asl                               24s   1GB
Feb 27 04:33:45 Starting compiler/backend/mips/proofs
Feb 27 04:34:19 Finished compiler/backend/mips/proofs                            33s   2GB
Feb 27 04:34:19 Starting compiler/backend/riscv/proofs
Feb 27 04:34:54 Finished compiler/backend/riscv/proofs                           34s   2GB
Feb 27 04:34:54 Starting compiler/backend/ag32/proofs
Feb 27 04:48:43 Finished compiler/backend/ag32/proofs                         13m49s   3GB
Feb 27 04:48:43 Starting candle/set-theory
Feb 27 04:49:23 Finished candle/set-theory                                       39s   1GB
Feb 27 04:49:23 Starting candle/syntax-lib
Feb 27 04:49:24 Finished candle/syntax-lib                                        1s  20MB
Feb 27 04:49:24 Starting candle/standard/syntax
Feb 27 04:49:35 Finished candle/standard/syntax                                  10s 767MB
Feb 27 04:49:35 Starting candle/standard/semantics
Feb 27 04:51:36 Finished candle/standard/semantics                             2m00s   1GB
Feb 27 04:51:36 Starting candle/standard/monadic
Feb 27 04:51:38 Finished candle/standard/monadic                                  1s  24MB
Feb 27 04:51:38 Starting candle/standard/ml_kernel
Feb 27 04:53:17 Finished candle/standard/ml_kernel                             1m39s   2GB
Feb 27 04:53:17 Starting candle/overloading/syntax
Feb 27 04:56:39 Finished candle/overloading/syntax                             3m21s   1GB
Feb 27 04:56:39 Starting candle/overloading/semantics
Feb 27 05:09:14 Finished candle/overloading/semantics                         12m34s   3GB
Feb 27 05:09:14 Starting candle/overloading/monadic
Feb 27 05:12:00 Finished candle/overloading/monadic                            2m45s   1GB
Feb 27 05:12:00 Starting candle/overloading/ml_kernel
Feb 27 05:20:00 Finished candle/overloading/ml_kernel                          7m59s   3GB
Feb 27 05:20:00 Starting candle/overloading/ml_checker
Feb 27 05:22:34 Finished candle/overloading/ml_checker                         2m34s   2GB
Feb 27 05:22:34 Starting candle/prover
Feb 27 05:32:43 Finished candle/prover                                        10m09s   2GB
Feb 27 05:32:43 Starting pancake
Feb 27 05:33:29 Finished pancake                                                 45s 867MB
Feb 27 05:33:29 Starting pancake/ffi
Feb 27 05:33:30 Finished pancake/ffi                                              0s  13MB
Feb 27 05:33:30 Starting pancake/semantics
Feb 27 05:35:56 Finished pancake/semantics                                     2m26s   1GB
Feb 27 05:35:57 Starting pancake/parser
Feb 27 05:36:19 Finished pancake/parser                                          22s 650MB
Feb 27 05:36:19 Starting pancake/proofs
Feb 27 06:09:20 Finished pancake/proofs                                       33m01s   8GB
Feb 27 06:09:20 Starting characteristic/examples
Feb 27 06:10:56 Finished characteristic/examples                               1m35s   2GB
Feb 27 06:10:56 Starting tutorial/solutions
Feb 27 06:26:04 Finished tutorial/solutions                                   15m08s  10GB
Feb 27 06:26:04 Starting translator/monadic/examples
Feb 27 06:30:17 Finished translator/monadic/examples                           4m12s   3GB
Feb 27 06:30:17 Starting examples
Feb 27 06:46:08 Finished examples                                             15m50s   5GB
Feb 27 06:46:08 Starting examples/compilation/x64
Feb 27 08:45:18 Finished examples/compilation/x64                           1h59m09s  19GB
Feb 27 08:45:18 Starting examples/compilation/x64/proofs
Feb 27 08:47:53 Finished examples/compilation/x64/proofs                       2m34s   4GB
Feb 27 08:47:53 Starting examples/compilation/ag32 Feb 27 08:47:53 2165s