Job 2833

CakeML:c63235855a6513b71db4b0684028de786224914b
  Missed function name update in translation [May 16 04:35:15]
#1178 (halogentlepersuasion:pan_static_style)
Merging into:2bd164383ed8d41ec8d3128fcbfa6b7ad2a20054
  Merge pull request #1174 from CakeML/mlstring-common-prefix-suffix [May 15 06:49:57]
HOL:37389f39aa1f331637b2525ad92fdba43703a13e
  Progress with defining connected component notion within fsgraph [May 12 07:08:10]
Machine:pavlova

May 16 06:16:25 Claimed job
May 16 06:16:32 Reusing HOL
May 16 06:16:43 Starting developers
May 16 06:16:47 Finished developers                                               2s 201MB
May 16 06:16:48 Starting developers/bin
May 16 06:16:53 Finished developers/bin                                           4s 592MB
May 16 06:16:54 Starting misc
May 16 06:17:33 Finished misc                                                    38s   1GB
May 16 06:17:34 Starting compiler/proofs
May 16 07:48:57 Finished compiler/proofs                                    1h31m22s  30GB
May 16 07:48:58 Starting compiler/bootstrap/translation
May 16 13:27:31 Finished compiler/bootstrap/translation                     5h38m29s  84GB
May 16 13:27:32 Starting semantics/ffi
May 16 13:27:41 Finished semantics/ffi                                            8s 550MB
May 16 13:27:42 Starting semantics
May 16 13:27:43 Finished semantics                                                0s  54MB
May 16 13:27:44 Starting semantics/proofs
May 16 13:28:08 Finished semantics/proofs                                        22s   1GB
May 16 13:28:08 Starting semantics/alt_semantics
May 16 13:28:29 Finished semantics/alt_semantics                                 19s 702MB
May 16 13:28:30 Starting semantics/alt_semantics/proofs
May 16 13:38:45 Finished semantics/alt_semantics/proofs                       10m14s   2GB
May 16 13:38:46 Starting basis/pure
May 16 13:38:48 Finished basis/pure                                               0s  93MB
May 16 13:38:49 Starting translator
May 16 13:40:25 Finished translator                                            1m35s   3GB
May 16 13:40:26 Starting compiler/parsing
May 16 13:40:27 Finished compiler/parsing                                         0s  60MB
May 16 13:40:28 Starting characteristic
May 16 13:40:30 Finished characteristic                                           1s 124MB
May 16 13:40:31 Starting translator/monadic
May 16 13:40:33 Finished translator/monadic                                       1s 114MB
May 16 13:40:34 Starting translator/monadic/monad_base
May 16 13:40:35 Finished translator/monadic/monad_base                            0s  55MB
May 16 13:40:36 Starting basis
May 16 13:42:55 Finished basis                                                 2m17s   3GB
May 16 13:42:56 Starting compiler
May 16 13:42:58 Finished compiler                                                 1s 208MB
May 16 13:42:59 Starting compiler/inference
May 16 13:43:01 Finished compiler/inference                                       1s 114MB
May 16 13:43:02 Starting compiler/backend/reg_alloc
May 16 13:43:04 Finished compiler/backend/reg_alloc                               0s  55MB
May 16 13:43:04 Starting compiler/backend/gc
May 16 13:43:07 Finished compiler/backend/gc                                      1s 132MB
May 16 13:43:07 Starting compiler/backend
May 16 13:43:12 Finished compiler/backend                                         4s 257MB
May 16 13:43:13 Starting compiler/encoders/asm
May 16 13:43:15 Finished compiler/encoders/asm                                    0s  84MB
May 16 13:43:16 Starting compiler/encoders/x64
May 16 13:43:17 Finished compiler/encoders/x64                                    0s  84MB
May 16 13:43:18 Starting compiler/encoders/arm7
May 16 13:43:20 Finished compiler/encoders/arm7                                   0s  82MB
May 16 13:43:21 Starting compiler/encoders/arm8
May 16 13:43:23 Finished compiler/encoders/arm8                                   0s  86MB
May 16 13:43:23 Starting compiler/encoders/arm8_asl
May 16 13:44:21 Finished compiler/encoders/arm8_asl                              56s  20GB
May 16 13:44:22 Starting compiler/encoders/mips
May 16 13:44:23 Finished compiler/encoders/mips                                   0s  88MB
May 16 13:44:24 Starting compiler/encoders/riscv
May 16 13:44:26 Finished compiler/encoders/riscv                                  0s  84MB
May 16 13:44:27 Starting compiler/encoders/ag32
May 16 13:44:28 Finished compiler/encoders/ag32                                   0s  82MB
May 16 13:44:29 Starting compiler/encoders/tests
May 16 13:44:31 Finished compiler/encoders/tests                                  0s 100MB
May 16 13:44:32 Starting compiler/encoders/monadic_enc
May 16 13:44:34 Finished compiler/encoders/monadic_enc                            1s 128MB
May 16 13:44:35 Starting compiler/backend/x64
May 16 13:44:37 Finished compiler/backend/x64                                     1s 136MB
May 16 13:44:38 Starting compiler/backend/arm7
May 16 13:44:40 Finished compiler/backend/arm7                                    1s 137MB
May 16 13:44:41 Starting compiler/backend/arm8
May 16 13:44:43 Finished compiler/backend/arm8                                    1s 136MB
May 16 13:44:44 Starting compiler/backend/mips
May 16 13:44:46 Finished compiler/backend/mips                                    1s 137MB
May 16 13:44:47 Starting compiler/backend/riscv
May 16 13:44:49 Finished compiler/backend/riscv                                   1s 137MB
May 16 13:44:50 Starting compiler/backend/ag32
May 16 13:45:54 Finished compiler/backend/ag32                                 1m03s   1GB
May 16 13:45:55 Starting compiler/backend/pattern_matching
May 16 13:45:56 Finished compiler/backend/pattern_matching                        0s  53MB
May 16 13:45:57 Starting compiler/parsing/ocaml
May 16 13:47:39 Finished compiler/parsing/ocaml                                1m41s   1GB
May 16 13:47:40 Starting compiler/printing
May 16 13:47:42 Finished compiler/printing                                        1s 106MB
May 16 13:47:43 Starting compiler/parsing/proofs
May 16 13:47:45 Finished compiler/parsing/proofs                                  0s  61MB
May 16 13:47:46 Starting compiler/inference/proofs
May 16 13:47:48 Finished compiler/inference/proofs                                1s 115MB
May 16 13:47:48 Starting compiler/backend/semantics
May 16 13:50:55 Finished compiler/backend/semantics                            3m06s   2GB
May 16 13:50:56 Starting compiler/backend/reg_alloc/proofs
May 16 13:50:58 Finished compiler/backend/reg_alloc/proofs                        1s 111MB
May 16 13:50:59 Starting compiler/backend/proofs
May 16 13:51:43 Finished compiler/backend/proofs                                 43s   2GB
May 16 13:51:44 Starting compiler/backend/serialiser
May 16 13:51:47 Finished compiler/backend/serialiser                              1s 147MB
May 16 13:51:47 Starting compiler/encoders/x64/proofs
May 16 14:01:54 Finished compiler/encoders/x64/proofs                         10m05s   5GB
May 16 14:01:55 Starting compiler/encoders/arm7/proofs
May 16 14:15:10 Finished compiler/encoders/arm7/proofs                        13m13s  11GB
May 16 14:15:11 Starting compiler/encoders/arm8/proofs
May 16 14:22:16 Finished compiler/encoders/arm8/proofs                         7m04s   3GB
May 16 14:22:17 Starting compiler/encoders/arm8_asl/proofs
May 16 14:37:41 Finished compiler/encoders/arm8_asl/proofs                    15m23s   3GB
May 16 14:37:42 Starting compiler/encoders/mips/proofs
May 16 14:47:36 Finished compiler/encoders/mips/proofs                         9m52s   7GB
May 16 14:47:37 Starting compiler/encoders/riscv/proofs
May 16 14:55:40 Finished compiler/encoders/riscv/proofs                        8m01s   4GB
May 16 14:55:40 Starting compiler/encoders/ag32/proofs
May 16 14:58:31 Finished compiler/encoders/ag32/proofs                         2m49s   1GB
May 16 14:58:32 Starting compiler/backend/x64/proofs
May 16 14:59:02 Finished compiler/backend/x64/proofs                             28s   2GB
May 16 14:59:02 Starting compiler/backend/arm7/proofs
May 16 14:59:34 Finished compiler/backend/arm7/proofs                            30s   2GB
May 16 14:59:35 Starting compiler/backend/arm8/proofs
May 16 15:00:06 Finished compiler/backend/arm8/proofs                            30s   2GB
May 16 15:00:07 Starting compiler/backend/arm8_asl
May 16 15:00:29 Finished compiler/backend/arm8_asl                               20s   2GB
May 16 15:00:30 Starting compiler/backend/mips/proofs
May 16 15:00:59 Finished compiler/backend/mips/proofs                            28s   1GB
May 16 15:01:00 Starting compiler/backend/riscv/proofs
May 16 15:01:30 Finished compiler/backend/riscv/proofs                           29s   2GB
May 16 15:01:31 Starting compiler/backend/ag32/proofs
May 16 15:14:59 Finished compiler/backend/ag32/proofs                         13m26s   4GB
May 16 15:15:00 Starting compiler/backend/cv_compute
May 16 15:16:06 Finished compiler/backend/cv_compute                           1m05s   1GB
May 16 15:16:07 Starting cv_translator
May 16 15:36:07 Finished cv_translator                                        19m58s   8GB
May 16 15:36:08 Starting candle
May 16 15:36:09 Finished candle                                                   0s  12MB
May 16 15:36:10 Starting candle/set-theory
May 16 15:36:42 Finished candle/set-theory                                       31s   1GB
May 16 15:36:43 Starting candle/syntax-lib
May 16 15:36:45 Finished candle/syntax-lib                                        0s  94MB
May 16 15:36:46 Starting candle/standard
May 16 15:36:47 Finished candle/standard                                          0s  12MB
May 16 15:36:48 Starting candle/standard/syntax
May 16 15:37:00 Finished candle/standard/syntax                                  10s 754MB
May 16 15:37:00 Starting candle/standard/semantics
May 16 15:38:56 Finished candle/standard/semantics                             1m53s   1GB
May 16 15:38:56 Starting candle/standard/monadic
May 16 15:38:59 Finished candle/standard/monadic                                  1s 125MB
May 16 15:38:59 Starting candle/standard/ml_kernel
May 16 15:40:44 Finished candle/standard/ml_kernel                             1m43s   4GB
May 16 15:40:44 Starting candle/standard/ml_kernel/lisp
May 16 15:40:46 Finished candle/standard/ml_kernel/lisp                           0s  47MB
May 16 15:40:47 Starting candle/overloading
May 16 15:40:48 Finished candle/overloading                                       0s  11MB
May 16 15:40:49 Starting candle/overloading/syntax
May 16 15:43:52 Finished candle/overloading/syntax                             3m02s   2GB
May 16 15:43:53 Starting candle/overloading/semantics
May 16 15:54:39 Finished candle/overloading/semantics                         10m44s   3GB
May 16 15:54:39 Starting candle/overloading/monadic
May 16 15:56:50 Finished candle/overloading/monadic                            2m10s   2GB
May 16 15:56:51 Starting candle/overloading/ml_kernel
May 16 16:04:10 Finished candle/overloading/ml_kernel                          7m17s   5GB
May 16 16:04:11 Starting candle/overloading/ml_checker
May 16 16:06:21 Finished candle/overloading/ml_checker                         2m09s   6GB
May 16 16:06:22 Starting candle/prover
May 16 16:15:53 Finished candle/prover                                         9m30s   5GB
May 16 16:15:54 Starting candle/prover/compute
May 16 16:15:56 Finished candle/prover/compute                                    1s 150MB
May 16 16:15:57 Starting pancake
May 16 16:15:59 Finished pancake                                                  1s 139MB
May 16 16:16:00 Starting pancake/semantics
May 16 16:18:08 Finished pancake/semantics                                     2m06s   2GB
May 16 16:18:09 Starting pancake/parser
May 16 16:18:34 Finished pancake/parser                                          24s 439MB
May 16 16:18:35 Starting pancake/static_checker
May 16 16:19:12 Finished pancake/static_checker                                  36s   1GB
May 16 16:19:13 Starting pancake/proofs
May 16 16:35:07 Finished pancake/proofs                                       15m53s   7GB
May 16 16:35:08 Starting compiler/dafny
May 16 16:38:00 Finished compiler/dafny                                        2m50s  12GB
May 16 16:38:00 Starting compiler/dafny/translation
May 16 16:57:17 Finished compiler/dafny/translation                           19m14s  21GB
May 16 16:57:18 Starting compiler/dafny/compilation
May 16 17:00:17 Finished compiler/dafny/compilation                            2m58s  11GB
May 16 17:00:18 Starting compiler/dafny/semantics
May 16 17:00:54 Finished compiler/dafny/semantics                                35s   1GB
May 16 17:00:55 Starting characteristic/examples
May 16 17:02:18 Finished characteristic/examples                               1m21s   4GB
May 16 17:02:19 Starting tutorial/solutions
May 16 17:04:40 Finished tutorial/solutions                                    2m20s   3GB
May 16 17:04:41 Starting translator/monadic/examples
May 16 17:07:34 Finished translator/monadic/examples                           2m52s   4GB
May 16 17:07:35 Starting examples
May 16 17:13:23 Finished examples                                              5m46s   3GB
May 16 17:13:24 Starting examples/compilation
May 16 17:13:24 Finished examples/compilation                                     0s  10MB
May 16 17:13:25 Starting examples/compilation/x64
May 16 17:20:17 Finished examples/compilation/x64                              6m51s   4GB
May 16 17:20:18 Starting examples/compilation/x64/proofs
May 16 17:22:39 Finished examples/compilation/x64/proofs                       2m19s   4GB
May 16 17:22:40 Starting examples/compilation/ag32
May 16 17:24:33 Finished examples/compilation/ag32                             1m52s   3GB
May 16 17:24:34 Starting examples/compilation/ag32/proofs
May 16 17:25:34 Finished examples/compilation/ag32/proofs                        59s   5GB
May 16 17:25:35 Starting examples/lpr_checker
May 16 17:26:05 Finished examples/lpr_checker                                    28s   1GB
May 16 17:26:06 Starting examples/lpr_checker/array
May 16 17:52:10 Finished examples/lpr_checker/array                           26m03s  21GB
May 16 17:52:11 Starting examples/lpr_checker/array/compilation
May 16 17:54:33 Finished examples/lpr_checker/array/compilation                2m20s   7GB
May 16 17:54:34 Starting examples/lpr_checker/array/compilation/proofs
May 16 17:55:42 Finished examples/lpr_checker/array/compilation/proofs         1m07s   6GB
May 16 17:55:43 Starting examples/lpr_checker/array/compilation/proofsARM8
May 16 17:56:50 Finished examples/lpr_checker/array/compilation/proofsARM8     1m06s   6GB
May 16 17:56:51 Starting .
May 16 17:56:55 Finished .                                                        2s 306MB
May 16 17:56:56 Starting examples/xlrup_checker
May 16 17:57:32 Finished examples/xlrup_checker                                  33s   1GB
May 16 17:57:32 Starting examples/xlrup_checker/array
May 16 18:10:30 Finished examples/xlrup_checker/array                         12m56s   8GB
May 16 18:10:31 Starting examples/xlrup_checker/array/compilation
May 16 18:11:34 Finished examples/xlrup_checker/array/compilation              1m01s   5GB
May 16 18:11:35 Starting examples/xlrup_checker/array/compilation/proofs
May 16 18:12:32 Finished examples/xlrup_checker/array/compilation/proofs         56s   5GB
May 16 18:12:33 Starting examples/pseudo_bool
May 16 18:14:04 Finished examples/pseudo_bool                                  1m29s   2GB
May 16 18:14:05 Starting examples/pseudo_bool/cnf_encoding
May 16 18:14:33 Finished examples/pseudo_bool/cnf_encoding                       27s   1GB
May 16 18:14:34 Starting examples/pseudo_bool/graph_encoding
May 16 18:15:16 Finished examples/pseudo_bool/graph_encoding                     41s   1GB
May 16 18:15:17 Starting examples/pseudo_bool/array
May 16 19:24:23 Finished examples/pseudo_bool/array                         1h09m03s  38GB
May 16 19:24:23 Starting examples/pseudo_bool/array/compilation
May 16 19:34:14 Finished examples/pseudo_bool/array/compilation                9m50s  19GB
May 16 19:34:15 Starting examples/pseudo_bool/array/compilation/proofs
May 16 19:36:47 Finished examples/pseudo_bool/array/compilation/proofs         2m31s   6GB
May 16 19:36:48 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 16 19:38:00 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m11s   6GB
May 16 19:38:01 Starting examples/opentheory
May 16 19:46:27 Finished examples/opentheory                                   8m24s   6GB
May 16 19:46:28 Starting examples/opentheory/compilation
May 16 19:48:01 Finished examples/opentheory/compilation                       1m32s   6GB
May 16 19:48:02 Starting examples/opentheory/compilation/proofs
May 16 19:48:59 Finished examples/opentheory/compilation/proofs                  56s   3GB
May 16 19:49:00 Starting examples/opentheory/compilation/ag32
May 16 19:50:36 Finished examples/opentheory/compilation/ag32                  1m34s   6GB
May 16 19:50:37 Starting examples/opentheory/compilation/ag32/proofs
May 16 19:52:12 Finished examples/opentheory/compilation/ag32/proofs           1m34s   7GB
May 16 19:52:13 Starting examples/sat_encodings
May 16 19:53:13 Finished examples/sat_encodings                                  58s 932MB
May 16 19:53:14 Starting examples/sat_encodings/demo
May 16 19:53:14 Finished examples/sat_encodings/demo                              0s  11MB
May 16 19:53:15 Starting examples/sat_encodings/case_studies
May 16 19:54:56 Finished examples/sat_encodings/case_studies                   1m39s   1GB
May 16 19:54:57 Starting examples/sat_encodings/translation
May 16 19:58:30 Finished examples/sat_encodings/translation                    3m32s   3GB
May 16 19:58:31 Starting examples/sat_encodings/translation/compilation
May 16 20:00:24 Finished examples/sat_encodings/translation/compilation        1m52s   4GB
May 16 20:00:25 Starting examples/deflate
May 16 20:00:53 Finished examples/deflate                                        26s 725MB
May 16 20:00:53 Starting examples/deflate/translation
May 16 20:01:56 Finished examples/deflate/translation                          1m01s   4GB
May 16 20:01:57 Starting examples/deflate/translation/compilation
May 16 20:02:47 Finished examples/deflate/translation/compilation                49s   3GB
May 16 20:02:48 Starting examples/vipr
May 16 20:06:06 Finished examples/vipr                                         3m17s   7GB
May 16 20:06:07 Starting examples/vipr/compilation
May 16 20:07:04 Finished examples/vipr/compilation                               56s   4GB
May 16 20:07:05 Starting translator/okasaki-examples
May 16 20:11:08 Finished translator/okasaki-examples                           4m01s   3GB
May 16 20:11:09 Starting translator/other-examples
May 16 20:11:58 Finished translator/other-examples                               48s   3GB
May 16 20:11:59 Starting translator/other-examples/auxiliary
May 16 20:12:00 Finished translator/other-examples/auxiliary                      0s  14MB
May 16 20:12:01 Starting compiler/parsing/tests
May 16 20:12:35 Finished compiler/parsing/tests                                  33s   1GB
May 16 20:12:36 Starting compiler/inference/tests
May 16 20:13:12 Finished compiler/inference/tests                                34s   2GB
May 16 20:13:13 Starting compiler/printing/test
May 16 20:14:23 Finished compiler/printing/test                                1m09s   5GB
May 16 20:14:24 Starting icing/flover
May 16 20:46:46 Finished icing/flover                                         32m20s   2GB
May 16 20:46:47 Starting icing/flover/Infra
May 16 20:46:48 Finished icing/flover/Infra                                       0s  14MB
May 16 20:46:48 Starting icing/flover/semantics
May 16 20:46:49 Finished icing/flover/semantics                                   0s  14MB
May 16 20:46:50 Starting icing/
May 16 21:13:12 Finished icing/                                               26m20s   7GB
May 16 21:13:12 Starting icing/examples
May 16 21:14:39 Finished icing/examples                                        1m25s   7GB
May 16 21:14:40 Starting compiler/repl
May 16 21:22:35 Finished compiler/repl                                         7m54s   8GB
May 16 21:22:36 Starting unverified/sexpr-bootstrap/x64/64
May 16 21:26:26 Finished unverified/sexpr-bootstrap/x64/64                     3m48s  16GB
May 16 21:26:26 Starting unverified/sexpr-bootstrap/x64/32
May 16 21:29:49 Finished unverified/sexpr-bootstrap/x64/32                     3m21s  16GB
May 16 21:29:49 Starting compiler/benchmarks
May 16 21:30:35 Finished compiler/benchmarks                                     44s 712MB
May 16 21:30:36 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 16 21:30:39 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 246MB
May 16 21:30:40 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 16 21:30:43 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 262MB
May 16 21:30:44 Starting compiler/bootstrap/compilation/x64/64
May 16 21:59:41 Finished compiler/bootstrap/compilation/x64/64                28m55s  97GB
May 16 21:59:42 Starting compiler/bootstrap/compilation/x64/64/proofs
May 16 22:24:19 Finished compiler/bootstrap/compilation/x64/64/proofs         24m35s  47GB
May 16 22:24:19 Starting compiler/bootstrap/compilation/x64/32
May 16 22:53:11 Finished compiler/bootstrap/compilation/x64/32                28m50s  83GB
May 16 22:53:12 Starting compiler/bootstrap/compilation/x64/32/proofs
May 16 22:57:32 Finished compiler/bootstrap/compilation/x64/32/proofs          4m19s  22GB
May 16 22:57:33 Starting compiler/bootstrap/compilation/arm8/64
May 16 23:42:25 Finished compiler/bootstrap/compilation/arm8/64               44m50s 117GB
May 16 23:42:26 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 16 23:47:22 Finished compiler/bootstrap/compilation/arm8/64/proofs         4m55s  29GB
May 16 23:47:23 Starting compiler/bootstrap/compilation/ag32/32
May 17 00:16:49 Finished compiler/bootstrap/compilation/ag32/32               29m24s  90GB
May 17 00:16:50 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 17 00:21:32 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m40s  30GB
May 17 00:21:33 SUCCESS