CakeML Regression Test

Job 340

CakeML:c82c27844718f0350ccaa354f4b058add2936484
  Minimal example that fails without b737ba3 [Jun 12 09:38:09]
#492 (removeprimes)
Merging into:5dceb6a501820e2bbde4b284dcd6b9c05bb79cbd
  Update reference to HOL theories about set theory [Jun 12 15:17:22]
HOL:3ae73b8b47275b281599d2e9fac51de20e59bb24
  Fix up move of hol_sets into src: de-Unicodification; fix one ref [Jun 11 11:00:04]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux

Jun 12 17:01:00 Claimed job
Jun 12 17:01:11 Building HOL
Jun 12 17:13:39 Starting developers/bin
Jun 12 17:13:51 Finished developers/bin                                           9s 224MB
Jun 12 17:13:53 Starting semantics/ffi
Jun 12 17:14:53 Finished semantics/ffi                                           58s 363MB
Jun 12 17:14:55 Starting semantics
Jun 12 17:17:20 Finished semantics                                             2m22s   1GB
Jun 12 17:17:22 Starting semantics/proofs
Jun 12 17:20:40 Finished semantics/proofs                                      3m14s   1GB
Jun 12 17:20:42 Starting basis/pure
Jun 12 17:26:30 Finished basis/pure                                            5m46s 661MB
Jun 12 17:26:32 Starting translator
Jun 12 17:33:09 Finished translator                                            6m35s   1GB
Jun 12 17:33:11 Starting compiler/parsing
Jun 12 17:35:21 Finished compiler/parsing                                      2m08s   2GB
Jun 12 17:35:23 Starting characteristic
Jun 12 17:39:50 Finished characteristic                                        4m24s   1GB
Jun 12 17:39:52 Starting basis
Jun 12 18:08:25 Finished basis                                                28m31s   3GB
Jun 12 18:08:27 Starting translator/monadic
Jun 12 18:08:32 Finished translator/monadic                                       2s  13MB
Jun 12 18:08:34 Starting compiler/inference
Jun 12 18:11:15 Finished compiler/inference                                    2m39s   1GB
Jun 12 18:11:17 Starting compiler/backend/reg_alloc
Jun 12 18:12:15 Finished compiler/backend/reg_alloc                              55s   1GB
Jun 12 18:12:17 Starting compiler/backend/gc
Jun 12 18:27:20 Finished compiler/backend/gc                                  15m00s   3GB
Jun 12 18:27:22 Starting compiler/backend
Jun 12 18:27:27 Finished compiler/backend                                         3s  15MB
Jun 12 18:27:29 Starting compiler/encoders/asm
Jun 12 18:27:32 Finished compiler/encoders/asm                                    0s  11MB
Jun 12 18:27:34 Starting compiler/encoders/x64
Jun 12 18:29:03 Finished compiler/encoders/x64                                 1m26s 620MB
Jun 12 18:29:05 Starting compiler/encoders/arm6
Jun 12 18:32:05 Finished compiler/encoders/arm6                                2m58s   1GB
Jun 12 18:32:07 Starting compiler/encoders/arm8
Jun 12 18:32:50 Finished compiler/encoders/arm8                                  41s 380MB
Jun 12 18:32:52 Starting compiler/encoders/mips
Jun 12 18:34:30 Finished compiler/encoders/mips                                1m35s 656MB
Jun 12 18:34:32 Starting compiler/encoders/riscv
Jun 12 18:36:06 Finished compiler/encoders/riscv                               1m31s 493MB
Jun 12 18:36:08 Starting compiler/backend/x64
Jun 12 18:36:39 Finished compiler/backend/x64                                    29s 965MB
Jun 12 18:36:41 Starting compiler/backend/arm6
Jun 12 18:37:19 Finished compiler/backend/arm6                                   35s   1GB
Jun 12 18:37:21 Starting compiler/backend/arm8
Jun 12 18:37:53 Finished compiler/backend/arm8                                   30s 929MB
Jun 12 18:37:55 Starting compiler/backend/mips
Jun 12 18:38:27 Finished compiler/backend/mips                                   29s 973MB
Jun 12 18:38:29 Starting compiler/backend/riscv
Jun 12 18:39:03 Finished compiler/backend/riscv                                  31s   1GB
Jun 12 18:39:05 Starting compiler/parsing/proofs
Jun 12 18:43:14 Finished compiler/parsing/proofs                               4m07s 766MB
Jun 12 18:43:16 Starting compiler/inference/proofs
Jun 12 18:47:14 Finished compiler/inference/proofs                             3m56s   1GB
Jun 12 18:47:16 Starting compiler/backend/semantics
Jun 12 19:05:37 Finished compiler/backend/semantics                           18m18s   2GB
Jun 12 19:05:39 Starting compiler/backend/reg_alloc/proofs
Jun 12 19:07:02 Finished compiler/backend/reg_alloc/proofs                     1m21s 583MB
Jun 12 19:07:04 Starting compiler/backend/proofs
Jun 12 20:02:22 Finished compiler/backend/proofs                              55m15s   4GB
Jun 12 20:02:24 Starting compiler/encoders/x64/proofs
Jun 12 20:14:06 Finished compiler/encoders/x64/proofs                         11m39s   1GB
Jun 12 20:14:08 Starting compiler/encoders/arm6/proofs
Jun 12 20:26:21 Finished compiler/encoders/arm6/proofs                        12m10s   2GB
Jun 12 20:26:23 Starting compiler/encoders/arm8/proofs
Jun 12 20:34:43 Finished compiler/encoders/arm8/proofs                         8m16s   1GB
Jun 12 20:34:45 Starting compiler/encoders/mips/proofs
Jun 12 20:46:14 Finished compiler/encoders/mips/proofs                        11m27s   1GB
Jun 12 20:46:17 Starting compiler/encoders/riscv/proofs
Jun 12 20:58:55 Finished compiler/encoders/riscv/proofs                       12m36s 886MB
Jun 12 20:58:57 Starting compiler/backend/x64/proofs
Jun 12 20:59:33 Finished compiler/backend/x64/proofs                             33s   1GB
Jun 12 20:59:35 Starting compiler/backend/arm6/proofs
Jun 12 21:00:13 Finished compiler/backend/arm6/proofs                            36s   1GB
Jun 12 21:00:15 Starting compiler/backend/arm8/proofs
Jun 12 21:00:52 Finished compiler/backend/arm8/proofs                            34s   1GB
Jun 12 21:00:54 Starting compiler/backend/mips/proofs
Jun 12 21:01:32 Finished compiler/backend/mips/proofs                            35s   1GB
Jun 12 21:01:34 Starting compiler/backend/riscv/proofs
Jun 12 21:02:10 Finished compiler/backend/riscv/proofs                           34s   1GB
Jun 12 21:02:12 Starting compiler/proofs
Jun 12 21:04:36 Finished compiler/proofs                                       2m22s   2GB
Jun 12 21:04:38 Starting candle/set-theory
Jun 12 21:05:24 Finished candle/set-theory                                       43s 579MB
Jun 12 21:05:26 Starting candle/syntax-lib
Jun 12 21:05:45 Finished candle/syntax-lib                                       16s 588MB
Jun 12 21:05:47 Starting candle/standard/syntax
Jun 12 21:08:34 Finished candle/standard/syntax                                2m43s   1GB
Jun 12 21:08:36 Starting candle/standard/semantics
Jun 12 21:10:51 Finished candle/standard/semantics                             2m12s 873MB
Jun 12 21:10:53 Starting candle/standard/monadic
Jun 12 21:13:17 Finished candle/standard/monadic                               2m21s 956MB
Jun 12 21:13:19 Starting candle/standard/ml_kernel
Jun 12 21:23:44 Finished candle/standard/ml_kernel                            10m23s   2GB
Jun 12 21:23:46 Starting candle/standard/opentheory
Jun 12 21:24:14 Finished candle/standard/opentheory                              25s 673MB
Jun 12 21:24:15 Starting characteristic/examples
Jun 12 21:26:44 Finished characteristic/examples                               2m26s   1GB
Jun 12 21:26:46 Starting tutorial/solutions
Jun 12 22:02:19 Finished tutorial/solutions                                   35m30s  11GB
Jun 12 22:02:21 Starting translator/monadic/examples
Jun 12 22:05:15 Finished translator/monadic/examples                           2m52s   2GB
Jun 12 22:05:17 Starting examples
Jun 12 22:13:27 Finished examples                                              8m07s   2GB
Jun 12 22:13:29 Starting examples/compilation
Jun 13 03:57:23 Finished examples/compilation                               5h43m51s  16GB
Jun 13 03:57:25 Starting examples/compilation/proofs
Jun 13 04:02:50 Finished examples/compilation/proofs                           5m23s   4GB
Jun 13 04:02:52 Starting compiler/benchmarks
Jun 13 04:02:54 Finished compiler/benchmarks                                      0s   4MB
Jun 13 04:02:56 Starting translator/okasaki-examples
Jun 13 04:09:34 Finished translator/okasaki-examples                           6m35s   1GB
Jun 13 04:09:36 Starting translator/other-examples
Jun 13 04:16:08 Finished translator/other-examples                             6m29s 818MB
Jun 13 04:16:10 Starting compiler/parsing/tests
Jun 13 04:16:50 Finished compiler/parsing/tests                                  37s 323MB
Jun 13 04:16:52 Starting compiler/bootstrap/translation
Jun 13 12:23:59 Finished compiler/bootstrap/translation                     8h07m05s  54GB
Jun 13 12:24:01 Starting unverified/sexpr-bootstrap/x64/64
Jun 13 12:35:24 Finished unverified/sexpr-bootstrap/x64/64                    11m20s  16GB
Jun 13 12:35:26 Starting unverified/sexpr-bootstrap/x64/32
Jun 13 12:44:10 Finished unverified/sexpr-bootstrap/x64/32                     8m42s  10GB
Jun 13 12:44:12 Starting compiler/bootstrap/compilation/x64/64
Jun 14 15:14:29 Finished compiler/bootstrap/compilation/x64/64             26h30m14s  95GB
Jun 14 15:14:31 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 14 15:21:05 Finished compiler/bootstrap/compilation/x64/64/proofs          6m31s  27GB
Jun 14 15:21:07 Starting compiler/bootstrap/compilation/x64/32
Jun 15 17:35:53 Finished compiler/bootstrap/compilation/x64/32             26h14m43s  88GB
Jun 15 17:35:55 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 15 17:39:18 Finished compiler/bootstrap/compilation/x64/32/proofs          3m20s  27GB
Jun 15 17:39:20 SUCCESS