Job 3451

CakeML:f6325e1f9f67f0e6b4633f7a0e9891921d2ba634
  Fix a parser bug and add some static examples [Aug 14 09:04:45]
#1450 (IlmariReissumies:exceptionSemantics)
Merging into:0fe74ee25d03a7d6d72892927edcaf5ae9677e10
  BVI inline (#1445) [Aug 12 13:47:53]
HOL:fac52534ceb43806d35b11f91dafd558266bcbb6
  Remove yet one more same_const instance in Compute.sml [Aug 02 03:13:23]
Machine:timtam

Aug 14 09:30:16 Claimed job
Aug 14 09:30:20 Reusing HOL
Aug 14 09:30:28 Starting developers
Aug 14 09:30:34 Finished developers                                               4s 237MB
Aug 14 09:30:35 Starting developers/bin
Aug 14 09:30:38 Finished developers/bin                                           2s  93MB
Aug 14 09:30:39 Starting misc
Aug 14 09:31:25 Finished misc                                                    44s   1GB
Aug 14 09:31:25 Starting compiler/proofs
Aug 14 10:43:38 Finished compiler/proofs                                    1h12m12s  11GB
Aug 14 10:43:39 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 14 17:04:00 Finished compiler/bootstrap/compilation/x64/64/proofs       6h20m19s  96GB
Aug 14 17:04:01 Starting semantics/ffi
Aug 14 17:04:13 Finished semantics/ffi                                           11s 562MB
Aug 14 17:04:14 Starting semantics
Aug 14 17:04:15 Finished semantics                                                0s  91MB
Aug 14 17:04:16 Starting semantics/proofs
Aug 14 17:04:40 Finished semantics/proofs                                        23s 706MB
Aug 14 17:04:41 Starting semantics/alt_semantics
Aug 14 17:04:59 Finished semantics/alt_semantics                                 17s 515MB
Aug 14 17:05:00 Starting semantics/alt_semantics/proofs
Aug 14 17:08:48 Finished semantics/alt_semantics/proofs                        3m47s   1GB
Aug 14 17:08:49 Starting basis/pure
Aug 14 17:08:50 Finished basis/pure                                               0s  87MB
Aug 14 17:08:51 Starting translator
Aug 14 17:10:02 Finished translator                                            1m10s   2GB
Aug 14 17:10:03 Starting compiler/parsing
Aug 14 17:10:49 Finished compiler/parsing                                        45s   2GB
Aug 14 17:10:50 Starting characteristic
Aug 14 17:10:52 Finished characteristic                                           0s 119MB
Aug 14 17:10:53 Starting translator/monadic
Aug 14 17:10:54 Finished translator/monadic                                       0s 117MB
Aug 14 17:10:55 Starting translator/monadic/monad_base
Aug 14 17:10:57 Finished translator/monadic/monad_base                            0s  92MB
Aug 14 17:10:58 Starting profiler
Aug 14 17:11:29 Finished profiler                                                30s   1GB
Aug 14 17:11:30 Starting basis
Aug 14 17:13:17 Finished basis                                                 1m45s   4GB
Aug 14 17:13:17 Starting compiler
Aug 14 17:13:20 Finished compiler                                                 1s 230MB
Aug 14 17:13:21 Starting compiler/inference
Aug 14 17:13:23 Finished compiler/inference                                       0s 115MB
Aug 14 17:13:23 Starting compiler/backend/reg_alloc
Aug 14 17:13:25 Finished compiler/backend/reg_alloc                               0s  87MB
Aug 14 17:13:26 Starting compiler/backend/gc
Aug 14 17:13:28 Finished compiler/backend/gc                                      1s 133MB
Aug 14 17:13:29 Starting compiler/backend
Aug 14 17:13:31 Finished compiler/backend                                         1s 138MB
Aug 14 17:13:32 Starting compiler/encoders/asm
Aug 14 17:13:33 Finished compiler/encoders/asm                                    0s  98MB
Aug 14 17:13:34 Starting compiler/encoders/x64
Aug 14 17:13:36 Finished compiler/encoders/x64                                    0s 104MB
Aug 14 17:13:37 Starting compiler/encoders/arm7
Aug 14 17:13:38 Finished compiler/encoders/arm7                                   0s 104MB
Aug 14 17:13:39 Starting compiler/encoders/arm8
Aug 14 17:13:41 Finished compiler/encoders/arm8                                   0s 104MB
Aug 14 17:13:42 Starting compiler/encoders/arm8_asl
Aug 14 17:14:04 Finished compiler/encoders/arm8_asl                              21s   1GB
Aug 14 17:14:05 Starting compiler/encoders/mips
Aug 14 17:14:07 Finished compiler/encoders/mips                                   0s 104MB
Aug 14 17:14:08 Starting compiler/encoders/riscv
Aug 14 17:14:09 Finished compiler/encoders/riscv                                  0s 108MB
Aug 14 17:14:10 Starting compiler/encoders/ag32
Aug 14 17:14:12 Finished compiler/encoders/ag32                                   0s 100MB
Aug 14 17:14:12 Starting compiler/encoders/tests
Aug 14 17:14:14 Finished compiler/encoders/tests                                  1s 126MB
Aug 14 17:14:15 Starting compiler/encoders/monadic_enc
Aug 14 17:14:38 Finished compiler/encoders/monadic_enc                           22s   1GB
Aug 14 17:14:39 Starting compiler/backend/x64
Aug 14 17:14:41 Finished compiler/backend/x64                                     1s 145MB
Aug 14 17:14:42 Starting compiler/backend/arm7
Aug 14 17:14:44 Finished compiler/backend/arm7                                    1s 145MB
Aug 14 17:14:45 Starting compiler/backend/arm8
Aug 14 17:14:47 Finished compiler/backend/arm8                                    1s 145MB
Aug 14 17:14:48 Starting compiler/backend/mips
Aug 14 17:14:49 Finished compiler/backend/mips                                    1s 147MB
Aug 14 17:14:50 Starting compiler/backend/riscv
Aug 14 17:14:52 Finished compiler/backend/riscv                                   1s 148MB
Aug 14 17:14:53 Starting compiler/backend/ag32
Aug 14 17:15:56 Finished compiler/backend/ag32                                 1m02s   2GB
Aug 14 17:15:57 Starting compiler/backend/pattern_matching
Aug 14 17:16:11 Finished compiler/backend/pattern_matching                       13s 888MB
Aug 14 17:16:12 Starting compiler/parsing/ocaml
Aug 14 17:18:17 Finished compiler/parsing/ocaml                                2m03s   1GB
Aug 14 17:18:18 Starting compiler/printing
Aug 14 17:19:11 Finished compiler/printing                                       52s   1GB
Aug 14 17:19:12 Starting compiler/parsing/proofs
Aug 14 17:19:13 Finished compiler/parsing/proofs                                  0s  98MB
Aug 14 17:19:14 Starting compiler/inference/proofs
Aug 14 17:19:16 Finished compiler/inference/proofs                                0s 115MB
Aug 14 17:19:17 Starting compiler/backend/semantics
Aug 14 17:22:23 Finished compiler/backend/semantics                            3m04s   3GB
Aug 14 17:22:24 Starting compiler/backend/reg_alloc/proofs
Aug 14 17:22:26 Finished compiler/backend/reg_alloc/proofs                        1s 122MB
Aug 14 17:22:27 Starting compiler/backend/proofs
Aug 14 17:23:13 Finished compiler/backend/proofs                                 45s   2GB
Aug 14 17:23:13 Starting compiler/backend/serialiser
Aug 14 17:23:15 Finished compiler/backend/serialiser                              1s 155MB
Aug 14 17:23:16 Starting compiler/encoders/x64/proofs
Aug 14 17:23:18 Finished compiler/encoders/x64/proofs                             0s 110MB
Aug 14 17:23:19 Starting compiler/encoders/arm7/proofs
Aug 14 17:35:48 Finished compiler/encoders/arm7/proofs                        12m28s   9GB
Aug 14 17:35:49 Starting compiler/encoders/arm8/proofs
Aug 14 17:43:49 Finished compiler/encoders/arm8/proofs                         7m58s   3GB
Aug 14 17:43:50 Starting compiler/encoders/arm8_asl/proofs
Aug 14 18:01:07 Finished compiler/encoders/arm8_asl/proofs                    17m16s   3GB
Aug 14 18:01:08 Starting compiler/encoders/mips/proofs
Aug 14 18:11:45 Finished compiler/encoders/mips/proofs                        10m35s   4GB
Aug 14 18:11:46 Starting compiler/encoders/riscv/proofs
Aug 14 18:21:10 Finished compiler/encoders/riscv/proofs                        9m23s   3GB
Aug 14 18:21:11 Starting compiler/encoders/ag32/proofs
Aug 14 18:24:16 Finished compiler/encoders/ag32/proofs                         3m04s   1GB
Aug 14 18:24:17 Starting compiler/backend/x64/proofs
Aug 14 18:24:19 Finished compiler/backend/x64/proofs                              1s 231MB
Aug 14 18:24:20 Starting compiler/backend/arm7/proofs
Aug 14 18:25:00 Finished compiler/backend/arm7/proofs                            39s   2GB
Aug 14 18:25:01 Starting compiler/backend/arm8/proofs
Aug 14 18:25:40 Finished compiler/backend/arm8/proofs                            37s   2GB
Aug 14 18:25:40 Starting compiler/backend/arm8_asl
Aug 14 18:26:16 Finished compiler/backend/arm8_asl                               35s   2GB
Aug 14 18:26:17 Starting compiler/backend/mips/proofs
Aug 14 18:26:58 Finished compiler/backend/mips/proofs                            39s   2GB
Aug 14 18:26:59 Starting compiler/backend/riscv/proofs
Aug 14 18:27:44 Finished compiler/backend/riscv/proofs                           44s   2GB
Aug 14 18:27:45 Starting compiler/backend/ag32/proofs
Aug 14 18:37:22 Finished compiler/backend/ag32/proofs                          9m36s   5GB
Aug 14 18:37:23 Starting compiler/backend/cv_compute
Aug 14 18:37:55 Finished compiler/backend/cv_compute                             31s   1GB
Aug 14 18:37:56 Starting cv_translator
Aug 14 18:43:17 Finished cv_translator                                         5m19s   4GB
Aug 14 18:43:18 Starting candle
Aug 14 18:43:19 Finished candle                                                   0s   7MB
Aug 14 18:43:20 Starting candle/set-theory
Aug 14 18:43:37 Finished candle/set-theory                                       16s 899MB
Aug 14 18:43:38 Starting candle/syntax-lib
Aug 14 18:43:40 Finished candle/syntax-lib                                        0s  81MB
Aug 14 18:43:40 Starting candle/standard
Aug 14 18:43:41 Finished candle/standard                                          0s   7MB
Aug 14 18:43:42 Starting candle/standard/syntax
Aug 14 18:43:58 Finished candle/standard/syntax                                  14s 766MB
Aug 14 18:43:58 Starting candle/standard/syntax/little_theories
Aug 14 18:45:11 Finished candle/standard/syntax/little_theories                1m11s 898MB
Aug 14 18:45:12 Starting candle/standard/semantics
Aug 14 18:45:13 Finished candle/standard/semantics                                0s  96MB
Aug 14 18:45:14 Starting candle/standard/monadic
Aug 14 18:45:16 Finished candle/standard/monadic                                  0s 121MB
Aug 14 18:45:17 Starting candle/standard/ml_kernel
Aug 14 18:47:30 Finished candle/standard/ml_kernel                             2m12s   4GB
Aug 14 18:47:31 Starting candle/overloading
Aug 14 18:47:32 Finished candle/overloading                                       0s   7MB
Aug 14 18:47:33 Starting candle/overloading/syntax
Aug 14 18:50:48 Finished candle/overloading/syntax                             3m14s   2GB
Aug 14 18:50:48 Starting candle/overloading/semantics
Aug 14 19:00:27 Finished candle/overloading/semantics                          9m36s   4GB
Aug 14 19:00:28 Starting candle/overloading/monadic
Aug 14 19:02:29 Finished candle/overloading/monadic                            2m00s   1GB
Aug 14 19:02:30 Starting candle/overloading/ml_kernel
Aug 14 19:09:43 Finished candle/overloading/ml_kernel                          7m11s   6GB
Aug 14 19:09:44 Starting candle/overloading/ml_checker
Aug 14 19:12:27 Finished candle/overloading/ml_checker                         2m42s   6GB
Aug 14 19:12:28 Starting candle/prover
Aug 14 19:12:30 Finished candle/prover                                            1s 177MB
Aug 14 19:12:31 Starting candle/prover/compute
Aug 14 19:12:33 Finished candle/prover/compute                                    1s 163MB
Aug 14 19:12:34 Starting pancake
Aug 14 19:12:36 Finished pancake                                                  1s 149MB
Aug 14 19:12:37 Starting pancake/semantics
Aug 14 19:15:41 Finished pancake/semantics                                     3m03s   2GB
Aug 14 19:15:42 Starting pancake/parser
Aug 14 19:16:24 Finished pancake/parser                                          41s 565MB
Aug 14 19:16:24 Starting pancake/static_checker
Aug 14 19:19:00 Finished pancake/static_checker                                2m34s   1GB
Aug 14 19:19:01 Starting pancake/proofs
Aug 14 19:36:03 Finished pancake/proofs                                       17m01s   5GB
Aug 14 19:36:03 Starting compiler/dafny
Aug 14 19:36:28 Finished compiler/dafny                                          23s 663MB
Aug 14 19:36:29 Starting compiler/dafny/translation
Aug 14 19:47:14 Finished compiler/dafny/translation                           10m44s   6GB
Aug 14 19:47:15 Starting compiler/dafny/compilation
Aug 14 19:49:25 Finished compiler/dafny/compilation                            2m09s   6GB
Aug 14 19:49:26 Starting compiler/dafny/semantics
Aug 14 19:50:06 Finished compiler/dafny/semantics                                38s 504MB
Aug 14 19:50:06 Starting compiler/dafny/proofs
Aug 14 19:51:47 Finished compiler/dafny/proofs                                 1m39s   1GB
Aug 14 19:51:48 Starting compiler/dafny/vcg
Aug 14 19:51:49 Finished compiler/dafny/vcg                                       0s 104MB
Aug 14 19:51:50 Starting compiler/dafny/vcg/examples
Aug 14 19:52:19 Finished compiler/dafny/vcg/examples                             27s   1GB
Aug 14 19:52:20 Starting compiler/scheme
Aug 14 19:52:47 Finished compiler/scheme                                         26s   1GB
Aug 14 19:52:48 Starting compiler/scheme/translation
Aug 14 19:59:37 Finished compiler/scheme/translation                           6m48s   7GB
Aug 14 19:59:38 Starting compiler/scheme/compilation
Aug 14 20:01:15 Finished compiler/scheme/compilation                           1m36s   5GB
Aug 14 20:01:16 Starting compiler/scheme/proofs
Aug 14 20:07:59 Finished compiler/scheme/proofs                                6m42s   2GB
Aug 14 20:08:00 Starting characteristic/examples
Aug 14 20:09:34 Finished characteristic/examples                               1m32s   5GB
Aug 14 20:09:34 Starting tutorial/solutions
Aug 14 20:12:23 Finished tutorial/solutions                                    2m47s   5GB
Aug 14 20:12:24 Starting translator/monadic/examples
Aug 14 20:15:30 Finished translator/monadic/examples                           3m04s   3GB
Aug 14 20:15:30 Starting examples
Aug 14 20:19:48 Finished examples                                              4m16s   3GB
Aug 14 20:19:48 Starting examples/compilation
Aug 14 20:19:49 Finished examples/compilation                                     0s   7MB
Aug 14 20:19:50 Starting examples/compilation/x64
Aug 14 20:28:42 Finished examples/compilation/x64                              8m51s   4GB
Aug 14 20:28:43 Starting examples/compilation/x64/proofs
Aug 14 20:32:29 Finished examples/compilation/x64/proofs                       3m44s   4GB
Aug 14 20:32:30 Starting examples/compilation/ag32
Aug 14 20:35:17 Finished examples/compilation/ag32                             2m46s   3GB
Aug 14 20:35:18 Starting examples/compilation/ag32/proofs
Aug 14 20:36:45 Finished examples/compilation/ag32/proofs                      1m25s   5GB
Aug 14 20:36:46 Starting examples/lpr_checker
Aug 14 20:37:25 Finished examples/lpr_checker                                    38s   1GB
Aug 14 20:37:26 Starting examples/lpr_checker/array
Aug 14 20:50:23 Finished examples/lpr_checker/array                           12m56s   7GB
Aug 14 20:50:23 Starting examples/lpr_checker/array/compilation
Aug 14 20:54:11 Finished examples/lpr_checker/array/compilation                3m46s   6GB
Aug 14 20:54:12 Starting examples/lpr_checker/array/compilation/proofs
Aug 14 20:55:53 Finished examples/lpr_checker/array/compilation/proofs         1m40s   5GB
Aug 14 20:55:54 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 14 20:57:41 Finished examples/lpr_checker/array/compilation/proofsARM8     1m45s   6GB
Aug 14 20:57:41 Starting .
Aug 14 20:57:45 Finished .                                                        2s 359MB
Aug 14 20:57:46 Starting examples/xlrup_checker
Aug 14 20:58:40 Finished examples/xlrup_checker                                  53s   1GB
Aug 14 20:58:41 Starting examples/xlrup_checker/array
Aug 14 21:08:07 Finished examples/xlrup_checker/array                          9m25s   3GB
Aug 14 21:08:08 Starting examples/xlrup_checker/array/compilation
Aug 14 21:09:46 Finished examples/xlrup_checker/array/compilation              1m36s   5GB
Aug 14 21:09:47 Starting examples/xlrup_checker/array/compilation/proofs
Aug 14 21:11:18 Finished examples/xlrup_checker/array/compilation/proofs       1m30s   5GB
Aug 14 21:11:19 Starting examples/cnf
Aug 14 21:11:42 Finished examples/cnf                                            22s 422MB
Aug 14 21:11:43 Starting examples/cnf/array
Aug 14 21:14:08 Finished examples/cnf/array                                    2m24s   2GB
Aug 14 21:14:09 Starting examples/cnf/dist
Aug 14 21:14:15 Finished examples/cnf/dist                                        5s 264MB
Aug 14 21:14:16 Starting examples/cnf/dist/array
Aug 14 21:21:11 Finished examples/cnf/dist/array                               6m53s   6GB
Aug 14 21:21:12 Starting examples/cnf/dist/array/compilation
Aug 14 21:22:16 Finished examples/cnf/dist/array/compilation                   1m03s   3GB
Aug 14 21:22:17 Starting examples/cnf/dist/array/compilation/proofs
Aug 14 21:23:37 Finished examples/cnf/dist/array/compilation/proofs            1m18s   4GB
Aug 14 21:23:37 Starting examples/scpog_checker
Aug 14 21:24:26 Finished examples/scpog_checker                                  47s   1GB
Aug 14 21:24:27 Starting examples/scpog_checker/array
Aug 14 21:30:18 Finished examples/scpog_checker/array                          5m50s   2GB
Aug 14 21:30:19 Starting examples/scpog_checker/array/compilation
Aug 14 21:32:55 Finished examples/scpog_checker/array/compilation              2m34s   8GB
Aug 14 21:32:56 Starting examples/scpog_checker/array/compilation/proofs
Aug 14 21:34:39 Finished examples/scpog_checker/array/compilation/proofs       1m42s   6GB
Aug 14 21:34:40 Starting examples/pseudo_bool
Aug 14 21:36:57 Finished examples/pseudo_bool                                  2m16s   1GB
Aug 14 21:36:58 Starting examples/pseudo_bool/cnf_encoding
Aug 14 21:37:34 Finished examples/pseudo_bool/cnf_encoding                       34s 974MB
Aug 14 21:37:35 Starting examples/pseudo_bool/graph_encoding
Aug 14 21:38:25 Finished examples/pseudo_bool/graph_encoding                     49s   1GB
Aug 14 21:38:25 Starting examples/pseudo_bool/array
Aug 14 22:22:14 Finished examples/pseudo_bool/array                           43m47s  22GB
Aug 14 22:22:15 Starting examples/pseudo_bool/array/compilation
Aug 14 22:45:52 Finished examples/pseudo_bool/array/compilation               23m36s  22GB
Aug 14 22:45:52 Starting examples/pseudo_bool/array/compilation/proofs
Aug 14 22:54:00 Finished examples/pseudo_bool/array/compilation/proofs         8m06s   8GB
Aug 14 22:54:01 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 14 22:56:38 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m36s   6GB
Aug 14 22:56:39 Starting examples/pseudo_bool/cp_encoding
Aug 14 22:59:51 Finished examples/pseudo_bool/cp_encoding                      3m11s   1GB
Aug 14 22:59:52 Starting examples/pseudo_bool/cp_encoding/array
Aug 14 23:05:51 Finished examples/pseudo_bool/cp_encoding/array                5m58s   5GB
Aug 14 23:05:52 Starting examples/pseudo_bool/cp_encoding/array/compilation
Aug 14 23:23:54 Finished examples/pseudo_bool/cp_encoding/array/compilation    18m00s  38GB
Aug 14 23:23:55 Starting examples/pseudo_bool/cp_encoding/array/compilation/proofs
Aug 14 23:28:01 Finished examples/pseudo_bool/cp_encoding/array/compilation/proofs     4m05s  14GB
Aug 14 23:28:02 Starting examples/opentheory
Aug 14 23:35:03 Finished examples/opentheory                                   7m00s   4GB
Aug 14 23:35:04 Starting examples/opentheory/compilation
Aug 14 23:37:01 Finished examples/opentheory/compilation                       1m55s   4GB
Aug 14 23:37:02 Starting examples/opentheory/compilation/proofs
Aug 14 23:38:41 Finished examples/opentheory/compilation/proofs                1m38s   5GB
Aug 14 23:38:42 Starting examples/opentheory/compilation/ag32
Aug 14 23:40:51 Finished examples/opentheory/compilation/ag32                  2m08s   5GB
Aug 14 23:40:52 Starting examples/opentheory/compilation/ag32/proofs
Aug 14 23:42:53 Finished examples/opentheory/compilation/ag32/proofs           2m00s   7GB
Aug 14 23:42:54 Starting examples/sat_encodings
Aug 14 23:44:03 Finished examples/sat_encodings                                1m08s 757MB
Aug 14 23:44:04 Starting examples/sat_encodings/demo
Aug 14 23:44:04 Finished examples/sat_encodings/demo                              0s   7MB
Aug 14 23:44:05 Starting examples/sat_encodings/case_studies
Aug 14 23:45:54 Finished examples/sat_encodings/case_studies                   1m47s   1GB
Aug 14 23:45:54 Starting examples/sat_encodings/translation
Aug 14 23:49:59 Finished examples/sat_encodings/translation                    4m03s   4GB
Aug 14 23:50:00 Starting examples/sat_encodings/translation/compilation
Aug 14 23:52:30 Finished examples/sat_encodings/translation/compilation        2m29s   5GB
Aug 14 23:52:31 Starting examples/deflate
Aug 14 23:52:54 Finished examples/deflate                                        22s 433MB
Aug 14 23:52:55 Starting examples/deflate/translation
Aug 14 23:53:59 Finished examples/deflate/translation                          1m03s   3GB
Aug 14 23:54:00 Starting examples/deflate/translation/compilation
Aug 14 23:55:09 Finished examples/deflate/translation/compilation              1m08s   4GB
Aug 14 23:55:10 Starting examples/vipr
Aug 14 23:57:45 Finished examples/vipr                                         2m34s   2GB
Aug 14 23:57:46 Starting examples/vipr/compilation
Aug 14 23:59:05 Finished examples/vipr/compilation                             1m18s   4GB
Aug 14 23:59:06 Starting examples/flover/Infra
Aug 14 23:59:41 Finished examples/flover/Infra                                   33s   1GB
Aug 14 23:59:42 Starting examples/flover/semantics
Aug 15 00:01:07 Finished examples/flover/semantics                             1m24s   1GB
Aug 15 00:01:08 Starting examples/flover
Aug 15 00:21:00 Finished examples/flover                                      19m50s   1GB
Aug 15 00:21:01 Starting examples/template
Aug 15 00:21:04 Finished examples/template                                        2s 159MB
Aug 15 00:21:05 Starting examples/template/translation
Aug 15 00:21:29 Finished examples/template/translation                           23s 951MB
Aug 15 00:21:30 Starting examples/template/compilation
Aug 15 00:22:48 Finished examples/template/compilation                         1m17s   4GB
Aug 15 00:22:49 Starting translator/okasaki-examples
Aug 15 00:26:09 Finished translator/okasaki-examples                           3m18s   2GB
Aug 15 00:26:09 Starting translator/other-examples
Aug 15 00:27:22 Finished translator/other-examples                             1m11s   2GB
Aug 15 00:27:23 Starting translator/other-examples/auxiliary
Aug 15 00:27:24 Finished translator/other-examples/auxiliary                      0s  11MB
Aug 15 00:27:24 Starting compiler/parsing/tests
Aug 15 00:28:09 Finished compiler/parsing/tests                                  43s   1GB
Aug 15 00:28:09 Starting compiler/inference/tests
Aug 15 00:28:58 Finished compiler/inference/tests                                48s   2GB
Aug 15 00:28:59 Starting compiler/printing/test
Aug 15 00:32:19 Finished compiler/printing/test                                3m18s  16GB
Aug 15 00:32:20 Starting compiler/repl
Aug 15 00:32:22 Finished compiler/repl                                            2s 275MB
Aug 15 00:32:23 Starting compiler/benchmarks
Aug 15 00:47:09 Finished compiler/benchmarks                                  14m44s   2GB
Aug 15 00:47:10 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Aug 15 00:47:13 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 289MB
Aug 15 00:47:13 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Aug 15 00:47:16 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 294MB
Aug 15 00:47:17 Starting compiler/bootstrap/translation
Aug 15 02:34:22 Finished compiler/bootstrap/translation                     1h47m03s  38GB
Aug 15 02:34:23 Starting compiler/bootstrap/compilation/x64/64
Aug 15 02:39:39 Finished compiler/bootstrap/compilation/x64/64                 5m15s  24GB
Aug 15 02:39:40 Starting compiler/bootstrap/compilation/x64/32
Aug 15 03:16:14 Finished compiler/bootstrap/compilation/x64/32                36m32s  67GB
Aug 15 03:16:15 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 15 03:24:58 Finished compiler/bootstrap/compilation/x64/32/proofs          8m42s  30GB
Aug 15 03:24:59 Starting compiler/bootstrap/compilation/arm8/64
Aug 15 04:19:50 Finished compiler/bootstrap/compilation/arm8/64               54m50s  88GB
Aug 15 04:19:51 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 15 04:31:08 Finished compiler/bootstrap/compilation/arm8/64/proofs        11m16s  42GB
Aug 15 04:31:09 Starting compiler/bootstrap/compilation/ag32/32
Aug 15 05:10:15 Finished compiler/bootstrap/compilation/ag32/32               39m05s  74GB
Aug 15 05:10:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 15 05:20:26 Finished compiler/bootstrap/compilation/ag32/32/proofs        10m09s  40GB
Aug 15 05:20:27 Starting unverified/sexpr-bootstrap/x64/64
Aug 15 05:26:44 Finished unverified/sexpr-bootstrap/x64/64                     6m15s  26GB
Aug 15 05:26:44 Starting unverified/sexpr-bootstrap/x64/32
Aug 15 05:32:15 Finished unverified/sexpr-bootstrap/x64/32                     5m29s  22GB
Aug 15 05:32:16 SUCCESS