Job 2574

CakeML:3c09aacb25ab09d44df11649a1a9ece41ff0c015
  Update assembly for main_return to expose main function return value [Aug 23 06:03:42]
#1048 (halogentlepersuasion:pan_mainretval)
Merging into:8f8e1629500ce09f10707b79d29273f4246e5d50
  Merge pull request #1043 from CakeML/heaps [Aug 23 10:27:42]
HOL:5fc7a6047d48839800489adfb2c2eac7f3ffd5fc
  Add missing export [Aug 21 10:25:23]
Machine:pavlova

Aug 23 12:47:10 Claimed job
Aug 23 12:47:14 Reusing HOL
Aug 23 12:47:25 Starting developers
Aug 23 12:47:28 Finished developers                                               2s 217MB
Aug 23 12:47:29 Starting developers/bin
Aug 23 12:47:39 Finished developers/bin                                           9s   1GB
Aug 23 12:47:40 Starting compiler/proofs
Aug 23 14:30:06 Finished compiler/proofs                                    1h42m23s  32GB
Aug 23 14:30:06 Starting compiler/bootstrap/translation
Aug 23 23:14:56 Finished compiler/bootstrap/translation                     8h44m49s  82GB
Aug 23 23:14:57 Starting semantics/ffi
Aug 23 23:15:06 Finished semantics/ffi                                            7s 830MB
Aug 23 23:15:07 Starting semantics
Aug 23 23:15:08 Finished semantics                                                0s  64MB
Aug 23 23:15:09 Starting semantics/proofs
Aug 23 23:15:32 Finished semantics/proofs                                        22s 793MB
Aug 23 23:15:33 Starting semantics/alt_semantics
Aug 23 23:15:59 Finished semantics/alt_semantics                                 24s 915MB
Aug 23 23:15:59 Starting semantics/alt_semantics/proofs
Aug 23 23:26:08 Finished semantics/alt_semantics/proofs                       10m07s   3GB
Aug 23 23:26:09 Starting basis/pure
Aug 23 23:26:10 Finished basis/pure                                               0s  71MB
Aug 23 23:26:11 Starting translator
Aug 23 23:27:51 Finished translator                                            1m39s   4GB
Aug 23 23:27:52 Starting compiler/parsing
Aug 23 23:27:54 Finished compiler/parsing                                         0s  73MB
Aug 23 23:27:55 Starting characteristic
Aug 23 23:27:56 Finished characteristic                                           0s  90MB
Aug 23 23:27:57 Starting translator/monadic
Aug 23 23:27:58 Finished translator/monadic                                       0s  98MB
Aug 23 23:27:59 Starting basis
Aug 23 23:31:18 Finished basis                                                 3m18s   5GB
Aug 23 23:31:19 Starting compiler/inference
Aug 23 23:31:21 Finished compiler/inference                                       0s  94MB
Aug 23 23:31:22 Starting compiler/backend/reg_alloc
Aug 23 23:31:23 Finished compiler/backend/reg_alloc                               0s  68MB
Aug 23 23:31:24 Starting compiler/backend/gc
Aug 23 23:31:26 Finished compiler/backend/gc                                      0s 147MB
Aug 23 23:31:26 Starting compiler/backend
Aug 23 23:31:31 Finished compiler/backend                                         4s 377MB
Aug 23 23:31:32 Starting compiler/encoders/asm
Aug 23 23:31:34 Finished compiler/encoders/asm                                    0s  91MB
Aug 23 23:31:35 Starting compiler/encoders/x64
Aug 23 23:31:36 Finished compiler/encoders/x64                                    0s 103MB
Aug 23 23:31:37 Starting compiler/encoders/arm7
Aug 23 23:31:39 Finished compiler/encoders/arm7                                   0s 102MB
Aug 23 23:31:39 Starting compiler/encoders/arm8
Aug 23 23:31:41 Finished compiler/encoders/arm8                                   0s 103MB
Aug 23 23:31:42 Starting compiler/encoders/arm8_asl
Aug 23 23:33:53 Finished compiler/encoders/arm8_asl                            2m09s   1GB
Aug 23 23:33:54 Starting compiler/encoders/mips
Aug 23 23:33:55 Finished compiler/encoders/mips                                   0s 105MB
Aug 23 23:33:56 Starting compiler/encoders/riscv
Aug 23 23:33:57 Finished compiler/encoders/riscv                                  0s 103MB
Aug 23 23:33:58 Starting compiler/encoders/ag32
Aug 23 23:34:00 Finished compiler/encoders/ag32                                   0s  91MB
Aug 23 23:34:01 Starting compiler/backend/x64
Aug 23 23:34:02 Finished compiler/backend/x64                                     0s 146MB
Aug 23 23:34:03 Starting compiler/backend/arm7
Aug 23 23:34:05 Finished compiler/backend/arm7                                    0s 145MB
Aug 23 23:34:06 Starting compiler/backend/arm8
Aug 23 23:34:08 Finished compiler/backend/arm8                                    0s 139MB
Aug 23 23:34:09 Starting compiler/backend/mips
Aug 23 23:34:10 Finished compiler/backend/mips                                    0s 135MB
Aug 23 23:34:11 Starting compiler/backend/riscv
Aug 23 23:34:13 Finished compiler/backend/riscv                                   0s 134MB
Aug 23 23:34:14 Starting compiler/backend/ag32
Aug 23 23:35:35 Finished compiler/backend/ag32                                 1m20s   3GB
Aug 23 23:35:36 Starting compiler/parsing/proofs
Aug 23 23:35:38 Finished compiler/parsing/proofs                                  0s  75MB
Aug 23 23:35:39 Starting compiler/inference/proofs
Aug 23 23:35:40 Finished compiler/inference/proofs                                0s  95MB
Aug 23 23:35:41 Starting compiler/backend/semantics
Aug 23 23:38:49 Finished compiler/backend/semantics                            3m07s   3GB
Aug 23 23:38:50 Starting compiler/backend/reg_alloc/proofs
Aug 23 23:38:51 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Aug 23 23:38:52 Starting compiler/backend/proofs
Aug 23 23:39:46 Finished compiler/backend/proofs                                 52s   2GB
Aug 23 23:39:47 Starting compiler/backend/serialiser
Aug 23 23:39:49 Finished compiler/backend/serialiser                              0s 142MB
Aug 23 23:39:49 Starting compiler/encoders/x64/proofs
Aug 23 23:49:14 Finished compiler/encoders/x64/proofs                          9m24s   5GB
Aug 23 23:49:15 Starting compiler/encoders/arm7/proofs
Aug 24 00:02:02 Finished compiler/encoders/arm7/proofs                        12m46s   9GB
Aug 24 00:02:03 Starting compiler/encoders/arm8/proofs
Aug 24 00:08:45 Finished compiler/encoders/arm8/proofs                         6m40s   5GB
Aug 24 00:08:45 Starting compiler/encoders/arm8_asl/proofs
Aug 24 00:22:42 Finished compiler/encoders/arm8_asl/proofs                    13m56s   4GB
Aug 24 00:22:43 Starting compiler/encoders/mips/proofs
Aug 24 00:32:53 Finished compiler/encoders/mips/proofs                        10m08s   7GB
Aug 24 00:32:54 Starting compiler/encoders/riscv/proofs
Aug 24 00:41:17 Finished compiler/encoders/riscv/proofs                        8m21s   4GB
Aug 24 00:41:18 Starting compiler/encoders/ag32/proofs
Aug 24 00:43:43 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
Aug 24 00:43:44 Starting compiler/backend/x64/proofs
Aug 24 00:44:26 Finished compiler/backend/x64/proofs                             41s   3GB
Aug 24 00:44:27 Starting compiler/backend/arm7/proofs
Aug 24 00:45:13 Finished compiler/backend/arm7/proofs                            44s   3GB
Aug 24 00:45:14 Starting compiler/backend/arm8/proofs
Aug 24 00:45:55 Finished compiler/backend/arm8/proofs                            40s   3GB
Aug 24 00:45:56 Starting compiler/backend/arm8_asl
Aug 24 00:46:26 Finished compiler/backend/arm8_asl                               29s   2GB
Aug 24 00:46:27 Starting compiler/backend/mips/proofs
Aug 24 00:47:15 Finished compiler/backend/mips/proofs                            46s   3GB
Aug 24 00:47:16 Starting compiler/backend/riscv/proofs
Aug 24 00:48:09 Finished compiler/backend/riscv/proofs                           52s   3GB
Aug 24 00:48:10 Starting compiler/backend/ag32/proofs
Aug 24 01:02:22 Finished compiler/backend/ag32/proofs                         14m10s   6GB
Aug 24 01:02:23 Starting compiler/backend/cv_compute
Aug 24 01:04:06 Finished compiler/backend/cv_compute                           1m42s   3GB
Aug 24 01:04:07 Starting cv_translator
Aug 24 01:23:18 Finished cv_translator                                        19m10s  13GB
Aug 24 01:23:19 Starting candle/set-theory
Aug 24 01:24:08 Finished candle/set-theory                                       47s   2GB
Aug 24 01:24:09 Starting candle/syntax-lib
Aug 24 01:24:10 Finished candle/syntax-lib                                        0s  76MB
Aug 24 01:24:11 Starting candle/standard/syntax
Aug 24 01:24:30 Finished candle/standard/syntax                                  18s   1GB
Aug 24 01:24:31 Starting candle/standard/semantics
Aug 24 01:27:09 Finished candle/standard/semantics                             2m37s   3GB
Aug 24 01:27:10 Starting candle/standard/monadic
Aug 24 01:27:12 Finished candle/standard/monadic                                  0s 104MB
Aug 24 01:27:13 Starting candle/standard/ml_kernel
Aug 24 01:29:12 Finished candle/standard/ml_kernel                             1m58s   5GB
Aug 24 01:29:13 Starting candle/overloading/syntax
Aug 24 01:32:47 Finished candle/overloading/syntax                             3m33s   2GB
Aug 24 01:32:48 Starting candle/overloading/semantics
Aug 24 01:44:18 Finished candle/overloading/semantics                         11m29s   7GB
Aug 24 01:44:19 Starting candle/overloading/monadic
Aug 24 01:47:01 Finished candle/overloading/monadic                            2m40s   3GB
Aug 24 01:47:02 Starting candle/overloading/ml_kernel
Aug 24 01:54:45 Finished candle/overloading/ml_kernel                          7m42s   6GB
Aug 24 01:54:46 Starting candle/overloading/ml_checker
Aug 24 01:57:23 Finished candle/overloading/ml_checker                         2m35s   6GB
Aug 24 01:57:23 Starting candle/prover
Aug 24 02:07:42 Finished candle/prover                                        10m18s   5GB
Aug 24 02:07:43 Starting pancake
Aug 24 02:08:08 Finished pancake                                                 23s 885MB
Aug 24 02:08:09 Starting pancake/ffi
Aug 24 02:08:10 Finished pancake/ffi                                              0s  22MB
Aug 24 02:08:11 Starting pancake/semantics
Aug 24 02:10:18 Finished pancake/semantics                                     2m06s   2GB
Aug 24 02:10:19 Starting pancake/parser
Aug 24 02:10:39 Finished pancake/parser                                          19s 832MB
Aug 24 02:10:40 Starting pancake/proofs
Aug 24 02:25:38 Finished pancake/proofs                                       14m56s   7GB
Aug 24 02:25:39 Starting characteristic/examples
Aug 24 02:27:04 Finished characteristic/examples                               1m24s   5GB
Aug 24 02:27:05 Starting tutorial/solutions
Aug 24 02:29:46 Finished tutorial/solutions                                    2m39s   4GB
Aug 24 02:29:47 Starting translator/monadic/examples
Aug 24 02:32:55 Finished translator/monadic/examples                           3m06s   4GB
Aug 24 02:32:56 Starting examples
Aug 24 02:45:23 Finished examples                                             12m25s   6GB
Aug 24 02:45:24 Starting examples/compilation/x64
Aug 24 02:54:56 Finished examples/compilation/x64                              9m30s   7GB
Aug 24 02:54:56 Starting examples/compilation/x64/proofs
Aug 24 02:59:33 Finished examples/compilation/x64/proofs                       4m36s   8GB
Aug 24 02:59:34 Starting examples/compilation/ag32
Aug 24 03:02:17 Finished examples/compilation/ag32                             2m42s   5GB
Aug 24 03:02:18 Starting examples/compilation/ag32/proofs
Aug 24 03:04:00 Finished examples/compilation/ag32/proofs                      1m41s   9GB
Aug 24 03:04:01 Starting examples/compilation/to_word
Aug 24 03:08:06 Finished examples/compilation/to_word                          4m03s  13GB
Aug 24 03:08:07 Starting examples/lpr_checker
Aug 24 03:08:44 Finished examples/lpr_checker                                    36s   1GB
Aug 24 03:08:45 Starting examples/lpr_checker/array
Aug 24 03:35:16 Finished examples/lpr_checker/array                           26m30s  27GB
Aug 24 03:35:17 Starting examples/lpr_checker/array/compilation
Aug 24 03:37:50 Finished examples/lpr_checker/array/compilation                2m31s   9GB
Aug 24 03:37:50 Starting examples/lpr_checker/array/compilation/proofs
Aug 24 03:39:43 Finished examples/lpr_checker/array/compilation/proofs         1m52s   8GB
Aug 24 03:39:44 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 24 03:41:37 Finished examples/lpr_checker/array/compilation/proofsARM8     1m51s   8GB
Aug 24 03:41:38 Starting examples/xlrup_checker
Aug 24 03:42:12 Finished examples/xlrup_checker                                  33s   1GB
Aug 24 03:42:13 Starting examples/xlrup_checker/array
Aug 24 03:55:28 Finished examples/xlrup_checker/array                         13m13s  10GB
Aug 24 03:55:29 Starting examples/xlrup_checker/array/compilation
Aug 24 03:56:53 Finished examples/xlrup_checker/array/compilation              1m24s   6GB
Aug 24 03:56:54 Starting examples/xlrup_checker/array/compilation/proofs
Aug 24 03:58:38 Finished examples/xlrup_checker/array/compilation/proofs       1m42s   8GB
Aug 24 03:58:39 Starting examples/pseudo_bool
Aug 24 04:00:01 Finished examples/pseudo_bool                                  1m21s   1GB
Aug 24 04:00:02 Starting examples/pseudo_bool/cnf_encoding
Aug 24 04:00:41 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Aug 24 04:00:42 Starting examples/pseudo_bool/graph_encoding
Aug 24 04:01:36 Finished examples/pseudo_bool/graph_encoding                     53s   2GB
Aug 24 04:01:37 Starting examples/pseudo_bool/array
Aug 24 05:03:39 Finished examples/pseudo_bool/array                         1h02m01s  26GB
Aug 24 05:03:40 Starting examples/pseudo_bool/array/compilation
Aug 24 05:17:02 Finished examples/pseudo_bool/array/compilation               13m21s  30GB
Aug 24 05:17:03 Starting examples/pseudo_bool/array/compilation/proofs
Aug 24 05:21:07 Finished examples/pseudo_bool/array/compilation/proofs         4m02s  10GB
Aug 24 05:21:08 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 24 05:23:01 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m52s   9GB
Aug 24 05:23:02 Starting examples/opentheory
Aug 24 05:31:38 Finished examples/opentheory                                   8m35s   7GB
Aug 24 05:31:39 Starting examples/opentheory
Aug 24 05:31:40 Finished examples/opentheory                                      0s 132MB
Aug 24 05:31:41 Starting examples/opentheory/compilation
Aug 24 05:33:45 Finished examples/opentheory/compilation                       2m02s   9GB
Aug 24 05:33:46 Starting examples/opentheory/compilation/proofs
Aug 24 05:35:27 Finished examples/opentheory/compilation/proofs                1m39s   7GB
Aug 24 05:35:27 Starting examples/opentheory/compilation/ag32
Aug 24 05:37:37 Finished examples/opentheory/compilation/ag32                  2m08s   8GB
Aug 24 05:37:37 Starting examples/opentheory/compilation/ag32/proofs
Aug 24 05:39:57 Finished examples/opentheory/compilation/ag32/proofs           2m19s  12GB
Aug 24 05:39:58 Starting examples/sat_encodings
Aug 24 05:40:58 Finished examples/sat_encodings                                  58s 928MB
Aug 24 05:40:58 Starting examples/sat_encodings/case_studies
Aug 24 05:43:04 Finished examples/sat_encodings/case_studies                   2m04s   2GB
Aug 24 05:43:05 Starting examples/sat_encodings/translation
Aug 24 05:46:39 Finished examples/sat_encodings/translation                    3m33s   4GB
Aug 24 05:46:40 Starting examples/sat_encodings/translation/compilation
Aug 24 05:49:10 Finished examples/sat_encodings/translation/compilation        2m29s   7GB
Aug 24 05:49:11 Starting examples/deflate
Aug 24 05:49:37 Finished examples/deflate                                        25s 697MB
Aug 24 05:49:38 Starting examples/deflate/translation
Aug 24 05:50:38 Finished examples/deflate/translation                            58s   2GB
Aug 24 05:50:38 Starting examples/deflate/translation/compilation
Aug 24 05:51:46 Finished examples/deflate/translation/compilation              1m06s   5GB
Aug 24 05:51:47 Starting examples/vipr
Aug 24 05:55:21 Finished examples/vipr                                         3m33s   7GB
Aug 24 05:55:22 Starting examples/vipr/compilation
Aug 24 05:56:39 Finished examples/vipr/compilation                             1m16s   6GB
Aug 24 05:56:40 Starting translator/okasaki-examples
Aug 24 06:00:59 Finished translator/okasaki-examples                           4m17s   4GB
Aug 24 06:01:00 Starting translator/other-examples
Aug 24 06:02:12 Finished translator/other-examples                             1m10s   3GB
Aug 24 06:02:13 Starting compiler/parsing/tests
Aug 24 06:02:50 Finished compiler/parsing/tests                                  36s   2GB
Aug 24 06:02:51 Starting compiler/inference/tests
Aug 24 06:03:33 Finished compiler/inference/tests                                40s   3GB
Aug 24 06:03:34 Starting compiler/printing/test
Aug 24 06:05:08 Finished compiler/printing/test                                1m33s   6GB
Aug 24 06:05:09 Starting icing/flover
Aug 24 06:41:55 Finished icing/flover                                         36m44s   4GB
Aug 24 06:41:55 Starting icing/
Aug 24 07:09:35 Finished icing/                                               27m38s   6GB
Aug 24 07:09:36 Starting icing/examples
Aug 24 07:11:21 Finished icing/examples                                        1m44s   9GB
Aug 24 07:11:22 Starting compiler/repl
Aug 24 07:20:19 Finished compiler/repl                                         8m56s   9GB
Aug 24 07:20:20 Starting unverified/sexpr-bootstrap/x64/64
Aug 24 07:33:17 Finished unverified/sexpr-bootstrap/x64/64                    12m55s  17GB
Aug 24 07:33:18 Starting unverified/sexpr-bootstrap/x64/32
Aug 24 07:43:41 Finished unverified/sexpr-bootstrap/x64/32                    10m22s  16GB
Aug 24 07:43:41 Starting compiler/benchmarks
Aug 24 07:44:26 Finished compiler/benchmarks                                     43s 713MB
Aug 24 07:44:27 Starting compiler/bootstrap/compilation/x64/64
Aug 24 08:26:34 Finished compiler/bootstrap/compilation/x64/64                42m05s 111GB
Aug 24 08:26:35 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 24 08:51:14 Finished compiler/bootstrap/compilation/x64/64/proofs         24m37s  64GB
Aug 24 08:51:15 Starting compiler/bootstrap/compilation/x64/32
Aug 24 09:28:52 Finished compiler/bootstrap/compilation/x64/32                37m36s  91GB
Aug 24 09:28:53 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 24 09:34:00 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  26GB
Aug 24 09:34:01 Starting compiler/bootstrap/compilation/arm8/64
Aug 24 10:30:23 Finished compiler/bootstrap/compilation/arm8/64               56m20s 127GB
Aug 24 10:30:24 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 24 10:36:18 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m52s  32GB
Aug 24 10:36:19 Starting compiler/bootstrap/compilation/ag32/32
Aug 24 11:16:33 Finished compiler/bootstrap/compilation/ag32/32               40m13s 114GB
Aug 24 11:16:34 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 24 11:21:57 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m22s  30GB
Aug 24 11:21:58 SUCCESS