CakeML Regression Test

Job 343

CakeML:8b6e147506c02a0432b33e99e7f5b343b4241950
  Allow patterns in position "let val <pattern> = e ... in ... end" [Jun 14 00:51:38]
#494 (letval-pattern)
Merging into:695454dcb85a57c2dca5149cd54d25f506c3a9f6
  Minimal example that fails without b737ba3 [Jun 13 19:57:17]
HOL:b28664c3e5d88f04ce4cbf32270bcff54945bd79
  Add a selftest for the graph decompiler. [Jun 13 08:41:58]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Jun 14 12:21:26 Claimed job
Jun 14 12:21:50 Building HOL
Jun 14 12:30:37 Starting developers/bin
Jun 14 12:31:16 Finished developers/bin                                          38s 925MB
Jun 14 12:31:17 Starting semantics/ffi
Jun 14 12:31:56 Finished semantics/ffi                                           38s 416MB
Jun 14 12:31:56 Starting semantics
Jun 14 12:33:22 Finished semantics                                             1m24s 910MB
Jun 14 12:33:22 Starting semantics/proofs
Jun 14 12:35:12 Finished semantics/proofs                                      1m48s   1GB
Jun 14 12:35:12 Starting basis/pure
Jun 14 12:38:42 Finished basis/pure                                            3m29s 741MB
Jun 14 12:38:43 Starting translator
Jun 14 12:42:33 Finished translator                                            3m49s 828MB
Jun 14 12:42:34 Starting compiler/parsing
Jun 14 12:44:02 Finished compiler/parsing                                      1m27s   2GB
Jun 14 12:44:02 Starting characteristic
Jun 14 12:46:24 Finished characteristic                                        2m21s   1GB
Jun 14 12:46:25 Starting basis
Jun 14 13:03:10 Finished basis                                                16m44s   2GB
Jun 14 13:03:11 Starting translator/monadic
Jun 14 13:03:14 Finished translator/monadic                                       2s  14MB
Jun 14 13:03:14 Starting compiler/inference
Jun 14 13:04:50 Finished compiler/inference                                    1m34s 750MB
Jun 14 13:04:50 Starting compiler/backend/reg_alloc
Jun 14 13:05:24 Finished compiler/backend/reg_alloc                              32s 820MB
Jun 14 13:05:24 Starting compiler/backend/gc
Jun 14 13:14:13 Finished compiler/backend/gc                                   8m47s   3GB
Jun 14 13:14:13 Starting compiler/backend
Jun 14 13:14:17 Finished compiler/backend                                         3s  17MB
Jun 14 13:14:17 Starting compiler/encoders/asm
Jun 14 13:14:20 Finished compiler/encoders/asm                                    1s  10MB
Jun 14 13:14:20 Starting compiler/encoders/x64
Jun 14 13:15:12 Finished compiler/encoders/x64                                   51s 627MB
Jun 14 13:15:13 Starting compiler/encoders/arm6
Jun 14 13:16:55 Finished compiler/encoders/arm6                                1m42s   1GB
Jun 14 13:16:56 Starting compiler/encoders/arm8
Jun 14 13:17:22 Finished compiler/encoders/arm8                                  25s 462MB
Jun 14 13:17:23 Starting compiler/encoders/mips
Jun 14 13:18:20 Finished compiler/encoders/mips                                  56s 717MB
Jun 14 13:18:21 Starting compiler/encoders/riscv
Jun 14 13:19:23 Finished compiler/encoders/riscv                               1m01s 979MB
Jun 14 13:19:23 Starting compiler/backend/x64
Jun 14 13:19:43 Finished compiler/backend/x64                                    19s   1GB
Jun 14 13:19:44 Starting compiler/backend/arm6
Jun 14 13:20:04 Finished compiler/backend/arm6                                   19s   1GB
Jun 14 13:20:05 Starting compiler/backend/arm8
Jun 14 13:20:24 Finished compiler/backend/arm8                                   18s 977MB
Jun 14 13:20:24 Starting compiler/backend/mips
Jun 14 13:20:45 Finished compiler/backend/mips                                   19s   1GB
Jun 14 13:20:45 Starting compiler/backend/riscv
Jun 14 13:21:06 Finished compiler/backend/riscv                                  19s   1GB
Jun 14 13:21:06 Starting compiler/parsing/proofs
Jun 14 13:27:13 Finished compiler/parsing/proofs                               6m06s 789MB
Jun 14 13:27:14 Starting compiler/inference/proofs
Jun 14 13:29:33 Finished compiler/inference/proofs                             2m18s   1GB
Jun 14 13:29:34 Starting compiler/backend/semantics
Jun 14 13:40:57 Finished compiler/backend/semantics                           11m23s   2GB
Jun 14 13:40:58 Starting compiler/backend/reg_alloc/proofs
Jun 14 13:41:46 Finished compiler/backend/reg_alloc/proofs                       47s 467MB
Jun 14 13:41:47 Starting compiler/backend/proofs
Jun 14 14:17:24 Finished compiler/backend/proofs                              35m36s   4GB
Jun 14 14:17:25 Starting compiler/encoders/x64/proofs
Jun 14 14:24:35 Finished compiler/encoders/x64/proofs                          7m10s   5GB
Jun 14 14:24:36 Starting compiler/encoders/arm6/proofs
Jun 14 14:32:06 Finished compiler/encoders/arm6/proofs                         7m28s   3GB
Jun 14 14:32:06 Starting compiler/encoders/arm8/proofs
Jun 14 14:37:21 Finished compiler/encoders/arm8/proofs                         5m14s 965MB
Jun 14 14:37:22 Starting compiler/encoders/mips/proofs
Jun 14 14:44:37 Finished compiler/encoders/mips/proofs                         7m13s   2GB
Jun 14 14:44:37 Starting compiler/encoders/riscv/proofs
Jun 14 14:52:37 Finished compiler/encoders/riscv/proofs                        7m58s 645MB
Jun 14 14:52:37 Starting compiler/backend/x64/proofs
Jun 14 14:52:59 Finished compiler/backend/x64/proofs                             21s   1GB
Jun 14 14:53:00 Starting compiler/backend/arm6/proofs
Jun 14 14:53:24 Finished compiler/backend/arm6/proofs                            23s 855MB
Jun 14 14:53:24 Starting compiler/backend/arm8/proofs
Jun 14 14:53:45 Finished compiler/backend/arm8/proofs                            20s   1GB
Jun 14 14:53:46 Starting compiler/backend/mips/proofs
Jun 14 14:54:09 Finished compiler/backend/mips/proofs                            22s   1GB
Jun 14 14:54:09 Starting compiler/backend/riscv/proofs
Jun 14 14:54:31 Finished compiler/backend/riscv/proofs                           21s   1GB
Jun 14 14:54:32 Starting compiler/proofs
Jun 14 14:55:49 Finished compiler/proofs                                       1m16s   2GB
Jun 14 14:55:49 Starting candle/set-theory
Jun 14 14:56:15 Finished candle/set-theory                                       24s 564MB
Jun 14 14:56:15 Starting candle/syntax-lib
Jun 14 14:56:26 Finished candle/syntax-lib                                       10s 650MB
Jun 14 14:56:27 Starting candle/standard/syntax
Jun 14 14:58:00 Finished candle/standard/syntax                                1m32s 563MB
Jun 14 14:58:01 Starting candle/standard/semantics
Jun 14 14:59:20 Finished candle/standard/semantics                             1m18s   1GB
Jun 14 14:59:21 Starting candle/standard/monadic
Jun 14 15:00:48 Finished candle/standard/monadic                               1m25s   1GB
Jun 14 15:00:48 Starting candle/standard/ml_kernel
Jun 14 15:07:03 Finished candle/standard/ml_kernel                             6m14s   2GB
Jun 14 15:07:04 Starting candle/standard/opentheory
Jun 14 15:07:19 Finished candle/standard/opentheory                              14s 710MB
Jun 14 15:07:20 Starting characteristic/examples
Jun 14 15:08:45 Finished characteristic/examples                               1m24s   1GB
Jun 14 15:08:45 Starting tutorial/solutions
Jun 14 15:31:49 Finished tutorial/solutions                                   23m03s   8GB
Jun 14 15:31:50 Starting translator/monadic/examples
Jun 14 15:33:40 Finished translator/monadic/examples                           1m49s   2GB
Jun 14 15:33:40 Starting examples
Jun 14 15:39:08 Finished examples                                              5m27s   2GB
Jun 14 15:39:09 Starting examples/compilation
Jun 14 19:30:31 Finished examples/compilation                               3h51m20s  15GB
Jun 14 19:30:31 Starting examples/compilation/proofs
Jun 14 19:33:35 Finished examples/compilation/proofs                           3m03s   4GB
Jun 14 19:33:36 Starting compiler/benchmarks
Jun 14 19:33:37 Finished compiler/benchmarks                                      0s   5MB
Jun 14 19:33:37 Starting translator/okasaki-examples
Jun 14 19:37:09 Finished translator/okasaki-examples                           3m31s   1GB
Jun 14 19:37:10 Starting translator/other-examples
Jun 14 19:40:39 Finished translator/other-examples                             3m28s 841MB
Jun 14 19:40:39 Starting compiler/parsing/tests
Jun 14 19:41:05 Finished compiler/parsing/tests                                  25s 267MB
Jun 14 19:41:06 Starting compiler/bootstrap/translation
Jun 15 00:44:28 Finished compiler/bootstrap/translation                     5h03m21s  42GB
Jun 15 00:44:29 Starting unverified/sexpr-bootstrap/x64/64
Jun 15 00:51:23 Finished unverified/sexpr-bootstrap/x64/64                     6m53s  16GB
Jun 15 00:51:24 Starting unverified/sexpr-bootstrap/x64/32
Jun 15 00:57:03 Finished unverified/sexpr-bootstrap/x64/32                     5m38s  14GB
Jun 15 00:57:03 Starting compiler/bootstrap/compilation/x64/64
Jun 16 10:42:14 Finished compiler/bootstrap/compilation/x64/64             33h45m10s  64GB
Jun 16 10:42:15 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 16 10:45:53 Finished compiler/bootstrap/compilation/x64/64/proofs          3m37s  26GB
Jun 16 10:45:54 Starting compiler/bootstrap/compilation/x64/32
Jun 17 01:23:48 Finished compiler/bootstrap/compilation/x64/32             14h37m53s  64GB
Jun 17 01:23:48 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 17 01:26:57 Finished compiler/bootstrap/compilation/x64/32/proofs          3m07s  22GB
Jun 17 01:26:57 SUCCESS