CakeML Regression Test

Job 643

CakeML:9d6f75595072c21b06b111b151b9b90482cb6f11
  Remove unnecessary dependency [Dec 21 08:03:37]
#583 (heapfree)
Merging into:4b5d4f06ef2984bee7512209933101d98381b187
  Merge pull request #585 from CakeML/x64_windows [Dec 20 22:03:59]
HOL:89daca206b2ad7a8e43f3a59c20a178cc04d7748
  Fix bug: TypeBase.simpls_of not being filled in on load [Dec 21 04:04:45]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 21 12:20:24 Claimed job
Dec 21 12:20:28 Building HOL
Dec 21 12:29:46 Starting developers
Dec 21 12:29:49 Finished developers                                               2s  21MB
Dec 21 12:29:50 Starting developers/bin
Dec 21 12:31:04 Finished developers/bin                                        1m13s 916MB
Dec 21 12:31:04 Starting semantics/ffi
Dec 21 12:31:43 Finished semantics/ffi                                           38s 315MB
Dec 21 12:31:44 Starting semantics
Dec 21 12:33:24 Finished semantics                                             1m38s   1GB
Dec 21 12:33:24 Starting semantics/proofs
Dec 21 12:36:46 Finished semantics/proofs                                      3m21s   1GB
Dec 21 12:36:47 Starting basis/pure
Dec 21 12:40:26 Finished basis/pure                                            3m37s 828MB
Dec 21 12:40:26 Starting translator
Dec 21 12:42:06 Finished translator                                            1m38s   1GB
Dec 21 12:42:07 Starting compiler/parsing
Dec 21 12:43:13 Finished compiler/parsing                                      1m05s   2GB
Dec 21 12:43:13 Starting characteristic
Dec 21 12:46:32 Finished characteristic                                        3m18s   1GB
Dec 21 12:46:33 Starting translator/monadic
Dec 21 12:48:02 Finished translator/monadic                                    1m28s   1GB
Dec 21 12:48:03 Starting basis
Dec 21 13:04:31 Finished basis                                                16m27s   3GB
Dec 21 13:04:32 Starting compiler/inference
Dec 21 13:06:30 Finished compiler/inference                                    1m57s   1GB
Dec 21 13:06:31 Starting compiler/backend/reg_alloc
Dec 21 13:07:23 Finished compiler/backend/reg_alloc                              52s   1GB
Dec 21 13:07:24 Starting compiler/backend/gc
Dec 21 13:16:29 Finished compiler/backend/gc                                   9m04s   1GB
Dec 21 13:16:30 Starting compiler/backend
Dec 21 13:16:33 Finished compiler/backend                                         2s  21MB
Dec 21 13:16:34 Starting compiler/encoders/asm
Dec 21 13:16:36 Finished compiler/encoders/asm                                    1s  14MB
Dec 21 13:16:36 Starting compiler/encoders/x64
Dec 21 13:17:38 Finished compiler/encoders/x64                                 1m00s 860MB
Dec 21 13:17:39 Starting compiler/encoders/arm6
Dec 21 13:19:36 Finished compiler/encoders/arm6                                1m56s   1GB
Dec 21 13:19:37 Starting compiler/encoders/arm8
Dec 21 13:20:10 Finished compiler/encoders/arm8                                  32s 836MB
Dec 21 13:20:10 Starting compiler/encoders/mips
Dec 21 13:21:17 Finished compiler/encoders/mips                                1m06s   1GB
Dec 21 13:21:18 Starting compiler/encoders/riscv
Dec 21 13:22:27 Finished compiler/encoders/riscv                               1m08s 931MB
Dec 21 13:22:28 Starting compiler/encoders/ag32
Dec 21 13:22:46 Finished compiler/encoders/ag32                                  17s 558MB
Dec 21 13:22:46 Starting compiler/backend/x64
Dec 21 13:23:04 Finished compiler/backend/x64                                    17s 897MB
Dec 21 13:23:05 Starting compiler/backend/arm6
Dec 21 13:23:24 Finished compiler/backend/arm6                                   18s   1GB
Dec 21 13:23:24 Starting compiler/backend/arm8
Dec 21 13:23:44 Finished compiler/backend/arm8                                   19s 956MB
Dec 21 13:23:45 Starting compiler/backend/mips
Dec 21 13:24:05 Finished compiler/backend/mips                                   18s   1GB
Dec 21 13:24:05 Starting compiler/backend/riscv
Dec 21 13:24:26 Finished compiler/backend/riscv                                  19s   1GB
Dec 21 13:24:26 Starting compiler/backend/ag32
Dec 21 13:25:40 Finished compiler/backend/ag32                                 1m13s 853MB
Dec 21 13:25:41 Starting compiler/parsing/proofs
Dec 21 13:31:51 Finished compiler/parsing/proofs                               6m09s 857MB
Dec 21 13:31:52 Starting compiler/inference/proofs
Dec 21 13:34:47 Finished compiler/inference/proofs                             2m54s   1GB
Dec 21 13:34:48 Starting compiler/backend/semantics
Dec 21 13:42:18 Finished compiler/backend/semantics                            7m30s   1GB
Dec 21 13:42:19 Starting compiler/backend/reg_alloc/proofs
Dec 21 13:45:09 Finished compiler/backend/reg_alloc/proofs                     2m49s 787MB
Dec 21 13:45:10 Starting compiler/backend/proofs
Dec 21 14:23:49 Finished compiler/backend/proofs                              38m38s   4GB
Dec 21 14:23:50 Starting compiler/encoders/x64/proofs
Dec 21 14:34:41 Finished compiler/encoders/x64/proofs                         10m50s   4GB
Dec 21 14:34:42 Starting compiler/encoders/arm6/proofs
Dec 21 14:49:52 Finished compiler/encoders/arm6/proofs                        15m09s   3GB
Dec 21 14:49:53 Starting compiler/encoders/arm8/proofs
Dec 21 14:56:04 Finished compiler/encoders/arm8/proofs                         6m11s   1GB
Dec 21 14:56:05 Starting compiler/encoders/mips/proofs
Dec 21 15:07:11 Finished compiler/encoders/mips/proofs                        11m05s   2GB
Dec 21 15:07:12 Starting compiler/encoders/riscv/proofs
Dec 21 15:15:06 Finished compiler/encoders/riscv/proofs                        7m52s   1GB
Dec 21 15:15:07 Starting compiler/encoders/ag32/proofs
Dec 21 15:17:51 Finished compiler/encoders/ag32/proofs                         2m43s 667MB
Dec 21 15:17:51 Starting compiler/backend/x64/proofs
Dec 21 15:18:12 Finished compiler/backend/x64/proofs                             20s   1GB
Dec 21 15:18:13 Starting compiler/backend/arm6/proofs
Dec 21 15:18:35 Finished compiler/backend/arm6/proofs                            22s 938MB
Dec 21 15:18:36 Starting compiler/backend/arm8/proofs
Dec 21 15:18:56 Finished compiler/backend/arm8/proofs                            19s 754MB
Dec 21 15:18:57 Starting compiler/backend/mips/proofs
Dec 21 15:19:18 Finished compiler/backend/mips/proofs                            20s   1GB
Dec 21 15:19:19 Starting compiler/backend/riscv/proofs
Dec 21 15:19:40 Finished compiler/backend/riscv/proofs                           20s   1GB
Dec 21 15:19:41 Starting compiler/backend/ag32/proofs
Dec 21 15:28:57 Finished compiler/backend/ag32/proofs                          9m15s   2GB
Dec 21 15:28:58 Starting compiler/proofs
Dec 21 15:30:21 Finished compiler/proofs                                       1m23s   2GB
Dec 21 15:30:22 Starting candle/set-theory
Dec 21 15:30:49 Finished candle/set-theory                                       26s 668MB
Dec 21 15:30:50 Starting candle/syntax-lib
Dec 21 15:31:02 Finished candle/syntax-lib                                       10s 613MB
Dec 21 15:31:02 Starting candle/standard/syntax
Dec 21 15:32:55 Finished candle/standard/syntax                                1m52s   1GB
Dec 21 15:32:56 Starting candle/standard/semantics
Dec 21 15:34:39 Finished candle/standard/semantics                             1m42s   1GB
Dec 21 15:34:40 Starting candle/standard/monadic
Dec 21 15:36:23 Finished candle/standard/monadic                               1m42s   1GB
Dec 21 15:36:24 Starting candle/standard/ml_kernel
Dec 21 15:51:18 Finished candle/standard/ml_kernel                            14m53s   2GB
Dec 21 15:51:19 Starting candle/standard/opentheory
Dec 21 15:59:56 Finished candle/standard/opentheory                            8m36s   4GB
Dec 21 15:59:57 Starting candle/standard/opentheory/compilation
Dec 21 16:28:33 Finished candle/standard/opentheory/compilation               28m35s  23GB
Dec 21 16:28:34 Starting candle/standard/opentheory/compilation/proofs
Dec 21 16:29:26 Finished candle/standard/opentheory/compilation/proofs           52s   6GB
Dec 21 16:29:27 Starting characteristic/examples
Dec 21 16:31:00 Finished characteristic/examples                               1m32s   2GB
Dec 21 16:31:00 Starting tutorial/solutions
Dec 21 16:43:51 Finished tutorial/solutions                                   12m50s   6GB
Dec 21 16:43:52 Starting translator/monadic/examples
Dec 21 16:46:01 Finished translator/monadic/examples                           2m08s   2GB
Dec 21 16:46:02 Starting examples
Dec 21 16:53:40 Finished examples                                              7m38s   3GB
Dec 21 16:53:41 Starting examples/compilation/x64
Dec 21 18:54:39 Finished examples/compilation/x64                           2h00m57s  14GB
Dec 21 18:54:40 Starting examples/compilation/x64/proofs
Dec 21 18:56:29 Finished examples/compilation/x64/proofs                       1m49s   5GB
Dec 21 18:56:30 Starting examples/compilation/ag32
Dec 21 19:24:01 Finished examples/compilation/ag32                            27m30s   6GB
Dec 21 19:24:01 Starting examples/compilation/ag32/proofs
Dec 21 19:24:50 Finished examples/compilation/ag32/proofs                        48s   4GB
Dec 21 19:24:51 Starting translator/okasaki-examples
Dec 21 19:28:50 Finished translator/okasaki-examples                           3m58s   1GB
Dec 21 19:28:51 Starting translator/other-examples
Dec 21 19:32:24 Finished translator/other-examples                             3m32s   1GB
Dec 21 19:32:25 Starting compiler/parsing/tests
Dec 21 19:32:53 Finished compiler/parsing/tests                                  27s 596MB
Dec 21 19:32:53 Starting compiler/inference/tests
Dec 21 19:36:52 Finished compiler/inference/tests                              3m58s   4GB
Dec 21 19:36:53 Starting compiler/bootstrap/translation
Dec 21 22:53:09 Finished compiler/bootstrap/translation                     3h16m15s  53GB
Dec 21 22:53:10 Starting unverified/sexpr-bootstrap/x64/64
Dec 21 22:57:01 Finished unverified/sexpr-bootstrap/x64/64                     3m51s  17GB
Dec 21 22:57:02 Starting unverified/sexpr-bootstrap/x64/32
Dec 21 22:59:29 Finished unverified/sexpr-bootstrap/x64/32                     2m26s  21GB
Dec 21 22:59:30 Starting compiler/bootstrap/compilation/x64/64
Dec 22 09:00:18 Finished compiler/bootstrap/compilation/x64/64             10h00m47s  63GB
Dec 22 09:00:19 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 22 09:06:40 Finished compiler/bootstrap/compilation/x64/64/proofs          6m20s  32GB
Dec 22 09:06:41 Starting compiler/bootstrap/compilation/x64/32
Dec 22 18:16:32 Finished compiler/bootstrap/compilation/x64/32              9h09m50s  64GB
Dec 22 18:16:33 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 22 18:22:30 Finished compiler/bootstrap/compilation/x64/32/proofs          5m56s  31GB
Dec 22 18:22:31 SUCCESS