CakeML Regression Test

Job 680

CakeML:77c9e0edcac69aaaaf1d90005b27359937299a12
  Fix typo in how-to.md [Jan 14 21:15:40]
#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 01:11:27 Claimed job
Jan 15 01:11:31 Reusing HOL
Jan 15 01:11:39 Starting developers
Jan 15 01:11:40 Finished developers                                               0s  35MB
Jan 15 01:11:41 Starting developers/bin
Jan 15 01:12:13 Finished developers/bin                                          31s 141MB
Jan 15 01:12:14 Starting semantics/ffi
Jan 15 01:12:23 Finished semantics/ffi                                            8s 230MB
Jan 15 01:12:24 Starting semantics
Jan 15 01:13:45 Finished semantics                                             1m20s   1GB
Jan 15 01:13:46 Starting semantics/proofs
Jan 15 01:16:59 Finished semantics/proofs                                      3m11s   1GB
Jan 15 01:16:59 Starting basis/pure
Jan 15 01:17:50 Finished basis/pure                                              49s 739MB
Jan 15 01:17:51 Starting translator
Jan 15 01:19:30 Finished translator                                            1m38s   1GB
Jan 15 01:19:31 Starting compiler/parsing
Jan 15 01:20:33 Finished compiler/parsing                                      1m02s   1GB
Jan 15 01:20:34 Starting characteristic
Jan 15 01:23:50 Finished characteristic                                        3m14s   1GB
Jan 15 01:23:51 Starting translator/monadic
Jan 15 01:25:16 Finished translator/monadic                                    1m24s   1GB
Jan 15 01:25:17 Starting basis
Jan 15 01:41:23 Finished basis                                                16m04s   2GB
Jan 15 01:41:24 Starting compiler/inference
Jan 15 01:43:02 Finished compiler/inference                                    1m38s   1GB
Jan 15 01:43:03 Starting compiler/backend/reg_alloc
Jan 15 01:43:55 Finished compiler/backend/reg_alloc                              51s   1GB
Jan 15 01:43:56 Starting compiler/backend/gc
Jan 15 01:51:46 Finished compiler/backend/gc                                   7m49s   1GB
Jan 15 01:51:47 Starting compiler/backend
Jan 15 01:51:50 Finished compiler/backend                                         1s  21MB
Jan 15 01:51:50 Starting compiler/encoders/asm
Jan 15 01:51:52 Finished compiler/encoders/asm                                    0s  17MB
Jan 15 01:51:53 Starting compiler/encoders/x64
Jan 15 01:52:17 Finished compiler/encoders/x64                                   23s 983MB
Jan 15 01:52:18 Starting compiler/encoders/arm6
Jan 15 01:53:09 Finished compiler/encoders/arm6                                  50s 653MB
Jan 15 01:53:10 Starting compiler/encoders/arm8
Jan 15 01:53:23 Finished compiler/encoders/arm8                                  12s 757MB
Jan 15 01:53:24 Starting compiler/encoders/mips
Jan 15 01:53:41 Finished compiler/encoders/mips                                  16s   1GB
Jan 15 01:53:42 Starting compiler/encoders/riscv
Jan 15 01:53:56 Finished compiler/encoders/riscv                                 13s 855MB
Jan 15 01:53:57 Starting compiler/encoders/ag32
Jan 15 01:54:13 Finished compiler/encoders/ag32                                  15s 532MB
Jan 15 01:54:14 Starting compiler/backend/x64
Jan 15 01:54:31 Finished compiler/backend/x64                                    16s   1GB
Jan 15 01:54:32 Starting compiler/backend/arm6
Jan 15 01:54:50 Finished compiler/backend/arm6                                   17s   1GB
Jan 15 01:54:51 Starting compiler/backend/arm8
Jan 15 01:55:09 Finished compiler/backend/arm8                                   17s 923MB
Jan 15 01:55:10 Starting compiler/backend/mips
Jan 15 01:55:28 Finished compiler/backend/mips                                   16s 902MB
Jan 15 01:55:28 Starting compiler/backend/riscv
Jan 15 01:55:48 Finished compiler/backend/riscv                                  18s   1GB
Jan 15 01:55:48 Starting compiler/backend/ag32
Jan 15 01:57:02 Finished compiler/backend/ag32                                 1m12s   1GB
Jan 15 01:57:03 Starting compiler/parsing/proofs
Jan 15 02:02:58 Finished compiler/parsing/proofs                               5m53s 847MB
Jan 15 02:02:58 Starting compiler/inference/proofs
Jan 15 02:05:52 Finished compiler/inference/proofs                             2m52s   1GB
Jan 15 02:05:53 Starting compiler/backend/semantics
Jan 15 02:13:28 Finished compiler/backend/semantics                            7m34s   1GB
Jan 15 02:13:29 Starting compiler/backend/reg_alloc/proofs
Jan 15 02:16:14 Finished compiler/backend/reg_alloc/proofs                     2m44s 770MB
Jan 15 02:16:15 Starting compiler/backend/proofs
Jan 15 02:55:40 Finished compiler/backend/proofs                              39m24s   3GB
Jan 15 02:55:41 Starting compiler/encoders/x64/proofs
Jan 15 03:05:33 Finished compiler/encoders/x64/proofs                          9m51s   5GB
Jan 15 03:05:34 Starting compiler/encoders/arm6/proofs
Jan 15 03:19:50 Finished compiler/encoders/arm6/proofs                        14m15s   3GB
Jan 15 03:19:50 Starting compiler/encoders/arm8/proofs
Jan 15 03:25:52 Finished compiler/encoders/arm8/proofs                         6m00s   1GB
Jan 15 03:25:53 Starting compiler/encoders/mips/proofs
Jan 15 03:36:14 Finished compiler/encoders/mips/proofs                        10m20s   2GB
Jan 15 03:36:15 Starting compiler/encoders/riscv/proofs
Jan 15 03:44:15 Finished compiler/encoders/riscv/proofs                        7m59s 892MB
Jan 15 03:44:15 Starting compiler/encoders/ag32/proofs
Jan 15 03:47:01 Finished compiler/encoders/ag32/proofs                         2m44s 608MB
Jan 15 03:47:01 Starting compiler/backend/x64/proofs
Jan 15 03:47:21 Finished compiler/backend/x64/proofs                             19s   1GB
Jan 15 03:47:22 Starting compiler/backend/arm6/proofs
Jan 15 03:47:43 Finished compiler/backend/arm6/proofs                            20s 904MB
Jan 15 03:47:44 Starting compiler/backend/arm8/proofs
Jan 15 03:48:03 Finished compiler/backend/arm8/proofs                            18s   1GB
Jan 15 03:48:04 Starting compiler/backend/mips/proofs
Jan 15 03:48:23 Finished compiler/backend/mips/proofs                            18s   1GB
Jan 15 03:48:24 Starting compiler/backend/riscv/proofs
Jan 15 03:48:43 Finished compiler/backend/riscv/proofs                           18s   1GB
Jan 15 03:48:44 Starting compiler/backend/ag32/proofs
Jan 15 03:58:12 Finished compiler/backend/ag32/proofs                          9m27s   2GB
Jan 15 03:58:13 Starting compiler/proofs Jan 15 03:58:13 6539s