CakeML Regression Test

Job 623

CakeML:726e2d5b2688f471f56c465bbd919a1113255f51
  Merge branch 'origin/master' into local [Dec 08 22:32:12]
#577 (local)
Merging into:fc7210e6e390f10177982607373a07ef1e4b5808
  Update for new s-expression syntax (using  [Dec 09 05:04:39]
HOL:5e4369a4a208507b43df4343e08b5fca51872a25
  Slightly extend documentation of fn-update syntax with more example [Dec 08 10:49:26]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 10 06:30:09 Claimed job
Dec 10 06:30:47 Building HOL
Dec 10 06:38:36 Starting developers
Dec 10 06:38:37 Finished developers                                               0s  20MB
Dec 10 06:38:38 Starting developers/bin
Dec 10 06:39:11 Finished developers/bin                                          32s 140MB
Dec 10 06:39:12 Starting semantics/ffi
Dec 10 06:39:48 Finished semantics/ffi                                           34s 472MB
Dec 10 06:39:48 Starting semantics
Dec 10 06:41:21 Finished semantics                                             1m32s 870MB
Dec 10 06:41:22 Starting semantics/proofs
Dec 10 06:44:27 Finished semantics/proofs                                      3m03s   1GB
Dec 10 06:44:27 Starting basis/pure
Dec 10 06:48:07 Finished basis/pure                                            3m38s 769MB
Dec 10 06:48:08 Starting translator
Dec 10 06:49:24 Finished translator                                            1m15s   1GB
Dec 10 06:49:25 Starting compiler/parsing
Dec 10 06:50:43 Finished compiler/parsing                                      1m17s   2GB
Dec 10 06:50:44 Starting characteristic
Dec 10 06:53:17 Finished characteristic                                        2m32s   1GB
Dec 10 06:53:18 Starting translator/monadic
Dec 10 06:54:46 Finished translator/monadic                                    1m27s   1GB
Dec 10 06:54:47 Starting basis
Dec 10 07:10:57 Finished basis                                                16m09s   3GB
Dec 10 07:10:58 Starting compiler/inference
Dec 10 07:12:58 Finished compiler/inference                                    1m58s   1GB
Dec 10 07:12:59 Starting compiler/backend/reg_alloc
Dec 10 07:13:47 Finished compiler/backend/reg_alloc                              48s 909MB
Dec 10 07:13:48 Starting compiler/backend/gc
Dec 10 07:21:23 Finished compiler/backend/gc                                   7m33s   2GB
Dec 10 07:21:23 Starting compiler/backend
Dec 10 07:21:26 Finished compiler/backend                                         1s  17MB
Dec 10 07:21:27 Starting compiler/encoders/asm
Dec 10 07:21:28 Finished compiler/encoders/asm                                    0s  17MB
Dec 10 07:21:29 Starting compiler/encoders/x64
Dec 10 07:22:18 Finished compiler/encoders/x64                                   47s 531MB
Dec 10 07:22:18 Starting compiler/encoders/arm6
Dec 10 07:24:00 Finished compiler/encoders/arm6                                1m40s   1GB
Dec 10 07:24:01 Starting compiler/encoders/arm8
Dec 10 07:24:26 Finished compiler/encoders/arm8                                  23s 455MB
Dec 10 07:24:27 Starting compiler/encoders/mips
Dec 10 07:25:23 Finished compiler/encoders/mips                                  55s 863MB
Dec 10 07:25:24 Starting compiler/encoders/riscv
Dec 10 07:26:24 Finished compiler/encoders/riscv                               1m00s 863MB
Dec 10 07:26:25 Starting compiler/encoders/ag32
Dec 10 07:26:42 Finished compiler/encoders/ag32                                  15s 770MB
Dec 10 07:26:43 Starting compiler/backend/x64
Dec 10 07:27:02 Finished compiler/backend/x64                                    17s   1GB
Dec 10 07:27:03 Starting compiler/backend/arm6
Dec 10 07:27:21 Finished compiler/backend/arm6                                   17s   1GB
Dec 10 07:27:21 Starting compiler/backend/arm8
Dec 10 07:27:40 Finished compiler/backend/arm8                                   17s   1GB
Dec 10 07:27:40 Starting compiler/backend/mips
Dec 10 07:27:59 Finished compiler/backend/mips                                   17s   1GB
Dec 10 07:27:59 Starting compiler/backend/riscv
Dec 10 07:28:18 Finished compiler/backend/riscv                                  17s   1GB
Dec 10 07:28:19 Starting compiler/backend/ag32
Dec 10 07:29:33 Finished compiler/backend/ag32                                 1m13s   1GB
Dec 10 07:29:34 Starting compiler/parsing/proofs
Dec 10 07:35:48 Finished compiler/parsing/proofs                               6m12s 908MB
Dec 10 07:35:49 Starting compiler/inference/proofs
Dec 10 07:38:44 Finished compiler/inference/proofs                             2m54s 932MB
Dec 10 07:38:45 Starting compiler/backend/semantics
Dec 10 07:47:58 Finished compiler/backend/semantics                            9m12s   2GB
Dec 10 07:47:59 Starting compiler/backend/reg_alloc/proofs
Dec 10 07:50:49 Finished compiler/backend/reg_alloc/proofs                     2m49s 508MB
Dec 10 07:50:50 Starting compiler/backend/proofs
Dec 10 08:34:18 Finished compiler/backend/proofs                              43m26s   3GB
Dec 10 08:34:19 Starting compiler/encoders/x64/proofs
Dec 10 08:44:47 Finished compiler/encoders/x64/proofs                         10m27s   5GB
Dec 10 08:44:47 Starting compiler/encoders/arm6/proofs
Dec 10 08:59:43 Finished compiler/encoders/arm6/proofs                        14m55s   3GB
Dec 10 08:59:44 Starting compiler/encoders/arm8/proofs
Dec 10 09:05:54 Finished compiler/encoders/arm8/proofs                         6m09s   1GB
Dec 10 09:05:55 Starting compiler/encoders/mips/proofs
Dec 10 09:16:23 Finished compiler/encoders/mips/proofs                        10m27s   2GB
Dec 10 09:16:24 Starting compiler/encoders/riscv/proofs
Dec 10 09:24:27 Finished compiler/encoders/riscv/proofs                        8m02s 863MB
Dec 10 09:24:28 Starting compiler/encoders/ag32/proofs
Dec 10 09:27:14 Finished compiler/encoders/ag32/proofs                         2m45s 955MB
Dec 10 09:27:15 Starting compiler/backend/x64/proofs
Dec 10 09:27:35 Finished compiler/backend/x64/proofs                             19s   1GB
Dec 10 09:27:36 Starting compiler/backend/arm6/proofs
Dec 10 09:27:57 Finished compiler/backend/arm6/proofs                            21s 872MB
Dec 10 09:27:58 Starting compiler/backend/arm8/proofs
Dec 10 09:28:18 Finished compiler/backend/arm8/proofs                            18s   1GB
Dec 10 09:28:19 Starting compiler/backend/mips/proofs
Dec 10 09:28:40 Finished compiler/backend/mips/proofs                            20s   1GB
Dec 10 09:28:41 Starting compiler/backend/riscv/proofs
Dec 10 09:29:01 Finished compiler/backend/riscv/proofs                           19s   1GB
Dec 10 09:29:02 Starting compiler/backend/ag32/proofs
Dec 10 09:38:39 Finished compiler/backend/ag32/proofs                          9m36s   2GB
Dec 10 09:38:40 Starting compiler/proofs
Dec 10 09:39:59 Finished compiler/proofs                                       1m18s   2GB
Dec 10 09:40:00 Starting candle/set-theory
Dec 10 09:40:31 Finished candle/set-theory                                       30s 628MB
Dec 10 09:40:32 Starting candle/syntax-lib
Dec 10 09:40:43 Finished candle/syntax-lib                                        9s 563MB
Dec 10 09:40:43 Starting candle/standard/syntax
Dec 10 09:42:18 Finished candle/standard/syntax                                1m33s 683MB
Dec 10 09:42:19 Starting candle/standard/semantics
Dec 10 09:43:39 Finished candle/standard/semantics                             1m19s 832MB
Dec 10 09:43:40 Starting candle/standard/monadic
Dec 10 09:45:15 Finished candle/standard/monadic                               1m34s   1GB
Dec 10 09:45:16 Starting candle/standard/ml_kernel
Dec 10 10:00:33 Finished candle/standard/ml_kernel                            15m16s   2GB
Dec 10 10:00:33 Starting candle/standard/opentheory
Dec 10 10:08:25 Finished candle/standard/opentheory                            7m50s   2GB
Dec 10 10:08:25 Starting candle/standard/opentheory/compilation
Dec 10 10:37:53 Finished candle/standard/opentheory/compilation               29m27s  23GB
Dec 10 10:37:54 Starting candle/standard/opentheory/compilation/proofs
Dec 10 10:38:31 Finished candle/standard/opentheory/compilation/proofs           36s   4GB
Dec 10 10:38:32 Starting characteristic/examples
Dec 10 10:40:02 Finished characteristic/examples                               1m28s   1GB
Dec 10 10:40:03 Starting tutorial/solutions
Dec 10 10:53:18 Finished tutorial/solutions                                   13m13s   6GB
Dec 10 10:53:18 Starting translator/monadic/examples
Dec 10 10:55:11 Finished translator/monadic/examples                           1m51s   2GB
Dec 10 10:55:12 Starting examples
Dec 10 11:01:39 Finished examples                                              6m26s   3GB
Dec 10 11:01:40 Starting examples/compilation/x64
Dec 10 12:57:44 Finished examples/compilation/x64                           1h56m03s  10GB
Dec 10 12:57:45 Starting examples/compilation/x64/proofs
Dec 10 12:59:34 Finished examples/compilation/x64/proofs                       1m47s   3GB
Dec 10 12:59:35 Starting examples/compilation/ag32
Dec 10 13:25:55 Finished examples/compilation/ag32                            26m19s   3GB
Dec 10 13:25:56 Starting examples/compilation/ag32/proofs
Dec 10 13:26:26 Finished examples/compilation/ag32/proofs                        28s   2GB
Dec 10 13:26:26 Starting compiler/benchmarks
Dec 10 13:26:27 Finished compiler/benchmarks                                      0s   4MB
Dec 10 13:26:28 Starting translator/okasaki-examples
Dec 10 13:30:00 Finished translator/okasaki-examples                           3m31s   1GB
Dec 10 13:30:01 Starting translator/other-examples
Dec 10 13:33:15 Finished translator/other-examples                             3m13s   1GB
Dec 10 13:33:16 Starting compiler/parsing/tests
Dec 10 13:33:42 Finished compiler/parsing/tests                                  25s 337MB
Dec 10 13:33:42 Starting compiler/inference/tests
Dec 10 13:37:49 Finished compiler/inference/tests                              4m06s   2GB
Dec 10 13:37:50 Starting compiler/bootstrap/translation
Dec 10 16:51:30 Finished compiler/bootstrap/translation                     3h13m38s  51GB
Dec 10 16:51:31 Starting unverified/sexpr-bootstrap/x64/64
Dec 10 16:59:38 Finished unverified/sexpr-bootstrap/x64/64                     8m06s  13GB
Dec 10 16:59:39 Starting unverified/sexpr-bootstrap/x64/32
Dec 10 17:05:05 Finished unverified/sexpr-bootstrap/x64/32                     5m25s  17GB
Dec 10 17:05:06 Starting compiler/bootstrap/compilation/x64/64 Dec 10 17:05:06 2663s