Job 2582

CakeML:44a8581e4dfb9427e8335e82295134339b355e58
  Fix silly error [Aug 26 03:53:32]
#1047 (alpha-renaming)
Merging into:08c44b83bc178e92754cf3544aa7b21bad557eb1
  Merge pull request #1032 from CakeML/new-double-ffi [Aug 26 04:01:40]
HOL:5fc7a6047d48839800489adfb2c2eac7f3ffd5fc
  Add missing export [Aug 21 10:25:23]
Machine:pavlova

Aug 26 08:34:17 Claimed job
Aug 26 08:34:21 Reusing HOL
Aug 26 08:34:32 Starting developers
Aug 26 08:34:36 Finished developers                                               2s 222MB
Aug 26 08:34:37 Starting developers/bin
Aug 26 08:34:47 Finished developers/bin                                           9s   1GB
Aug 26 08:34:48 Starting compiler/proofs
Aug 26 10:18:26 Finished compiler/proofs                                    1h43m36s  26GB
Aug 26 10:18:27 Starting compiler/bootstrap/translation
Aug 26 19:09:24 Finished compiler/bootstrap/translation                     8h50m56s  56GB
Aug 26 19:09:25 Starting semantics/ffi
Aug 26 19:09:33 Finished semantics/ffi                                            7s 830MB
Aug 26 19:09:34 Starting semantics
Aug 26 19:09:36 Finished semantics                                                0s  64MB
Aug 26 19:09:36 Starting semantics/proofs
Aug 26 19:10:00 Finished semantics/proofs                                        22s 791MB
Aug 26 19:10:01 Starting semantics/alt_semantics
Aug 26 19:10:26 Finished semantics/alt_semantics                                 24s 916MB
Aug 26 19:10:27 Starting semantics/alt_semantics/proofs
Aug 26 19:20:45 Finished semantics/alt_semantics/proofs                       10m16s   3GB
Aug 26 19:20:46 Starting basis/pure
Aug 26 19:20:47 Finished basis/pure                                               0s  71MB
Aug 26 19:20:48 Starting translator
Aug 26 19:22:25 Finished translator                                            1m35s   4GB
Aug 26 19:22:26 Starting compiler/parsing
Aug 26 19:22:27 Finished compiler/parsing                                         0s  73MB
Aug 26 19:22:28 Starting characteristic
Aug 26 19:22:30 Finished characteristic                                           0s  90MB
Aug 26 19:22:31 Starting translator/monadic
Aug 26 19:22:32 Finished translator/monadic                                       0s  98MB
Aug 26 19:22:33 Starting basis
Aug 26 19:24:58 Finished basis                                                 2m23s   4GB
Aug 26 19:24:59 Starting compiler/inference
Aug 26 19:25:00 Finished compiler/inference                                       0s  94MB
Aug 26 19:25:01 Starting compiler/backend/reg_alloc
Aug 26 19:25:02 Finished compiler/backend/reg_alloc                               0s  67MB
Aug 26 19:25:03 Starting compiler/backend/gc
Aug 26 19:25:05 Finished compiler/backend/gc                                      0s 147MB
Aug 26 19:25:06 Starting compiler/backend
Aug 26 19:25:11 Finished compiler/backend                                         4s 365MB
Aug 26 19:25:12 Starting compiler/encoders/asm
Aug 26 19:25:13 Finished compiler/encoders/asm                                    0s  91MB
Aug 26 19:25:14 Starting compiler/encoders/x64
Aug 26 19:25:16 Finished compiler/encoders/x64                                    0s 103MB
Aug 26 19:25:17 Starting compiler/encoders/arm7
Aug 26 19:25:18 Finished compiler/encoders/arm7                                   0s 102MB
Aug 26 19:25:19 Starting compiler/encoders/arm8
Aug 26 19:25:21 Finished compiler/encoders/arm8                                   0s 103MB
Aug 26 19:25:21 Starting compiler/encoders/arm8_asl
Aug 26 19:27:32 Finished compiler/encoders/arm8_asl                            2m09s   1GB
Aug 26 19:27:33 Starting compiler/encoders/mips
Aug 26 19:27:34 Finished compiler/encoders/mips                                   0s 105MB
Aug 26 19:27:35 Starting compiler/encoders/riscv
Aug 26 19:27:37 Finished compiler/encoders/riscv                                  0s 103MB
Aug 26 19:27:38 Starting compiler/encoders/ag32
Aug 26 19:27:39 Finished compiler/encoders/ag32                                   0s  91MB
Aug 26 19:27:40 Starting compiler/backend/x64
Aug 26 19:27:42 Finished compiler/backend/x64                                     0s 145MB
Aug 26 19:27:43 Starting compiler/backend/arm7
Aug 26 19:27:45 Finished compiler/backend/arm7                                    0s 145MB
Aug 26 19:27:46 Starting compiler/backend/arm8
Aug 26 19:27:47 Finished compiler/backend/arm8                                    0s 141MB
Aug 26 19:27:48 Starting compiler/backend/mips
Aug 26 19:27:50 Finished compiler/backend/mips                                    0s 135MB
Aug 26 19:27:51 Starting compiler/backend/riscv
Aug 26 19:27:53 Finished compiler/backend/riscv                                   0s 134MB
Aug 26 19:27:54 Starting compiler/backend/ag32
Aug 26 19:29:14 Finished compiler/backend/ag32                                 1m19s   3GB
Aug 26 19:29:15 Starting compiler/parsing/proofs
Aug 26 19:29:16 Finished compiler/parsing/proofs                                  0s  75MB
Aug 26 19:29:17 Starting compiler/inference/proofs
Aug 26 19:29:19 Finished compiler/inference/proofs                                0s  95MB
Aug 26 19:29:20 Starting compiler/backend/semantics
Aug 26 19:32:34 Finished compiler/backend/semantics                            3m12s   3GB
Aug 26 19:32:38 Starting compiler/backend/reg_alloc/proofs
Aug 26 19:32:39 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Aug 26 19:32:40 Starting compiler/backend/proofs
Aug 26 19:33:35 Finished compiler/backend/proofs                                 53s   4GB
Aug 26 19:33:36 Starting compiler/backend/serialiser
Aug 26 19:33:37 Finished compiler/backend/serialiser                              0s 142MB
Aug 26 19:33:38 Starting compiler/encoders/x64/proofs
Aug 26 19:43:43 Finished compiler/encoders/x64/proofs                         10m04s   5GB
Aug 26 19:43:44 Starting compiler/encoders/arm7/proofs
Aug 26 19:56:37 Finished compiler/encoders/arm7/proofs                        12m51s   9GB
Aug 26 19:56:38 Starting compiler/encoders/arm8/proofs
Aug 26 20:03:31 Finished compiler/encoders/arm8/proofs                         6m52s   5GB
Aug 26 20:03:32 Starting compiler/encoders/arm8_asl/proofs
Aug 26 20:18:43 Finished compiler/encoders/arm8_asl/proofs                    15m10s   4GB
Aug 26 20:18:44 Starting compiler/encoders/mips/proofs
Aug 26 20:28:52 Finished compiler/encoders/mips/proofs                        10m06s   6GB
Aug 26 20:28:53 Starting compiler/encoders/riscv/proofs
Aug 26 20:37:17 Finished compiler/encoders/riscv/proofs                        8m23s   5GB
Aug 26 20:37:18 Starting compiler/encoders/ag32/proofs
Aug 26 20:40:14 Finished compiler/encoders/ag32/proofs                         2m54s   2GB
Aug 26 20:40:15 Starting compiler/backend/x64/proofs
Aug 26 20:40:58 Finished compiler/backend/x64/proofs                             42s   3GB
Aug 26 20:40:59 Starting compiler/backend/arm7/proofs
Aug 26 20:41:44 Finished compiler/backend/arm7/proofs                            43s   2GB
Aug 26 20:41:45 Starting compiler/backend/arm8/proofs
Aug 26 20:42:28 Finished compiler/backend/arm8/proofs                            42s   3GB
Aug 26 20:42:28 Starting compiler/backend/arm8_asl
Aug 26 20:42:57 Finished compiler/backend/arm8_asl                               28s   2GB
Aug 26 20:42:58 Starting compiler/backend/mips/proofs
Aug 26 20:43:45 Finished compiler/backend/mips/proofs                            45s   3GB
Aug 26 20:43:46 Starting compiler/backend/riscv/proofs
Aug 26 20:44:38 Finished compiler/backend/riscv/proofs                           51s   4GB
Aug 26 20:44:39 Starting compiler/backend/ag32/proofs
Aug 26 20:58:56 Finished compiler/backend/ag32/proofs                         14m16s   6GB
Aug 26 20:58:57 Starting compiler/backend/cv_compute
Aug 26 21:00:40 Finished compiler/backend/cv_compute                           1m42s   3GB
Aug 26 21:00:41 Starting cv_translator
Aug 26 21:19:41 Finished cv_translator                                        18m58s  13GB
Aug 26 21:19:42 Starting candle/set-theory
Aug 26 21:20:31 Finished candle/set-theory                                       48s   1GB
Aug 26 21:20:32 Starting candle/syntax-lib
Aug 26 21:20:33 Finished candle/syntax-lib                                        0s  76MB
Aug 26 21:20:34 Starting candle/standard/syntax
Aug 26 21:20:53 Finished candle/standard/syntax                                  18s   1GB
Aug 26 21:20:54 Starting candle/standard/semantics
Aug 26 21:23:33 Finished candle/standard/semantics                             2m38s   3GB
Aug 26 21:23:34 Starting candle/standard/monadic
Aug 26 21:23:36 Finished candle/standard/monadic                                  0s 104MB
Aug 26 21:23:37 Starting candle/standard/ml_kernel
Aug 26 21:25:37 Finished candle/standard/ml_kernel                             1m59s   5GB
Aug 26 21:25:38 Starting candle/overloading/syntax
Aug 26 21:29:09 Finished candle/overloading/syntax                             3m29s   2GB
Aug 26 21:29:10 Starting candle/overloading/semantics
Aug 26 21:40:41 Finished candle/overloading/semantics                         11m29s   7GB
Aug 26 21:40:42 Starting candle/overloading/monadic
Aug 26 21:43:18 Finished candle/overloading/monadic                            2m35s   2GB
Aug 26 21:43:19 Starting candle/overloading/ml_kernel
Aug 26 21:51:11 Finished candle/overloading/ml_kernel                          7m50s   6GB
Aug 26 21:51:12 Starting candle/overloading/ml_checker
Aug 26 21:53:52 Finished candle/overloading/ml_checker                         2m39s   7GB
Aug 26 21:53:53 Starting candle/prover
Aug 26 22:04:12 Finished candle/prover                                        10m18s   5GB
Aug 26 22:04:13 Starting pancake
Aug 26 22:04:39 Finished pancake                                                 24s 967MB
Aug 26 22:04:40 Starting pancake/ffi
Aug 26 22:04:40 Finished pancake/ffi                                              0s  22MB
Aug 26 22:04:41 Starting pancake/semantics
Aug 26 22:06:49 Finished pancake/semantics                                     2m06s   3GB
Aug 26 22:06:50 Starting pancake/parser
Aug 26 22:07:12 Finished pancake/parser                                          21s 836MB
Aug 26 22:07:13 Starting pancake/proofs
Aug 26 22:22:24 Finished pancake/proofs                                       15m09s   6GB
Aug 26 22:22:24 Starting characteristic/examples
Aug 26 22:23:51 Finished characteristic/examples                               1m26s   5GB
Aug 26 22:23:52 Starting tutorial/solutions
Aug 26 22:26:40 Finished tutorial/solutions                                    2m47s   6GB
Aug 26 22:26:41 Starting translator/monadic/examples
Aug 26 22:29:51 Finished translator/monadic/examples                           3m08s   4GB
Aug 26 22:29:51 Starting examples
Aug 26 22:42:10 Finished examples                                             12m17s   4GB
Aug 26 22:42:11 Starting examples/compilation/x64
Aug 26 22:51:44 Finished examples/compilation/x64                              9m31s   7GB
Aug 26 22:51:45 Starting examples/compilation/x64/proofs
Aug 26 22:56:14 Finished examples/compilation/x64/proofs                       4m28s   7GB
Aug 26 22:56:15 Starting examples/compilation/ag32
Aug 26 22:58:57 Finished examples/compilation/ag32                             2m41s   5GB
Aug 26 22:58:58 Starting examples/compilation/ag32/proofs
Aug 26 23:00:52 Finished examples/compilation/ag32/proofs                      1m53s   8GB
Aug 26 23:00:53 Starting examples/compilation/to_word
Aug 26 23:04:54 Finished examples/compilation/to_word                          3m59s  12GB
Aug 26 23:04:54 Starting examples/lpr_checker
Aug 26 23:05:32 Finished examples/lpr_checker                                    36s   1GB
Aug 26 23:05:33 Starting examples/lpr_checker/array
Aug 26 23:31:50 Finished examples/lpr_checker/array                           26m15s  28GB
Aug 26 23:31:51 Starting examples/lpr_checker/array/compilation
Aug 26 23:34:28 Finished examples/lpr_checker/array/compilation                2m36s   9GB
Aug 26 23:34:29 Starting examples/lpr_checker/array/compilation/proofs
Aug 26 23:36:27 Finished examples/lpr_checker/array/compilation/proofs         1m57s   9GB
Aug 26 23:36:28 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 26 23:38:17 Finished examples/lpr_checker/array/compilation/proofsARM8     1m47s   8GB
Aug 26 23:38:18 Starting examples/xlrup_checker
Aug 26 23:38:52 Finished examples/xlrup_checker                                  33s   1GB
Aug 26 23:38:53 Starting examples/xlrup_checker/array
Aug 26 23:52:03 Finished examples/xlrup_checker/array                         13m08s  11GB
Aug 26 23:52:04 Starting examples/xlrup_checker/array/compilation
Aug 26 23:53:31 Finished examples/xlrup_checker/array/compilation              1m26s   7GB
Aug 26 23:53:32 Starting examples/xlrup_checker/array/compilation/proofs
Aug 26 23:55:13 Finished examples/xlrup_checker/array/compilation/proofs       1m39s   8GB
Aug 26 23:55:14 Starting examples/pseudo_bool
Aug 26 23:56:36 Finished examples/pseudo_bool                                  1m21s   1GB
Aug 26 23:56:37 Starting examples/pseudo_bool/cnf_encoding
Aug 26 23:57:16 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Aug 26 23:57:17 Starting examples/pseudo_bool/graph_encoding
Aug 26 23:58:10 Finished examples/pseudo_bool/graph_encoding                     51s   1GB
Aug 26 23:58:10 Starting examples/pseudo_bool/array
Aug 27 01:00:23 Finished examples/pseudo_bool/array                         1h02m11s  33GB
Aug 27 01:00:23 Starting examples/pseudo_bool/array/compilation
Aug 27 01:13:43 Finished examples/pseudo_bool/array/compilation               13m19s  32GB
Aug 27 01:13:44 Starting examples/pseudo_bool/array/compilation/proofs
Aug 27 01:17:58 Finished examples/pseudo_bool/array/compilation/proofs         4m12s  11GB
Aug 27 01:17:59 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 27 01:19:58 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m58s  10GB
Aug 27 01:19:59 Starting examples/opentheory
Aug 27 01:28:29 Finished examples/opentheory                                   8m29s   8GB
Aug 27 01:28:30 Starting examples/opentheory
Aug 27 01:28:32 Finished examples/opentheory                                      0s 131MB
Aug 27 01:28:32 Starting examples/opentheory/compilation
Aug 27 01:30:35 Finished examples/opentheory/compilation                       2m01s   9GB
Aug 27 01:30:36 Starting examples/opentheory/compilation/proofs
Aug 27 01:32:22 Finished examples/opentheory/compilation/proofs                1m45s   7GB
Aug 27 01:32:23 Starting examples/opentheory/compilation/ag32
Aug 27 01:34:32 Finished examples/opentheory/compilation/ag32                  2m08s  10GB
Aug 27 01:34:33 Starting examples/opentheory/compilation/ag32/proofs
Aug 27 01:36:57 Finished examples/opentheory/compilation/ag32/proofs           2m22s  12GB
Aug 27 01:36:58 Starting examples/sat_encodings
Aug 27 01:37:57 Finished examples/sat_encodings                                  57s 914MB
Aug 27 01:37:57 Starting examples/sat_encodings/case_studies
Aug 27 01:40:04 Finished examples/sat_encodings/case_studies                   2m05s   2GB
Aug 27 01:40:05 Starting examples/sat_encodings/translation
Aug 27 01:43:44 Finished examples/sat_encodings/translation                    3m38s   3GB
Aug 27 01:43:44 Starting examples/sat_encodings/translation/compilation
Aug 27 01:46:10 Finished examples/sat_encodings/translation/compilation        2m24s   7GB
Aug 27 01:46:11 Starting examples/deflate
Aug 27 01:46:38 Finished examples/deflate                                        25s 697MB
Aug 27 01:46:39 Starting examples/deflate/translation
Aug 27 01:47:39 Finished examples/deflate/translation                            59s   2GB
Aug 27 01:47:40 Starting examples/deflate/translation/compilation
Aug 27 01:48:47 Finished examples/deflate/translation/compilation              1m06s   5GB
Aug 27 01:48:48 Starting examples/vipr
Aug 27 01:52:18 Finished examples/vipr                                         3m29s   4GB
Aug 27 01:52:19 Starting examples/vipr/compilation
Aug 27 01:53:36 Finished examples/vipr/compilation                             1m16s   6GB
Aug 27 01:53:37 Starting translator/okasaki-examples
Aug 27 01:57:53 Finished translator/okasaki-examples                           4m15s   4GB
Aug 27 01:57:54 Starting translator/other-examples
Aug 27 01:59:13 Finished translator/other-examples                             1m18s   3GB
Aug 27 01:59:14 Starting compiler/parsing/tests
Aug 27 01:59:53 Finished compiler/parsing/tests                                  37s   2GB
Aug 27 01:59:54 Starting compiler/inference/tests
Aug 27 02:00:37 Finished compiler/inference/tests                                42s   3GB
Aug 27 02:00:38 Starting compiler/printing/test
Aug 27 02:02:14 Finished compiler/printing/test                                1m34s   6GB
Aug 27 02:02:14 Starting icing/flover
Aug 27 02:39:20 Finished icing/flover                                         37m04s   4GB
Aug 27 02:39:21 Starting icing/
Aug 27 03:06:59 Finished icing/                                               27m36s  11GB
Aug 27 03:07:00 Starting icing/examples
Aug 27 03:08:46 Finished icing/examples                                        1m44s   9GB
Aug 27 03:08:47 Starting compiler/repl
Aug 27 03:17:46 Finished compiler/repl                                         8m58s  11GB
Aug 27 03:17:47 Starting unverified/sexpr-bootstrap/x64/64
Aug 27 03:30:43 Finished unverified/sexpr-bootstrap/x64/64                    12m55s  18GB
Aug 27 03:30:44 Starting unverified/sexpr-bootstrap/x64/32
Aug 27 03:41:08 Finished unverified/sexpr-bootstrap/x64/32                    10m23s  15GB
Aug 27 03:41:09 Starting compiler/benchmarks
Aug 27 03:41:54 Finished compiler/benchmarks                                     43s 713MB
Aug 27 03:41:55 Starting compiler/bootstrap/compilation/x64/64
Aug 27 04:26:00 Finished compiler/bootstrap/compilation/x64/64                44m04s 131GB
Aug 27 04:26:01 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 27 04:49:55 Finished compiler/bootstrap/compilation/x64/64/proofs         23m53s  53GB
Aug 27 04:49:56 Starting compiler/bootstrap/compilation/x64/32
Aug 27 05:29:29 Finished compiler/bootstrap/compilation/x64/32                39m31s  97GB
Aug 27 05:29:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 27 05:34:13 Finished compiler/bootstrap/compilation/x64/32/proofs          4m42s  23GB
Aug 27 05:34:14 Starting compiler/bootstrap/compilation/arm8/64
Aug 27 06:32:55 Finished compiler/bootstrap/compilation/arm8/64               58m39s 134GB
Aug 27 06:32:56 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 27 06:38:16 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m19s  31GB
Aug 27 06:38:17 Starting compiler/bootstrap/compilation/ag32/32
Aug 27 07:17:54 Finished compiler/bootstrap/compilation/ag32/32               39m35s 102GB
Aug 27 07:17:55 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 27 07:23:32 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m36s  30GB
Aug 27 07:23:33 SUCCESS