Job 308

CakeML:a1bd1344c788191d0c74f4bc314ab3b8e0f4b4c0
  Fix bvl_const translation [Apr 30 13:46:06]
#485 (better-constant-folding)
Merging into:a2189a6940aa40c618029d8663874246e88029d1
  Merge pull request #482 from zapashcanon/pp [Apr 23 05:19:11]
HOL:1026e4d1fcaf267cf1ba69ffb18c9d0f7e5bdbe5
  Fix docs about quoting things with ^ in the lexer [Apr 30 05:24:19]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Apr 30 13:48:47 Claimed job
Apr 30 13:48:55 Building HOL
Apr 30 13:57:05 Starting developers/bin
Apr 30 13:57:44 Finished developers/bin                                          38s 923MB
Apr 30 13:57:44 Starting semantics/ffi
Apr 30 13:58:23 Finished semantics/ffi                                           38s 449MB
Apr 30 13:58:24 Starting semantics
Apr 30 13:59:47 Finished semantics                                             1m22s 917MB
Apr 30 13:59:48 Starting semantics/proofs
Apr 30 14:01:36 Finished semantics/proofs                                      1m47s   1GB
Apr 30 14:01:37 Starting basis/pure
Apr 30 14:05:05 Finished basis/pure                                            3m28s 716MB
Apr 30 14:05:06 Starting translator
Apr 30 14:08:54 Finished translator                                            3m47s   1GB
Apr 30 14:08:55 Starting compiler/parsing
Apr 30 14:10:22 Finished compiler/parsing                                      1m26s   1GB
Apr 30 14:10:23 Starting characteristic
Apr 30 14:12:44 Finished characteristic                                        2m20s   1GB
Apr 30 14:12:45 Starting basis
Apr 30 14:29:34 Finished basis                                                16m49s   3GB
Apr 30 14:29:35 Starting translator/monadic
Apr 30 14:29:37 Finished translator/monadic                                       1s  14MB
Apr 30 14:29:38 Starting compiler/inference
Apr 30 14:31:11 Finished compiler/inference                                    1m32s   1GB
Apr 30 14:31:12 Starting compiler/backend/reg_alloc
Apr 30 14:31:38 Finished compiler/backend/reg_alloc                              25s 692MB
Apr 30 14:31:38 Starting compiler/backend/gc
Apr 30 14:40:24 Finished compiler/backend/gc                                   8m44s   3GB
Apr 30 14:40:24 Starting compiler/backend
Apr 30 14:40:27 Finished compiler/backend                                         2s  18MB
Apr 30 14:40:28 Starting compiler/encoders/asm
Apr 30 14:40:30 Finished compiler/encoders/asm                                    0s  10MB
Apr 30 14:40:30 Starting compiler/encoders/x64
Apr 30 14:41:21 Finished compiler/encoders/x64                                   49s 590MB
Apr 30 14:41:21 Starting compiler/encoders/arm6
Apr 30 14:43:03 Finished compiler/encoders/arm6                                1m41s   1GB
Apr 30 14:43:04 Starting compiler/encoders/arm8
Apr 30 14:43:30 Finished compiler/encoders/arm8                                  25s 499MB
Apr 30 14:43:30 Starting compiler/encoders/mips
Apr 30 14:44:28 Finished compiler/encoders/mips                                  56s 839MB
Apr 30 14:44:28 Starting compiler/encoders/riscv
Apr 30 14:45:29 Finished compiler/encoders/riscv                               1m00s 704MB
Apr 30 14:45:30 Starting compiler/backend/x64
Apr 30 14:45:47 Finished compiler/backend/x64                                    16s   1GB
Apr 30 14:45:47 Starting compiler/backend/arm6
Apr 30 14:46:08 Finished compiler/backend/arm6                                   19s   1GB
Apr 30 14:46:08 Starting compiler/backend/arm8
Apr 30 14:46:28 Finished compiler/backend/arm8                                   18s   1GB
Apr 30 14:46:28 Starting compiler/backend/mips
Apr 30 14:46:47 Finished compiler/backend/mips                                   18s   1GB
Apr 30 14:46:48 Starting compiler/backend/riscv
Apr 30 14:47:07 Finished compiler/backend/riscv                                  18s   1GB
Apr 30 14:47:08 Starting compiler/parsing/proofs
Apr 30 14:53:13 Finished compiler/parsing/proofs                               6m04s 797MB
Apr 30 14:53:14 Starting compiler/inference/proofs
Apr 30 14:55:32 Finished compiler/inference/proofs                             2m18s   1GB
Apr 30 14:55:33 Starting compiler/backend/semantics
Apr 30 15:06:53 Finished compiler/backend/semantics                           11m19s   2GB
Apr 30 15:06:53 Starting compiler/backend/reg_alloc/proofs
Apr 30 15:07:32 Finished compiler/backend/reg_alloc/proofs                       37s 486MB
Apr 30 15:07:32 Starting compiler/backend/proofs
Apr 30 15:43:13 Finished compiler/backend/proofs                              35m40s   4GB
Apr 30 15:43:14 Starting compiler/encoders/x64/proofs
Apr 30 15:50:36 Finished compiler/encoders/x64/proofs                          7m21s   4GB
Apr 30 15:50:37 Starting compiler/encoders/arm6/proofs
Apr 30 15:58:05 Finished compiler/encoders/arm6/proofs                         7m27s   2GB
Apr 30 15:58:06 Starting compiler/encoders/arm8/proofs
Apr 30 16:03:29 Finished compiler/encoders/arm8/proofs                         5m22s   1GB
Apr 30 16:03:30 Starting compiler/encoders/mips/proofs
Apr 30 16:10:49 Finished compiler/encoders/mips/proofs                         7m18s   2GB
Apr 30 16:10:49 Starting compiler/encoders/riscv/proofs
Apr 30 16:18:52 Finished compiler/encoders/riscv/proofs                        8m01s 835MB
Apr 30 16:18:52 Starting compiler/backend/x64/proofs
Apr 30 16:19:13 Finished compiler/backend/x64/proofs                             19s   1GB
Apr 30 16:19:14 Starting compiler/backend/arm6/proofs
Apr 30 16:19:36 Finished compiler/backend/arm6/proofs                            22s   1GB
Apr 30 16:19:37 Starting compiler/backend/arm8/proofs
Apr 30 16:19:59 Finished compiler/backend/arm8/proofs                            21s   1GB
Apr 30 16:20:00 Starting compiler/backend/mips/proofs
Apr 30 16:20:22 Finished compiler/backend/mips/proofs                            21s   1GB
Apr 30 16:20:22 Starting compiler/backend/riscv/proofs
Apr 30 16:20:44 Finished compiler/backend/riscv/proofs                           20s   1GB
Apr 30 16:20:44 Starting compiler/proofs
Apr 30 16:21:58 Finished compiler/proofs                                       1m13s   2GB
Apr 30 16:21:59 Starting candle/set-theory
Apr 30 16:22:54 Finished candle/set-theory                                       55s 590MB
Apr 30 16:22:55 Starting candle/syntax-lib
Apr 30 16:23:06 Finished candle/syntax-lib                                        9s 502MB
Apr 30 16:23:06 Starting candle/standard/syntax
Apr 30 16:24:40 Finished candle/standard/syntax                                1m32s 644MB
Apr 30 16:24:40 Starting candle/standard/semantics
Apr 30 16:25:59 Finished candle/standard/semantics                             1m18s 932MB
Apr 30 16:26:00 Starting candle/standard/monadic
Apr 30 16:27:25 Finished candle/standard/monadic                               1m24s 946MB
Apr 30 16:27:26 Starting candle/standard/ml_kernel
Apr 30 16:33:41 Finished candle/standard/ml_kernel                             6m14s   2GB
Apr 30 16:33:41 Starting candle/standard/opentheory
Apr 30 16:33:57 Finished candle/standard/opentheory                              14s 575MB
Apr 30 16:33:58 Starting characteristic/examples
Apr 30 16:35:23 Finished characteristic/examples                               1m25s   1GB
Apr 30 16:35:24 Starting tutorial/solutions
Apr 30 16:58:48 Finished tutorial/solutions                                   23m23s   9GB
Apr 30 16:58:49 Starting translator/monadic/examples
Apr 30 17:00:40 Finished translator/monadic/examples                           1m50s   3GB
Apr 30 17:00:41 Starting examples
Apr 30 17:06:11 Finished examples                                              5m29s   2GB
Apr 30 17:06:11 Starting examples/compilation
Apr 30 21:04:51 Finished examples/compilation                               3h58m38s  18GB
Apr 30 21:04:51 Starting examples/compilation/proofs
Apr 30 21:08:10 Finished examples/compilation/proofs                           3m17s   6GB
Apr 30 21:08:10 Starting compiler/benchmarks
Apr 30 21:08:11 Finished compiler/benchmarks                                      0s   4MB
Apr 30 21:08:12 Starting translator/okasaki-examples
Apr 30 21:11:44 Finished translator/okasaki-examples                           3m31s   1GB
Apr 30 21:11:45 Starting translator/other-examples
Apr 30 21:15:15 Finished translator/other-examples                             3m29s   1GB
Apr 30 21:15:16 Starting compiler/parsing/tests
Apr 30 21:15:39 Finished compiler/parsing/tests                                  22s 351MB
Apr 30 21:15:40 Starting compiler/bootstrap/translation
May 01 02:11:12 Finished compiler/bootstrap/translation                     4h55m30s  50GB
May 01 02:11:13 Starting unverified/sexpr-bootstrap/x64/64
May 01 02:16:59 Finished unverified/sexpr-bootstrap/x64/64                     5m44s  16GB
May 01 02:17:00 Starting unverified/sexpr-bootstrap/x64/32
May 01 02:21:48 Finished unverified/sexpr-bootstrap/x64/32                     4m46s  12GB
May 01 02:21:48 Starting compiler/bootstrap/compilation/x64/64
May 02 07:29:46 Finished compiler/bootstrap/compilation/x64/64             29h07m56s  65GB
May 02 07:29:47 Starting compiler/bootstrap/compilation/x64/64/proofs
May 02 07:33:37 Finished compiler/bootstrap/compilation/x64/64/proofs          3m49s  28GB
May 02 07:33:38 Starting compiler/bootstrap/compilation/x64/32
May 02 21:48:13 Finished compiler/bootstrap/compilation/x64/32             14h14m33s  64GB
May 02 21:48:14 Starting compiler/bootstrap/compilation/x64/32/proofs
May 02 21:52:19 Finished compiler/bootstrap/compilation/x64/32/proofs          4m04s  24GB
May 02 21:52:19 SUCCESS