CakeML Regression Test

Job 683

CakeML:69d5f0d2ee4de8cc76b1ab67145b8d9132a1cf08
  Update for ref --> Ref [Jan 15 16:05:32]
#591 (better-names)
Merging into:901708feeaa4cd0a8263ec24d39144eeb1f6d15d
  Merge pull request #599 from CakeML/lem-readme [Jan 14 09:15:32]
HOL:9884befd7ef626e7a20cde7aedb6f358330d8ba4
  Merge remote-tracking branch 'origin/pr/637' into develop [Jan 11 23:27:51]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 15 16:06:09 Claimed job
Jan 15 16:06:14 Reusing HOL
Jan 15 16:06:24 Starting developers
Jan 15 16:06:26 Finished developers                                               0s  35MB
Jan 15 16:06:26 Starting developers/bin
Jan 15 16:07:01 Finished developers/bin                                          34s 201MB
Jan 15 16:07:02 Starting semantics/ffi
Jan 15 16:07:11 Finished semantics/ffi                                            7s 228MB
Jan 15 16:07:11 Starting semantics
Jan 15 16:08:33 Finished semantics                                             1m21s   1GB
Jan 15 16:08:34 Starting semantics/proofs
Jan 15 16:11:49 Finished semantics/proofs                                      3m14s   1GB
Jan 15 16:11:50 Starting basis/pure
Jan 15 16:12:41 Finished basis/pure                                              50s 653MB
Jan 15 16:12:42 Starting translator
Jan 15 16:14:20 Finished translator                                            1m37s   1GB
Jan 15 16:14:21 Starting compiler/parsing
Jan 15 16:15:24 Finished compiler/parsing                                      1m02s   2GB
Jan 15 16:15:24 Starting characteristic
Jan 15 16:18:37 Finished characteristic                                        3m12s   1GB
Jan 15 16:18:38 Starting translator/monadic
Jan 15 16:20:06 Finished translator/monadic                                    1m27s   1GB
Jan 15 16:20:07 Starting basis
Jan 15 16:36:11 Finished basis                                                16m03s   2GB
Jan 15 16:36:12 Starting compiler/inference
Jan 15 16:37:50 Finished compiler/inference                                    1m37s   1GB
Jan 15 16:37:51 Starting compiler/backend/reg_alloc
Jan 15 16:38:41 Finished compiler/backend/reg_alloc                              49s   1GB
Jan 15 16:38:42 Starting compiler/backend/gc
Jan 15 16:47:04 Finished compiler/backend/gc                                   8m21s   1GB
Jan 15 16:47:05 Starting compiler/backend
Jan 15 16:47:07 Finished compiler/backend                                         1s  18MB
Jan 15 16:47:08 Starting compiler/encoders/asm
Jan 15 16:47:09 Finished compiler/encoders/asm                                    0s  16MB
Jan 15 16:47:10 Starting compiler/encoders/x64
Jan 15 16:47:36 Finished compiler/encoders/x64                                   25s 927MB
Jan 15 16:47:37 Starting compiler/encoders/arm6
Jan 15 16:48:31 Finished compiler/encoders/arm6                                  53s 787MB
Jan 15 16:48:32 Starting compiler/encoders/arm8
Jan 15 16:48:46 Finished compiler/encoders/arm8                                  13s 576MB
Jan 15 16:48:46 Starting compiler/encoders/mips
Jan 15 16:49:04 Finished compiler/encoders/mips                                  16s   1GB
Jan 15 16:49:04 Starting compiler/encoders/riscv
Jan 15 16:49:19 Finished compiler/encoders/riscv                                 13s 808MB
Jan 15 16:49:20 Starting compiler/encoders/ag32
Jan 15 16:49:37 Finished compiler/encoders/ag32                                  16s 790MB
Jan 15 16:49:37 Starting compiler/backend/x64
Jan 15 16:49:54 Finished compiler/backend/x64                                    16s 934MB
Jan 15 16:49:55 Starting compiler/backend/arm6
Jan 15 16:50:15 Finished compiler/backend/arm6                                   18s   1GB
Jan 15 16:50:16 Starting compiler/backend/arm8
Jan 15 16:50:34 Finished compiler/backend/arm8                                   16s 886MB
Jan 15 16:50:34 Starting compiler/backend/mips
Jan 15 16:50:53 Finished compiler/backend/mips                                   18s   1GB
Jan 15 16:50:54 Starting compiler/backend/riscv
Jan 15 16:51:13 Finished compiler/backend/riscv                                  18s   1GB
Jan 15 16:51:14 Starting compiler/backend/ag32
Jan 15 16:52:31 Finished compiler/backend/ag32                                 1m16s 972MB
Jan 15 16:52:32 Starting compiler/parsing/proofs
Jan 15 16:58:37 Finished compiler/parsing/proofs                               6m03s 841MB
Jan 15 16:58:37 Starting compiler/inference/proofs
Jan 15 17:01:33 Finished compiler/inference/proofs                             2m55s 983MB
Jan 15 17:01:34 Starting compiler/backend/semantics
Jan 15 17:09:08 Finished compiler/backend/semantics                            7m32s   1GB
Jan 15 17:09:08 Starting compiler/backend/reg_alloc/proofs
Jan 15 17:11:53 Finished compiler/backend/reg_alloc/proofs                     2m44s 823MB
Jan 15 17:11:54 Starting compiler/backend/proofs
Jan 15 17:50:46 Finished compiler/backend/proofs                              38m50s   4GB
Jan 15 17:50:47 Starting compiler/encoders/x64/proofs
Jan 15 18:00:39 Finished compiler/encoders/x64/proofs                          9m51s   5GB
Jan 15 18:00:40 Starting compiler/encoders/arm6/proofs
Jan 15 18:14:50 Finished compiler/encoders/arm6/proofs                        14m09s   3GB
Jan 15 18:14:51 Starting compiler/encoders/arm8/proofs
Jan 15 18:20:53 Finished compiler/encoders/arm8/proofs                         6m01s   1GB
Jan 15 18:20:54 Starting compiler/encoders/mips/proofs
Jan 15 18:31:22 Finished compiler/encoders/mips/proofs                        10m27s   2GB
Jan 15 18:31:23 Starting compiler/encoders/riscv/proofs
Jan 15 18:39:23 Finished compiler/encoders/riscv/proofs                        7m59s 979MB
Jan 15 18:39:24 Starting compiler/encoders/ag32/proofs
Jan 15 18:42:07 Finished compiler/encoders/ag32/proofs                         2m42s 627MB
Jan 15 18:42:08 Starting compiler/backend/x64/proofs
Jan 15 18:42:27 Finished compiler/backend/x64/proofs                             18s   1GB
Jan 15 18:42:28 Starting compiler/backend/arm6/proofs
Jan 15 18:42:50 Finished compiler/backend/arm6/proofs                            20s   1GB
Jan 15 18:42:51 Starting compiler/backend/arm8/proofs
Jan 15 18:43:10 Finished compiler/backend/arm8/proofs                            18s   1GB
Jan 15 18:43:11 Starting compiler/backend/mips/proofs
Jan 15 18:43:31 Finished compiler/backend/mips/proofs                            19s   1GB
Jan 15 18:43:32 Starting compiler/backend/riscv/proofs
Jan 15 18:43:51 Finished compiler/backend/riscv/proofs                           18s 996MB
Jan 15 18:43:52 Starting compiler/backend/ag32/proofs
Jan 15 18:53:28 Finished compiler/backend/ag32/proofs                          9m34s   3GB
Jan 15 18:53:29 Starting compiler/proofs
Jan 15 18:54:48 Finished compiler/proofs                                       1m18s   3GB
Jan 15 18:54:49 Starting candle/set-theory
Jan 15 18:55:14 Finished candle/set-theory                                       24s 766MB
Jan 15 18:55:15 Starting candle/syntax-lib
Jan 15 18:55:26 Finished candle/syntax-lib                                        9s 659MB
Jan 15 18:55:27 Starting candle/standard/syntax
Jan 15 18:57:15 Finished candle/standard/syntax                                1m48s   1GB
Jan 15 18:57:16 Starting candle/standard/semantics
Jan 15 18:58:57 Finished candle/standard/semantics                             1m39s   1GB
Jan 15 18:58:57 Starting candle/standard/monadic
Jan 15 19:00:40 Finished candle/standard/monadic                               1m42s   1GB
Jan 15 19:00:41 Starting candle/standard/ml_kernel
Jan 15 19:04:31 Finished candle/standard/ml_kernel                             3m49s   3GB
Jan 15 19:04:32 Starting candle/standard/opentheory
Jan 15 19:13:11 Finished candle/standard/opentheory                            8m37s   4GB
Jan 15 19:13:11 Starting candle/standard/opentheory/compilation
Jan 15 19:42:08 Finished candle/standard/opentheory/compilation               28m55s  22GB
Jan 15 19:42:08 Starting candle/standard/opentheory/compilation/proofs
Jan 15 19:42:54 Finished candle/standard/opentheory/compilation/proofs           44s   5GB
Jan 15 19:42:54 Starting characteristic/examples
Jan 15 19:44:18 Finished characteristic/examples                               1m23s   2GB
Jan 15 19:44:19 Starting tutorial/solutions
Jan 15 19:57:28 Finished tutorial/solutions                                   13m08s   7GB
Jan 15 19:57:29 Starting translator/monadic/examples
Jan 15 19:59:37 Finished translator/monadic/examples                           2m07s   2GB
Jan 15 19:59:38 Starting examples
Jan 15 20:07:13 Finished examples                                              7m33s   3GB
Jan 15 20:07:13 Starting examples/compilation/x64
Jan 15 22:13:38 Finished examples/compilation/x64                           2h06m23s  13GB
Jan 15 22:13:38 Starting examples/compilation/x64/proofs
Jan 15 22:15:34 Finished examples/compilation/x64/proofs                       1m54s   4GB
Jan 15 22:15:35 Starting examples/compilation/ag32
Jan 15 22:43:51 Finished examples/compilation/ag32                            28m15s   5GB
Jan 15 22:43:52 Starting examples/compilation/ag32/proofs
Jan 15 22:44:42 Finished examples/compilation/ag32/proofs                        49s   4GB
Jan 15 22:44:42 Starting translator/okasaki-examples
Jan 15 22:48:55 Finished translator/okasaki-examples                           4m12s   1GB
Jan 15 22:48:56 Starting translator/other-examples
Jan 15 22:52:29 Finished translator/other-examples                             3m31s   1GB
Jan 15 22:52:30 Starting compiler/parsing/tests
Jan 15 22:52:56 Finished compiler/parsing/tests                                  25s 542MB
Jan 15 22:52:57 Starting compiler/inference/tests
Jan 15 22:57:03 Finished compiler/inference/tests                              4m05s   3GB
Jan 15 22:57:03 Starting compiler/bootstrap/translation
Jan 16 01:41:35 Finished compiler/bootstrap/translation                     2h44m30s  51GB
Jan 16 01:41:36 Starting unverified/sexpr-bootstrap/x64/64
Jan 16 01:49:54 Finished unverified/sexpr-bootstrap/x64/64                     8m16s  16GB
Jan 16 01:49:54 Starting unverified/sexpr-bootstrap/x64/32
Jan 16 01:54:42 Finished unverified/sexpr-bootstrap/x64/32                     4m47s  22GB
Jan 16 01:54:43 Starting compiler/bootstrap/compilation/x64/64
Jan 16 12:30:15 Finished compiler/bootstrap/compilation/x64/64             10h35m31s  63GB
Jan 16 12:30:16 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 16 12:36:51 Finished compiler/bootstrap/compilation/x64/64/proofs          6m33s  34GB
Jan 16 12:36:52 Starting compiler/bootstrap/compilation/x64/32
Jan 16 22:18:50 Finished compiler/bootstrap/compilation/x64/32              9h41m57s  59GB
Jan 16 22:18:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 16 22:22:50 Finished compiler/bootstrap/compilation/x64/32/proofs          3m58s  42GB
Jan 16 22:22:51 SUCCESS