CakeML Regression Test

Job 479

CakeML:ba6cd57cd66a00ef98c1c6f06bbeb9e6e760f1c9
  Use Git's -C option [Sep 12 09:51:12]
#524 (build-info)
Merging into:66a35311787bb43f72e8e758209a4745f288cdfe
  Fix a bug in PrettyPrinter.fromWord64 [Sep 12 17:03:31]
HOL:7323105f50960bdec1b33c513576e5d1d313b62f
  Document match_term when vars with same names have different types [Sep 12 05:39:17]
Machine:oven1 (2) 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Sep 13 05:00:33 Claimed job
Sep 13 05:01:18 Building HOL
Sep 13 05:10:36 Starting developers/bin
Sep 13 05:11:13 Finished developers/bin                                          35s 912MB
Sep 13 05:11:13 Starting semantics/ffi
Sep 13 05:11:53 Finished semantics/ffi                                           39s 316MB
Sep 13 05:11:54 Starting semantics
Sep 13 05:13:18 Finished semantics                                             1m23s 775MB
Sep 13 05:13:19 Starting semantics/proofs
Sep 13 05:16:00 Finished semantics/proofs                                      2m40s   1GB
Sep 13 05:16:01 Starting basis/pure
Sep 13 05:19:31 Finished basis/pure                                            3m29s 643MB
Sep 13 05:19:32 Starting translator
Sep 13 05:20:38 Finished translator                                            1m05s 916MB
Sep 13 05:20:39 Starting compiler/parsing
Sep 13 05:22:12 Finished compiler/parsing                                      1m32s   1GB
Sep 13 05:22:13 Starting characteristic
Sep 13 05:24:40 Finished characteristic                                        2m26s   1GB
Sep 13 05:24:41 Starting translator/monadic
Sep 13 05:26:07 Finished translator/monadic                                    1m25s   1GB
Sep 13 05:26:08 Starting basis
Sep 13 05:42:41 Finished basis                                                16m32s   3GB
Sep 13 05:42:42 Starting compiler/inference
Sep 13 05:44:24 Finished compiler/inference                                    1m41s   1GB
Sep 13 05:44:25 Starting compiler/backend/reg_alloc
Sep 13 05:45:12 Finished compiler/backend/reg_alloc                              46s   1GB
Sep 13 05:45:13 Starting compiler/backend/gc
Sep 13 05:54:00 Finished compiler/backend/gc                                   8m46s   3GB
Sep 13 05:54:00 Starting compiler/backend
Sep 13 05:54:04 Finished compiler/backend                                         2s  14MB
Sep 13 05:54:05 Starting compiler/encoders/asm
Sep 13 05:54:07 Finished compiler/encoders/asm                                    1s  11MB
Sep 13 05:54:07 Starting compiler/encoders/x64
Sep 13 05:55:00 Finished compiler/encoders/x64                                   51s 606MB
Sep 13 05:55:01 Starting compiler/encoders/arm6
Sep 13 05:56:45 Finished compiler/encoders/arm6                                1m43s   1GB
Sep 13 05:56:46 Starting compiler/encoders/arm8
Sep 13 05:57:13 Finished compiler/encoders/arm8                                  26s 455MB
Sep 13 05:57:13 Starting compiler/encoders/mips
Sep 13 05:58:12 Finished compiler/encoders/mips                                  57s 874MB
Sep 13 05:58:12 Starting compiler/encoders/riscv
Sep 13 05:59:14 Finished compiler/encoders/riscv                               1m00s 831MB
Sep 13 05:59:14 Starting compiler/backend/x64
Sep 13 05:59:32 Finished compiler/backend/x64                                    17s 842MB
Sep 13 05:59:33 Starting compiler/backend/arm6
Sep 13 05:59:53 Finished compiler/backend/arm6                                   19s   1GB
Sep 13 05:59:54 Starting compiler/backend/arm8
Sep 13 06:00:12 Finished compiler/backend/arm8                                   17s 959MB
Sep 13 06:00:13 Starting compiler/backend/mips
Sep 13 06:00:32 Finished compiler/backend/mips                                   18s   1GB
Sep 13 06:00:33 Starting compiler/backend/riscv
Sep 13 06:00:51 Finished compiler/backend/riscv                                  17s   1GB
Sep 13 06:00:52 Starting compiler/parsing/proofs
Sep 13 06:07:01 Finished compiler/parsing/proofs                               6m08s 783MB
Sep 13 06:07:01 Starting compiler/inference/proofs
Sep 13 06:09:52 Finished compiler/inference/proofs                             2m49s   1GB
Sep 13 06:09:53 Starting compiler/backend/semantics
Sep 13 06:18:44 Finished compiler/backend/semantics                            8m50s   2GB
Sep 13 06:18:45 Starting compiler/backend/reg_alloc/proofs
Sep 13 06:25:44 Finished compiler/backend/reg_alloc/proofs                     6m59s 652MB
Sep 13 06:25:45 Starting compiler/backend/proofs
Sep 13 07:01:00 Finished compiler/backend/proofs                              35m14s   4GB
Sep 13 07:01:01 Starting compiler/encoders/x64/proofs
Sep 13 07:08:28 Finished compiler/encoders/x64/proofs                          7m26s   5GB
Sep 13 07:08:29 Starting compiler/encoders/arm6/proofs
Sep 13 07:15:59 Finished compiler/encoders/arm6/proofs                         7m29s   2GB
Sep 13 07:16:00 Starting compiler/encoders/arm8/proofs
Sep 13 07:21:15 Finished compiler/encoders/arm8/proofs                         5m14s   1GB
Sep 13 07:21:16 Starting compiler/encoders/mips/proofs
Sep 13 07:28:35 Finished compiler/encoders/mips/proofs                         7m18s   2GB
Sep 13 07:28:36 Starting compiler/encoders/riscv/proofs
Sep 13 07:36:34 Finished compiler/encoders/riscv/proofs                        7m57s 830MB
Sep 13 07:36:35 Starting compiler/backend/x64/proofs
Sep 13 07:36:55 Finished compiler/backend/x64/proofs                             19s   1GB
Sep 13 07:36:56 Starting compiler/backend/arm6/proofs
Sep 13 07:37:19 Finished compiler/backend/arm6/proofs                            21s 866MB
Sep 13 07:37:19 Starting compiler/backend/arm8/proofs
Sep 13 07:37:40 Finished compiler/backend/arm8/proofs                            19s   1GB
Sep 13 07:37:40 Starting compiler/backend/mips/proofs
Sep 13 07:38:02 Finished compiler/backend/mips/proofs                            20s   1GB
Sep 13 07:38:02 Starting compiler/backend/riscv/proofs
Sep 13 07:38:24 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 13 07:38:24 Starting compiler/proofs
Sep 13 07:39:42 Finished compiler/proofs                                       1m17s   1GB
Sep 13 07:39:43 Starting candle/set-theory
Sep 13 07:40:15 Finished candle/set-theory                                       31s 616MB
Sep 13 07:40:16 Starting candle/syntax-lib
Sep 13 07:40:26 Finished candle/syntax-lib                                        9s 474MB
Sep 13 07:40:27 Starting candle/standard/syntax
Sep 13 07:42:00 Finished candle/standard/syntax                                1m32s 794MB
Sep 13 07:42:00 Starting candle/standard/semantics
Sep 13 07:43:21 Finished candle/standard/semantics                             1m20s 933MB
Sep 13 07:43:22 Starting candle/standard/monadic
Sep 13 07:44:56 Finished candle/standard/monadic                               1m33s   1GB
Sep 13 07:44:57 Starting candle/standard/ml_kernel
Sep 13 08:00:56 Finished candle/standard/ml_kernel                            15m58s   4GB
Sep 13 08:00:57 Starting candle/standard/opentheory
Sep 13 08:09:33 Finished candle/standard/opentheory                            8m35s   9GB
Sep 13 08:09:34 Starting characteristic/examples
Sep 13 08:11:10 Finished characteristic/examples                               1m35s   1GB
Sep 13 08:11:11 Starting tutorial/solutions
Sep 13 08:24:42 Finished tutorial/solutions                                   13m30s   6GB
Sep 13 08:24:42 Starting translator/monadic/examples
Sep 13 08:26:28 Finished translator/monadic/examples                           1m45s   2GB
Sep 13 08:26:29 Starting examples
Sep 13 08:32:05 Finished examples                                              5m35s   4GB
Sep 13 08:32:05 Starting examples/compilation
Sep 13 10:28:40 Finished examples/compilation                               1h56m34s  10GB
Sep 13 10:28:41 Starting examples/compilation/proofs
Sep 13 10:30:35 Finished examples/compilation/proofs                           1m54s   3GB
Sep 13 10:30:36 Starting compiler/benchmarks
Sep 13 10:30:37 Finished compiler/benchmarks                                      0s   4MB
Sep 13 10:30:38 Starting translator/okasaki-examples
Sep 13 10:34:04 Finished translator/okasaki-examples                           3m25s   1GB
Sep 13 10:34:04 Starting translator/other-examples
Sep 13 10:37:38 Finished translator/other-examples                             3m32s 916MB
Sep 13 10:37:38 Starting compiler/parsing/tests
Sep 13 10:38:04 Finished compiler/parsing/tests                                  25s 315MB
Sep 13 10:38:05 Starting compiler/inference/tests
Sep 13 10:42:08 Finished compiler/inference/tests                              4m02s   4GB
Sep 13 10:42:08 Starting compiler/bootstrap/translation
Sep 13 16:09:30 Finished compiler/bootstrap/translation                     5h27m20s  53GB
Sep 13 16:09:30 Starting unverified/sexpr-bootstrap/x64/64
Sep 13 16:17:01 Finished unverified/sexpr-bootstrap/x64/64                     7m29s  12GB
Sep 13 16:17:01 Starting unverified/sexpr-bootstrap/x64/32
Sep 13 16:22:00 Finished unverified/sexpr-bootstrap/x64/32                     4m58s  14GB
Sep 13 16:22:01 Starting compiler/bootstrap/compilation/x64/64
Sep 14 08:02:55 Finished compiler/bootstrap/compilation/x64/64             15h40m51s  64GB
Sep 14 08:02:55 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 14 08:06:32 Finished compiler/bootstrap/compilation/x64/64/proofs          3m35s  23GB
Sep 14 08:06:32 Starting compiler/bootstrap/compilation/x64/32
Sep 14 19:37:09 Finished compiler/bootstrap/compilation/x64/32             11h30m35s  56GB
Sep 14 19:37:10 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 14 19:40:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m01s  20GB
Sep 14 19:40:12 SUCCESS