CakeML Regression Test

Job 1438

CakeML:f5e3ab1ccc46d2bbfaa3089cfd3927dd7f9a6e38
  Add sub-sptree computation to `backendComputeLib` and `miscTheory` [Jan 13 21:17:27]
#810 (master)
Merging into:3c6495906dc020e093e2f5cf101cea1cba2fc468
  Fix breakage caused by change to sorted_map in HOL [Jan 05 15:57:59]
HOL:07dca05c1eb441bb9b18556ae55f275d2518bade
  Fix bugs in Makefiles/lib files preventing Lassie from compiling [Jan 06 06:03:07]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 14 07:22:05 Claimed job
Jan 14 07:22:09 Reusing HOL
Jan 14 07:22:56 Starting developers
Jan 14 07:23:00 Finished developers                                               4s  84MB
Jan 14 07:23:00 Starting developers/bin
Jan 14 07:23:07 Finished developers/bin                                           6s   1GB
Jan 14 07:23:07 Starting semantics/ffi
Jan 14 07:23:19 Finished semantics/ffi                                           11s 184MB
Jan 14 07:23:20 Starting semantics
Jan 14 07:24:53 Finished semantics                                             1m33s   1GB
Jan 14 07:24:53 Starting semantics/proofs
Jan 14 07:28:33 Finished semantics/proofs                                      3m39s 946MB
Jan 14 07:28:33 Starting semantics/alt_semantics
Jan 14 07:28:42 Finished semantics/alt_semantics                                  8s 300MB
Jan 14 07:28:42 Starting semantics/alt_semantics/proofs
Jan 14 07:31:01 Finished semantics/alt_semantics/proofs                        2m18s 755MB
Jan 14 07:31:01 Starting basis/pure
Jan 14 07:31:54 Finished basis/pure                                              52s 770MB
Jan 14 07:31:54 Starting translator
Jan 14 07:34:45 Finished translator                                            2m50s   1GB
Jan 14 07:34:45 Starting compiler/parsing
Jan 14 07:36:02 Finished compiler/parsing                                      1m16s   2GB
Jan 14 07:36:02 Starting characteristic
Jan 14 07:42:23 Finished characteristic                                        6m20s   1GB
Jan 14 07:42:23 Starting translator/monadic
Jan 14 07:44:06 Finished translator/monadic                                    1m42s   1GB
Jan 14 07:44:06 Starting basis
Jan 14 08:22:43 Finished basis                                                38m35s  11GB
Jan 14 08:22:43 Starting compiler/inference
Jan 14 08:23:51 Finished compiler/inference                                    1m06s   1GB
Jan 14 08:23:51 Starting compiler/backend/reg_alloc
Jan 14 08:24:59 Finished compiler/backend/reg_alloc                            1m08s   1GB
Jan 14 08:24:59 Starting compiler/backend/gc
Jan 14 08:28:42 Finished compiler/backend/gc                                   3m42s   2GB
Jan 14 08:28:42 Starting compiler/backend
Jan 14 08:34:04 Finished compiler/backend                                      5m21s   4GB
Jan 14 08:34:04 Starting compiler/encoders/asm
Jan 14 08:34:27 Finished compiler/encoders/asm                                   22s 782MB
Jan 14 08:34:27 Starting compiler/encoders/x64
Jan 14 08:34:54 Finished compiler/encoders/x64                                   26s 770MB
Jan 14 08:34:55 Starting compiler/encoders/arm7
Jan 14 08:35:49 Finished compiler/encoders/arm7                                  54s   1GB
Jan 14 08:35:49 Starting compiler/encoders/arm8
Jan 14 08:36:03 Finished compiler/encoders/arm8                                  13s 944MB
Jan 14 08:36:03 Starting compiler/encoders/mips
Jan 14 08:36:22 Finished compiler/encoders/mips                                  18s   1GB
Jan 14 08:36:22 Starting compiler/encoders/riscv
Jan 14 08:36:37 Finished compiler/encoders/riscv                                 15s 861MB
Jan 14 08:36:38 Starting compiler/encoders/ag32
Jan 14 08:36:57 Finished compiler/encoders/ag32                                  19s 811MB
Jan 14 08:36:57 Starting compiler/backend/x64
Jan 14 08:37:18 Finished compiler/backend/x64                                    21s   1GB
Jan 14 08:37:19 Starting compiler/backend/arm7
Jan 14 08:37:41 Finished compiler/backend/arm7                                   22s   1GB
Jan 14 08:37:41 Starting compiler/backend/arm8
Jan 14 08:38:00 Finished compiler/backend/arm8                                   19s   1GB
Jan 14 08:38:01 Starting compiler/backend/mips
Jan 14 08:38:21 Finished compiler/backend/mips                                   19s   1GB
Jan 14 08:38:21 Starting compiler/backend/riscv
Jan 14 08:38:42 Finished compiler/backend/riscv                                  21s   1GB
Jan 14 08:38:42 Starting compiler/backend/ag32
Jan 14 08:39:58 Finished compiler/backend/ag32                                 1m15s   1GB
Jan 14 08:39:59 Starting compiler/parsing/proofs
Jan 14 08:46:09 Finished compiler/parsing/proofs                               6m10s   1GB
Jan 14 08:46:09 Starting compiler/inference/proofs
Jan 14 08:49:01 Finished compiler/inference/proofs                             2m51s   1GB
Jan 14 08:49:01 Starting compiler/backend/semantics
Jan 14 09:23:39 Finished compiler/backend/semantics                           34m37s   2GB
Jan 14 09:23:40 Starting compiler/backend/reg_alloc/proofs
Jan 14 09:27:34 Finished compiler/backend/reg_alloc/proofs                     3m54s 751MB
Jan 14 09:27:34 Starting compiler/backend/proofs
Jan 14 10:32:12 Finished compiler/backend/proofs                            1h04m37s  12GB
Jan 14 10:32:12 Starting compiler/encoders/x64/proofs
Jan 14 10:43:50 Finished compiler/encoders/x64/proofs                         11m37s   1GB
Jan 14 10:43:50 Starting compiler/encoders/arm7/proofs
Jan 14 10:58:46 Finished compiler/encoders/arm7/proofs                        14m55s   3GB
Jan 14 10:58:46 Starting compiler/encoders/arm8/proofs
Jan 14 11:06:05 Finished compiler/encoders/arm8/proofs                         7m18s   1GB
Jan 14 11:06:05 Starting compiler/encoders/mips/proofs
Jan 14 11:17:18 Finished compiler/encoders/mips/proofs                        11m13s   2GB
Jan 14 11:17:18 Starting compiler/encoders/riscv/proofs
Jan 14 11:27:07 Finished compiler/encoders/riscv/proofs                        9m48s   1GB
Jan 14 11:27:07 Starting compiler/encoders/ag32/proofs
Jan 14 11:29:59 Finished compiler/encoders/ag32/proofs                         2m52s 764MB
Jan 14 11:29:59 Starting compiler/backend/x64/proofs
Jan 14 11:30:22 Finished compiler/backend/x64/proofs                             22s   1GB
Jan 14 11:30:22 Starting compiler/backend/arm7/proofs
Jan 14 11:30:46 Finished compiler/backend/arm7/proofs                            23s   1GB
Jan 14 11:30:46 Starting compiler/backend/arm8/proofs
Jan 14 11:31:08 Finished compiler/backend/arm8/proofs                            22s   1GB
Jan 14 11:31:08 Starting compiler/backend/mips/proofs
Jan 14 11:31:30 Finished compiler/backend/mips/proofs                            21s   1GB
Jan 14 11:31:31 Starting compiler/backend/riscv/proofs
Jan 14 11:31:53 Finished compiler/backend/riscv/proofs                           22s   1GB
Jan 14 11:31:53 Starting compiler/backend/ag32/proofs
Jan 14 11:46:03 Finished compiler/backend/ag32/proofs                         14m09s   3GB
Jan 14 11:46:04 Starting compiler/proofs
Jan 14 11:48:07 Finished compiler/proofs                                       2m03s   5GB
Jan 14 11:48:08 Starting candle/set-theory
Jan 14 11:48:39 Finished candle/set-theory                                       31s 779MB
Jan 14 11:48:39 Starting candle/syntax-lib
Jan 14 11:48:52 Finished candle/syntax-lib                                       12s 503MB
Jan 14 11:48:52 Starting candle/standard/syntax
Jan 14 11:50:56 Finished candle/standard/syntax                                2m04s   1GB
Jan 14 11:50:57 Starting candle/standard/semantics
Jan 14 11:52:55 Finished candle/standard/semantics                             1m57s 993MB
Jan 14 11:52:55 Starting candle/standard/monadic
Jan 14 11:54:47 Finished candle/standard/monadic                               1m51s   1GB
Jan 14 11:54:47 Starting candle/standard/ml_kernel
Jan 14 12:00:45 Finished candle/standard/ml_kernel                             5m57s   6GB
Jan 14 12:00:45 Starting candle/overloading/syntax
Jan 14 12:04:08 Finished candle/overloading/syntax                             3m23s   1GB
Jan 14 12:04:08 Starting candle/overloading/semantics
Jan 14 12:17:13 Finished candle/overloading/semantics                         13m04s   4GB
Jan 14 12:17:14 Starting characteristic/examples
Jan 14 12:18:36 Finished characteristic/examples                               1m22s   3GB
Jan 14 12:18:36 Starting tutorial/solutions Jan 14 12:18:36 168s