Job 2576

CakeML:8ace60f09aaa353119797f4cc28cc7beaf88f8ee
  cv_translate arm8_load_store_ast32 [Aug 24 07:00:07]
#1029 (32bit)
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 24 11:22:02 Claimed job
Aug 24 11:22:11 Reusing HOL
Aug 24 11:22:22 Starting developers
Aug 24 11:22:26 Finished developers                                               2s 208MB
Aug 24 11:22:27 Starting developers/bin
Aug 24 11:22:37 Finished developers/bin                                           9s   1GB
Aug 24 11:22:38 Starting compiler/proofs
Aug 24 13:06:31 Finished compiler/proofs                                    1h43m51s  44GB
Aug 24 13:06:32 Starting compiler/bootstrap/translation
Aug 24 21:50:05 Finished compiler/bootstrap/translation                     8h43m32s  55GB
Aug 24 21:50:06 Starting semantics/ffi
Aug 24 21:50:15 Finished semantics/ffi                                            7s 829MB
Aug 24 21:50:16 Starting semantics
Aug 24 21:50:17 Finished semantics                                                0s  64MB
Aug 24 21:50:18 Starting semantics/proofs
Aug 24 21:50:41 Finished semantics/proofs                                        22s 794MB
Aug 24 21:50:42 Starting semantics/alt_semantics
Aug 24 21:51:07 Finished semantics/alt_semantics                                 24s 707MB
Aug 24 21:51:08 Starting semantics/alt_semantics/proofs
Aug 24 22:01:20 Finished semantics/alt_semantics/proofs                       10m11s   3GB
Aug 24 22:01:21 Starting basis/pure
Aug 24 22:01:22 Finished basis/pure                                               0s  70MB
Aug 24 22:01:23 Starting translator
Aug 24 22:03:03 Finished translator                                            1m38s   3GB
Aug 24 22:03:04 Starting compiler/parsing
Aug 24 22:03:05 Finished compiler/parsing                                         0s  73MB
Aug 24 22:03:06 Starting characteristic
Aug 24 22:03:07 Finished characteristic                                           0s  90MB
Aug 24 22:03:08 Starting translator/monadic
Aug 24 22:03:10 Finished translator/monadic                                       0s  98MB
Aug 24 22:03:11 Starting basis
Aug 24 22:06:30 Finished basis                                                 3m18s   5GB
Aug 24 22:06:31 Starting compiler/inference
Aug 24 22:06:32 Finished compiler/inference                                       0s  94MB
Aug 24 22:06:33 Starting compiler/backend/reg_alloc
Aug 24 22:06:35 Finished compiler/backend/reg_alloc                               0s  67MB
Aug 24 22:06:35 Starting compiler/backend/gc
Aug 24 22:06:37 Finished compiler/backend/gc                                      0s 147MB
Aug 24 22:06:38 Starting compiler/backend
Aug 24 22:06:43 Finished compiler/backend                                         4s 371MB
Aug 24 22:06:44 Starting compiler/encoders/asm
Aug 24 22:06:46 Finished compiler/encoders/asm                                    0s  91MB
Aug 24 22:06:46 Starting compiler/encoders/x64
Aug 24 22:06:48 Finished compiler/encoders/x64                                    0s 103MB
Aug 24 22:06:49 Starting compiler/encoders/arm7
Aug 24 22:06:50 Finished compiler/encoders/arm7                                   0s 102MB
Aug 24 22:06:51 Starting compiler/encoders/arm8
Aug 24 22:06:53 Finished compiler/encoders/arm8                                   0s 104MB
Aug 24 22:06:54 Starting compiler/encoders/arm8_asl
Aug 24 22:09:04 Finished compiler/encoders/arm8_asl                            2m09s   1GB
Aug 24 22:09:05 Starting compiler/encoders/mips
Aug 24 22:09:06 Finished compiler/encoders/mips                                   0s 105MB
Aug 24 22:09:07 Starting compiler/encoders/riscv
Aug 24 22:09:09 Finished compiler/encoders/riscv                                  0s 103MB
Aug 24 22:09:09 Starting compiler/encoders/ag32
Aug 24 22:09:11 Finished compiler/encoders/ag32                                   0s  92MB
Aug 24 22:09:12 Starting compiler/backend/x64
Aug 24 22:09:14 Finished compiler/backend/x64                                     0s 146MB
Aug 24 22:09:14 Starting compiler/backend/arm7
Aug 24 22:09:16 Finished compiler/backend/arm7                                    0s 145MB
Aug 24 22:09:17 Starting compiler/backend/arm8
Aug 24 22:09:19 Finished compiler/backend/arm8                                    0s 140MB
Aug 24 22:09:20 Starting compiler/backend/mips
Aug 24 22:09:22 Finished compiler/backend/mips                                    0s 134MB
Aug 24 22:09:22 Starting compiler/backend/riscv
Aug 24 22:09:24 Finished compiler/backend/riscv                                   0s 135MB
Aug 24 22:09:25 Starting compiler/backend/ag32
Aug 24 22:10:45 Finished compiler/backend/ag32                                 1m19s   3GB
Aug 24 22:10:46 Starting compiler/parsing/proofs
Aug 24 22:10:48 Finished compiler/parsing/proofs                                  0s  75MB
Aug 24 22:10:49 Starting compiler/inference/proofs
Aug 24 22:10:50 Finished compiler/inference/proofs                                0s  95MB
Aug 24 22:10:51 Starting compiler/backend/semantics
Aug 24 22:14:10 Finished compiler/backend/semantics                            3m17s   4GB
Aug 24 22:14:11 Starting compiler/backend/reg_alloc/proofs
Aug 24 22:14:12 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Aug 24 22:14:13 Starting compiler/backend/proofs
Aug 24 22:15:09 Finished compiler/backend/proofs                                 55s   2GB
Aug 24 22:15:10 Starting compiler/backend/serialiser
Aug 24 22:15:12 Finished compiler/backend/serialiser                              0s 142MB
Aug 24 22:15:13 Starting compiler/encoders/x64/proofs
Aug 24 22:25:08 Finished compiler/encoders/x64/proofs                          9m54s   5GB
Aug 24 22:25:09 Starting compiler/encoders/arm7/proofs
Aug 24 22:38:02 Finished compiler/encoders/arm7/proofs                        12m51s   9GB
Aug 24 22:38:03 Starting compiler/encoders/arm8/proofs
Aug 24 22:45:19 Finished compiler/encoders/arm8/proofs                         7m15s   5GB
Aug 24 22:45:20 Starting compiler/encoders/arm8_asl/proofs
Aug 24 23:00:25 Finished compiler/encoders/arm8_asl/proofs                    15m03s   4GB
Aug 24 23:00:26 Starting compiler/encoders/mips/proofs
Aug 24 23:10:36 Finished compiler/encoders/mips/proofs                        10m09s   7GB
Aug 24 23:10:37 Starting compiler/encoders/riscv/proofs
Aug 24 23:19:07 Finished compiler/encoders/riscv/proofs                        8m29s   4GB
Aug 24 23:19:08 Starting compiler/encoders/ag32/proofs
Aug 24 23:22:05 Finished compiler/encoders/ag32/proofs                         2m56s   3GB
Aug 24 23:22:06 Starting compiler/backend/x64/proofs
Aug 24 23:22:51 Finished compiler/backend/x64/proofs                             43s   3GB
Aug 24 23:22:51 Starting compiler/backend/arm7/proofs
Aug 24 23:23:37 Finished compiler/backend/arm7/proofs                            44s   3GB
Aug 24 23:23:38 Starting compiler/backend/arm8/proofs
Aug 24 23:24:20 Finished compiler/backend/arm8/proofs                            41s   3GB
Aug 24 23:24:21 Starting compiler/backend/arm8_asl
Aug 24 23:24:49 Finished compiler/backend/arm8_asl                               26s   2GB
Aug 24 23:24:50 Starting compiler/backend/mips/proofs
Aug 24 23:25:36 Finished compiler/backend/mips/proofs                            45s   3GB
Aug 24 23:25:37 Starting compiler/backend/riscv/proofs
Aug 24 23:26:29 Finished compiler/backend/riscv/proofs                           50s   4GB
Aug 24 23:26:30 Starting compiler/backend/ag32/proofs
Aug 24 23:40:48 Finished compiler/backend/ag32/proofs                         14m17s   6GB
Aug 24 23:40:49 Starting compiler/backend/cv_compute
Aug 24 23:42:32 Finished compiler/backend/cv_compute                           1m42s   3GB
Aug 24 23:42:33 Starting cv_translator
Aug 25 00:01:35 Finished cv_translator                                        19m01s  13GB
Aug 25 00:01:36 Starting candle/set-theory
Aug 25 00:02:24 Finished candle/set-theory                                       46s   2GB
Aug 25 00:02:25 Starting candle/syntax-lib
Aug 25 00:02:26 Finished candle/syntax-lib                                        0s  76MB
Aug 25 00:02:27 Starting candle/standard/syntax
Aug 25 00:02:46 Finished candle/standard/syntax                                  18s   1GB
Aug 25 00:02:47 Starting candle/standard/semantics
Aug 25 00:05:25 Finished candle/standard/semantics                             2m36s   3GB
Aug 25 00:05:25 Starting candle/standard/monadic
Aug 25 00:05:27 Finished candle/standard/monadic                                  0s 104MB
Aug 25 00:05:28 Starting candle/standard/ml_kernel
Aug 25 00:07:26 Finished candle/standard/ml_kernel                             1m57s   5GB
Aug 25 00:07:27 Starting candle/overloading/syntax
Aug 25 00:11:03 Finished candle/overloading/syntax                             3m35s   3GB
Aug 25 00:11:04 Starting candle/overloading/semantics
Aug 25 00:22:41 Finished candle/overloading/semantics                         11m35s   8GB
Aug 25 00:22:42 Starting candle/overloading/monadic
Aug 25 00:25:21 Finished candle/overloading/monadic                            2m38s   2GB
Aug 25 00:25:22 Starting candle/overloading/ml_kernel
Aug 25 00:33:04 Finished candle/overloading/ml_kernel                          7m40s   6GB
Aug 25 00:33:05 Starting candle/overloading/ml_checker
Aug 25 00:35:43 Finished candle/overloading/ml_checker                         2m38s   6GB
Aug 25 00:35:44 Starting candle/prover
Aug 25 00:45:58 Finished candle/prover                                        10m13s   6GB
Aug 25 00:45:59 Starting pancake
Aug 25 00:46:25 Finished pancake                                                 24s 967MB
Aug 25 00:46:25 Starting pancake/ffi
Aug 25 00:46:26 Finished pancake/ffi                                              0s  24MB
Aug 25 00:46:27 Starting pancake/semantics
Aug 25 00:48:35 Finished pancake/semantics                                     2m07s   2GB
Aug 25 00:48:36 Starting pancake/parser
Aug 25 00:48:57 Finished pancake/parser                                          20s 521MB
Aug 25 00:48:58 Starting pancake/proofs
Aug 25 01:04:06 Finished pancake/proofs                                       15m06s   6GB
Aug 25 01:04:07 Starting characteristic/examples
Aug 25 01:05:34 Finished characteristic/examples                               1m25s   5GB
Aug 25 01:05:35 Starting tutorial/solutions
Aug 25 01:08:21 Finished tutorial/solutions                                    2m45s   5GB
Aug 25 01:08:21 Starting translator/monadic/examples
Aug 25 01:11:27 Finished translator/monadic/examples                           3m04s   3GB
Aug 25 01:11:28 Starting examples
Aug 25 01:23:44 Finished examples                                             12m15s   5GB
Aug 25 01:23:45 Starting examples/compilation/x64
Aug 25 01:33:19 Finished examples/compilation/x64                              9m33s   7GB
Aug 25 01:33:20 Starting examples/compilation/x64/proofs
Aug 25 01:37:55 Finished examples/compilation/x64/proofs                       4m33s   7GB
Aug 25 01:37:55 Starting examples/compilation/ag32
Aug 25 01:40:38 Finished examples/compilation/ag32                             2m41s   5GB
Aug 25 01:40:38 Starting examples/compilation/ag32/proofs
Aug 25 01:42:23 Finished examples/compilation/ag32/proofs                      1m43s   9GB
Aug 25 01:42:24 Starting examples/compilation/to_word
Aug 25 01:46:27 Finished examples/compilation/to_word                          4m02s  14GB
Aug 25 01:46:28 Starting examples/lpr_checker
Aug 25 01:47:05 Finished examples/lpr_checker                                    35s   1GB
Aug 25 01:47:06 Starting examples/lpr_checker/array
Aug 25 02:13:05 Finished examples/lpr_checker/array                           25m57s  21GB
Aug 25 02:13:06 Starting examples/lpr_checker/array/compilation
Aug 25 02:15:44 Finished examples/lpr_checker/array/compilation                2m37s   9GB
Aug 25 02:15:45 Starting examples/lpr_checker/array/compilation/proofs
Aug 25 02:17:41 Finished examples/lpr_checker/array/compilation/proofs         1m55s   9GB
Aug 25 02:17:42 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 25 02:19:31 Finished examples/lpr_checker/array/compilation/proofsARM8     1m48s   9GB
Aug 25 02:19:32 Starting examples/xlrup_checker
Aug 25 02:20:07 Finished examples/xlrup_checker                                  33s   1GB
Aug 25 02:20:07 Starting examples/xlrup_checker/array
Aug 25 02:33:13 Finished examples/xlrup_checker/array                         13m04s   7GB
Aug 25 02:33:14 Starting examples/xlrup_checker/array/compilation
Aug 25 02:34:44 Finished examples/xlrup_checker/array/compilation              1m28s   6GB
Aug 25 02:34:45 Starting examples/xlrup_checker/array/compilation/proofs
Aug 25 02:36:34 Finished examples/xlrup_checker/array/compilation/proofs       1m48s   7GB
Aug 25 02:36:34 Starting examples/pseudo_bool
Aug 25 02:37:58 Finished examples/pseudo_bool                                  1m22s   1GB
Aug 25 02:37:59 Starting examples/pseudo_bool/cnf_encoding
Aug 25 02:38:38 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Aug 25 02:38:39 Starting examples/pseudo_bool/graph_encoding
Aug 25 02:39:32 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Aug 25 02:39:33 Starting examples/pseudo_bool/array
Aug 25 03:41:28 Finished examples/pseudo_bool/array                         1h01m54s  25GB
Aug 25 03:41:29 Starting examples/pseudo_bool/array/compilation
Aug 25 03:54:45 Finished examples/pseudo_bool/array/compilation               13m14s  30GB
Aug 25 03:54:46 Starting examples/pseudo_bool/array/compilation/proofs
Aug 25 03:58:47 Finished examples/pseudo_bool/array/compilation/proofs         4m00s  10GB
Aug 25 03:58:48 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 25 04:00:40 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m51s   9GB
Aug 25 04:00:41 Starting examples/opentheory
Aug 25 04:09:09 Finished examples/opentheory                                   8m26s   5GB
Aug 25 04:09:10 Starting examples/opentheory
Aug 25 04:09:11 Finished examples/opentheory                                      0s 132MB
Aug 25 04:09:12 Starting examples/opentheory/compilation
Aug 25 04:11:15 Finished examples/opentheory/compilation                       2m02s   9GB
Aug 25 04:11:16 Starting examples/opentheory/compilation/proofs
Aug 25 04:13:01 Finished examples/opentheory/compilation/proofs                1m44s   8GB
Aug 25 04:13:02 Starting examples/opentheory/compilation/ag32
Aug 25 04:15:16 Finished examples/opentheory/compilation/ag32                  2m12s   9GB
Aug 25 04:15:17 Starting examples/opentheory/compilation/ag32/proofs
Aug 25 04:17:35 Finished examples/opentheory/compilation/ag32/proofs           2m17s  13GB
Aug 25 04:17:36 Starting examples/sat_encodings
Aug 25 04:18:35 Finished examples/sat_encodings                                  58s 928MB
Aug 25 04:18:36 Starting examples/sat_encodings/case_studies
Aug 25 04:20:42 Finished examples/sat_encodings/case_studies                   2m05s   1GB
Aug 25 04:20:43 Starting examples/sat_encodings/translation
Aug 25 04:24:21 Finished examples/sat_encodings/translation                    3m36s   6GB
Aug 25 04:24:22 Starting examples/sat_encodings/translation/compilation
Aug 25 04:26:48 Finished examples/sat_encodings/translation/compilation        2m24s   7GB
Aug 25 04:26:48 Starting examples/deflate
Aug 25 04:27:15 Finished examples/deflate                                        25s 742MB
Aug 25 04:27:16 Starting examples/deflate/translation
Aug 25 04:28:14 Finished examples/deflate/translation                            57s   2GB
Aug 25 04:28:15 Starting examples/deflate/translation/compilation
Aug 25 04:29:22 Finished examples/deflate/translation/compilation              1m06s   5GB
Aug 25 04:29:23 Starting examples/vipr
Aug 25 04:32:46 Finished examples/vipr                                         3m22s   4GB
Aug 25 04:32:47 Starting examples/vipr/compilation
Aug 25 04:34:05 Finished examples/vipr/compilation                             1m16s   5GB
Aug 25 04:34:06 Starting translator/okasaki-examples
Aug 25 04:38:22 Finished translator/okasaki-examples                           4m15s   4GB
Aug 25 04:38:23 Starting translator/other-examples
Aug 25 04:39:38 Finished translator/other-examples                             1m13s   3GB
Aug 25 04:39:38 Starting compiler/parsing/tests
Aug 25 04:40:20 Finished compiler/parsing/tests                                  41s   1GB
Aug 25 04:40:21 Starting compiler/inference/tests
Aug 25 04:41:04 Finished compiler/inference/tests                                42s   3GB
Aug 25 04:41:05 Starting compiler/printing/test
Aug 25 04:42:40 Finished compiler/printing/test                                1m34s   6GB
Aug 25 04:42:41 Starting icing/flover
Aug 25 05:19:29 Finished icing/flover                                         36m46s   4GB
Aug 25 05:19:30 Starting icing/
Aug 25 05:47:11 Finished icing/                                               27m39s  10GB
Aug 25 05:47:11 Starting icing/examples
Aug 25 05:48:57 Finished icing/examples                                        1m44s   9GB
Aug 25 05:48:58 Starting compiler/repl
Aug 25 05:58:07 Finished compiler/repl                                         9m08s  12GB
Aug 25 05:58:08 Starting unverified/sexpr-bootstrap/x64/64
Aug 25 06:11:13 Finished unverified/sexpr-bootstrap/x64/64                    13m03s  17GB
Aug 25 06:11:13 Starting unverified/sexpr-bootstrap/x64/32
Aug 25 06:21:43 Finished unverified/sexpr-bootstrap/x64/32                    10m29s  15GB
Aug 25 06:21:44 Starting compiler/benchmarks
Aug 25 06:22:29 Finished compiler/benchmarks                                     43s 713MB
Aug 25 06:22:30 Starting compiler/bootstrap/compilation/x64/64
Aug 25 07:08:09 Finished compiler/bootstrap/compilation/x64/64                45m38s 131GB
Aug 25 07:08:10 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 25 07:31:47 Finished compiler/bootstrap/compilation/x64/64/proofs         23m35s  49GB
Aug 25 07:31:48 Starting compiler/bootstrap/compilation/x64/32
Aug 25 08:12:41 Finished compiler/bootstrap/compilation/x64/32                40m52s 115GB
Aug 25 08:12:42 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 25 08:17:36 Finished compiler/bootstrap/compilation/x64/32/proofs          4m52s  25GB
Aug 25 08:17:37 Starting compiler/bootstrap/compilation/arm8/64
Aug 25 09:16:48 Finished compiler/bootstrap/compilation/arm8/64               59m10s 135GB
Aug 25 09:16:49 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 25 09:22:45 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m54s  32GB
Aug 25 09:22:46 Starting compiler/bootstrap/compilation/ag32/32
Aug 25 10:01:38 Finished compiler/bootstrap/compilation/ag32/32               38m51s 101GB
Aug 25 10:01:39 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 25 10:07:12 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m31s  31GB
Aug 25 10:07:13 SUCCESS