CakeML Regression Test

Job 467

CakeML:747a323c230d3c8f26d9ff8769b6fba15056be00
  Update HOL_STORE precondition theorem [Aug 28 11:11:46]
#511 (argparse)
Merging into:f6d8ed2ee71091a75c6c7c634490380e8abe11a9
  Fix typo [Aug 28 07:46:30]
HOL:7054556f60da8710a814ee9b2cb1452f504c9c63
  tactictoe: deleting erroneous comments [Aug 31 10:35:51]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Sep 01 03:30:25 Claimed job
Sep 01 03:30:35 Building HOL
Sep 01 03:44:07 Starting developers/bin
Sep 01 03:44:17 Finished developers/bin                                           7s 144MB
Sep 01 03:44:19 Starting semantics/ffi
Sep 01 03:45:20 Finished semantics/ffi                                           59s 324MB
Sep 01 03:45:22 Starting semantics
Sep 01 03:47:43 Finished semantics                                             2m18s 981MB
Sep 01 03:47:45 Starting semantics/proofs
Sep 01 03:52:59 Finished semantics/proofs                                      5m11s   1GB
Sep 01 03:53:01 Starting basis/pure
Sep 01 03:58:45 Finished basis/pure                                            5m41s 791MB
Sep 01 03:58:47 Starting translator
Sep 01 04:00:42 Finished translator                                            1m53s   1GB
Sep 01 04:00:44 Starting compiler/parsing
Sep 01 04:03:05 Finished compiler/parsing                                      2m18s   2GB
Sep 01 04:03:07 Starting characteristic
Sep 01 04:07:44 Finished characteristic                                        4m34s   1GB
Sep 01 04:07:46 Starting translator/monadic
Sep 01 04:10:26 Finished translator/monadic                                    2m37s   1GB
Sep 01 04:10:28 Starting basis
Sep 01 04:41:34 Finished basis                                                31m04s   4GB
Sep 01 04:41:36 Starting compiler/inference
Sep 01 04:44:24 Finished compiler/inference                                    2m46s   1GB
Sep 01 04:44:26 Starting compiler/backend/reg_alloc
Sep 01 04:45:49 Finished compiler/backend/reg_alloc                            1m20s   1GB
Sep 01 04:45:51 Starting compiler/backend/gc
Sep 01 05:00:34 Finished compiler/backend/gc                                  14m40s   3GB
Sep 01 05:00:36 Starting compiler/backend
Sep 01 05:00:41 Finished compiler/backend                                         3s  16MB
Sep 01 05:00:43 Starting compiler/encoders/asm
Sep 01 05:00:46 Finished compiler/encoders/asm                                    0s  20MB
Sep 01 05:00:48 Starting compiler/encoders/x64
Sep 01 05:02:13 Finished compiler/encoders/x64                                 1m23s 536MB
Sep 01 05:02:15 Starting compiler/encoders/arm6
Sep 01 05:05:16 Finished compiler/encoders/arm6                                2m58s   1GB
Sep 01 05:05:18 Starting compiler/encoders/arm8
Sep 01 05:06:02 Finished compiler/encoders/arm8                                  42s 386MB
Sep 01 05:06:04 Starting compiler/encoders/mips
Sep 01 05:07:42 Finished compiler/encoders/mips                                1m35s 662MB
Sep 01 05:07:44 Starting compiler/encoders/riscv
Sep 01 05:09:19 Finished compiler/encoders/riscv                               1m32s 632MB
Sep 01 05:09:21 Starting compiler/backend/x64
Sep 01 05:09:53 Finished compiler/backend/x64                                    30s   1GB
Sep 01 05:09:55 Starting compiler/backend/arm6
Sep 01 05:10:29 Finished compiler/backend/arm6                                   32s   1GB
Sep 01 05:10:31 Starting compiler/backend/arm8
Sep 01 05:11:04 Finished compiler/backend/arm8                                   31s   1GB
Sep 01 05:11:06 Starting compiler/backend/mips
Sep 01 05:11:40 Finished compiler/backend/mips                                   31s   1GB
Sep 01 05:11:42 Starting compiler/backend/riscv
Sep 01 05:12:11 Finished compiler/backend/riscv                                  27s 933MB
Sep 01 05:12:13 Starting compiler/parsing/proofs
Sep 01 05:16:19 Finished compiler/parsing/proofs                               4m03s 638MB
Sep 01 05:16:21 Starting compiler/inference/proofs
Sep 01 05:21:04 Finished compiler/inference/proofs                             4m41s   1GB
Sep 01 05:21:06 Starting compiler/backend/semantics
Sep 01 05:35:25 Finished compiler/backend/semantics                           14m16s   2GB
Sep 01 05:35:27 Starting compiler/backend/reg_alloc/proofs Sep 01 05:35:27 0s