Job 916

CakeML:83e39f3a752926b630eafb549f1e02809750f563
  Change assignments to equalities in assert statements [Jun 11 19:26:13]
#660 (master)
Merging into:57a8a31ea045f3f546c1be2bc98ce345e492bdcb
  Merge pull request #659 from CakeML/filterfix [Jun 06 22:01:22]
HOL:b79f35944eb0df26a0153195202f89d5541fe0cf
  mark local state variables (#710) [Jun 16 23:52:15]
Machine:te1

Jun 17 12:45:02 Claimed job
Jun 17 12:45:13 Building HOL
Jun 17 12:58:07 Starting developers
Jun 17 12:58:09 Finished developers                                               2s  31MB
Jun 17 12:58:09 Starting developers/bin
Jun 17 12:58:16 Finished developers/bin                                           6s 923MB
Jun 17 12:58:16 Starting semantics/ffi
Jun 17 12:59:11 Finished semantics/ffi                                           54s 644MB
Jun 17 12:59:11 Starting semantics
Jun 17 13:01:28 Finished semantics                                             2m17s   1GB
Jun 17 13:01:28 Starting semantics/proofs
Jun 17 13:05:48 Finished semantics/proofs                                      4m19s   1GB
Jun 17 13:05:48 Starting semantics/alt_semantics
Jun 17 13:05:59 Finished semantics/alt_semantics                                 11s 309MB
Jun 17 13:05:59 Starting semantics/alt_semantics/proofs
Jun 17 13:08:35 Finished semantics/alt_semantics/proofs                        2m35s 911MB
Jun 17 13:08:35 Starting basis/pure
Jun 17 13:13:24 Finished basis/pure                                            4m48s 800MB
Jun 17 13:13:24 Starting translator
Jun 17 13:15:44 Finished translator                                            2m20s   1GB
Jun 17 13:15:44 Starting compiler/parsing
Jun 17 13:17:04 Finished compiler/parsing                                      1m19s   1GB
Jun 17 13:17:04 Starting characteristic
Jun 17 13:24:24 Finished characteristic                                        7m19s   2GB
Jun 17 13:24:24 Starting translator/monadic
Jun 17 13:26:32 Finished translator/monadic                                    2m07s   1GB
Jun 17 13:26:32 Starting basis
Jun 17 13:49:26 Finished basis                                                22m53s   3GB
Jun 17 13:49:26 Starting compiler/inference
Jun 17 13:52:03 Finished compiler/inference                                    2m37s   1GB
Jun 17 13:52:03 Starting compiler/backend/reg_alloc
Jun 17 13:53:19 Finished compiler/backend/reg_alloc                            1m15s   1GB
Jun 17 13:53:19 Starting compiler/backend/gc
Jun 17 14:05:48 Finished compiler/backend/gc                                  12m29s   2GB
Jun 17 14:05:48 Starting compiler/backend
Jun 17 14:05:51 Finished compiler/backend                                         2s  33MB
Jun 17 14:05:51 Starting compiler/encoders/asm
Jun 17 14:05:52 Finished compiler/encoders/asm                                    1s  25MB
Jun 17 14:05:52 Starting compiler/encoders/x64
Jun 17 14:07:18 Finished compiler/encoders/x64                                 1m25s 690MB
Jun 17 14:07:18 Starting compiler/encoders/arm7
Jun 17 14:09:40 Finished compiler/encoders/arm7                                2m22s   1GB
Jun 17 14:09:40 Starting compiler/encoders/arm8
Jun 17 14:10:27 Finished compiler/encoders/arm8                                  46s 603MB
Jun 17 14:10:27 Starting compiler/encoders/mips
Jun 17 14:12:07 Finished compiler/encoders/mips                                1m40s   1GB
Jun 17 14:12:07 Starting compiler/encoders/riscv
Jun 17 14:14:04 Finished compiler/encoders/riscv                               1m57s 920MB
Jun 17 14:14:05 Starting compiler/encoders/ag32
Jun 17 14:14:29 Finished compiler/encoders/ag32                                  24s 784MB
Jun 17 14:14:29 Starting compiler/backend/x64
Jun 17 14:14:55 Finished compiler/backend/x64                                    26s   1GB
Jun 17 14:14:55 Starting compiler/backend/arm7
Jun 17 14:15:22 Finished compiler/backend/arm7                                   26s   1GB
Jun 17 14:15:22 Starting compiler/backend/arm8
Jun 17 14:15:46 Finished compiler/backend/arm8                                   23s 942MB
Jun 17 14:15:46 Starting compiler/backend/mips
Jun 17 14:16:11 Finished compiler/backend/mips                                   25s   1GB
Jun 17 14:16:11 Starting compiler/backend/riscv
Jun 17 14:16:37 Finished compiler/backend/riscv                                  26s   1GB
Jun 17 14:16:37 Starting compiler/backend/ag32
Jun 17 14:18:07 Finished compiler/backend/ag32                                 1m29s   1GB
Jun 17 14:18:08 Starting compiler/parsing/proofs
Jun 17 14:26:47 Finished compiler/parsing/proofs                               8m39s   1GB
Jun 17 14:26:47 Starting compiler/inference/proofs
Jun 17 14:30:44 Finished compiler/inference/proofs                             3m56s   1GB
Jun 17 14:30:44 Starting compiler/backend/semantics
Jun 17 14:40:07 Finished compiler/backend/semantics                            9m22s   2GB
Jun 17 14:40:07 Starting compiler/backend/reg_alloc/proofs
Jun 17 14:44:56 Finished compiler/backend/reg_alloc/proofs                     4m48s   1GB
Jun 17 14:44:56 Starting compiler/backend/proofs
Jun 17 15:36:20 Finished compiler/backend/proofs                              51m23s   4GB
Jun 17 15:36:20 Starting compiler/encoders/x64/proofs
Jun 17 15:50:01 Finished compiler/encoders/x64/proofs                         13m41s   4GB
Jun 17 15:50:01 Starting compiler/encoders/arm7/proofs
Jun 17 16:07:50 Finished compiler/encoders/arm7/proofs                        17m48s   6GB
Jun 17 16:07:50 Starting compiler/encoders/arm8/proofs
Jun 17 16:17:02 Finished compiler/encoders/arm8/proofs                         9m12s   1GB
Jun 17 16:17:02 Starting compiler/encoders/mips/proofs
Jun 17 16:30:28 Finished compiler/encoders/mips/proofs                        13m25s   2GB
Jun 17 16:30:28 Starting compiler/encoders/riscv/proofs
Jun 17 16:41:51 Finished compiler/encoders/riscv/proofs                       11m22s   1GB
Jun 17 16:41:51 Starting compiler/encoders/ag32/proofs
Jun 17 16:45:04 Finished compiler/encoders/ag32/proofs                         3m13s   1GB
Jun 17 16:45:04 Starting compiler/backend/x64/proofs
Jun 17 16:45:30 Finished compiler/backend/x64/proofs                             25s 794MB
Jun 17 16:45:30 Starting compiler/backend/arm7/proofs
Jun 17 16:45:57 Finished compiler/backend/arm7/proofs                            27s   1GB
Jun 17 16:45:57 Starting compiler/backend/arm8/proofs
Jun 17 16:46:24 Finished compiler/backend/arm8/proofs                            25s   1GB
Jun 17 16:46:24 Starting compiler/backend/mips/proofs
Jun 17 16:46:50 Finished compiler/backend/mips/proofs                            26s 983MB
Jun 17 16:46:51 Starting compiler/backend/riscv/proofs
Jun 17 16:47:17 Finished compiler/backend/riscv/proofs                           26s   1GB
Jun 17 16:47:17 Starting compiler/backend/ag32/proofs
Jun 17 16:59:38 Finished compiler/backend/ag32/proofs                         12m20s   3GB
Jun 17 16:59:38 Starting compiler/proofs
Jun 17 17:01:27 Finished compiler/proofs                                       1m48s   2GB
Jun 17 17:01:27 Starting candle/set-theory
Jun 17 17:02:04 Finished candle/set-theory                                       37s   1GB
Jun 17 17:02:04 Starting candle/syntax-lib
Jun 17 17:02:20 Finished candle/syntax-lib                                       15s 452MB
Jun 17 17:02:20 Starting candle/standard/syntax
Jun 17 17:04:42 Finished candle/standard/syntax                                2m22s 920MB
Jun 17 17:04:42 Starting candle/standard/semantics
Jun 17 17:06:56 Finished candle/standard/semantics                             2m14s   1GB
Jun 17 17:06:56 Starting candle/standard/monadic
Jun 17 17:09:04 Finished candle/standard/monadic                               2m07s   1GB
Jun 17 17:09:04 Starting candle/standard/ml_kernel
Jun 17 17:14:09 Finished candle/standard/ml_kernel                             5m05s   3GB
Jun 17 17:14:09 Starting candle/standard/opentheory
Jun 17 17:25:45 Finished candle/standard/opentheory                           11m35s   3GB
Jun 17 17:25:45 Starting candle/standard/opentheory/compilation
Jun 17 18:02:42 Finished candle/standard/opentheory/compilation               36m57s  15GB
Jun 17 18:02:43 Starting candle/standard/opentheory/compilation/proofs
Jun 17 18:03:49 Finished candle/standard/opentheory/compilation/proofs         1m06s   2GB
Jun 17 18:03:49 Starting characteristic/examples
Jun 17 18:05:42 Finished characteristic/examples                               1m53s   2GB
Jun 17 18:05:42 Starting tutorial/solutions
Jun 17 18:22:37 Finished tutorial/solutions                                   16m55s   7GB
Jun 17 18:22:37 Starting translator/monadic/examples
Jun 17 18:26:12 Finished translator/monadic/examples                           3m34s   2GB
Jun 17 18:26:12 Starting examples
Jun 17 18:36:07 Finished examples                                              9m54s   3GB
Jun 17 18:36:07 Starting examples/compilation/x64
Jun 17 21:14:49 Finished examples/compilation/x64                           2h38m41s  11GB
Jun 17 21:14:49 Starting examples/compilation/x64/proofs
Jun 17 21:16:43 Finished examples/compilation/x64/proofs                       1m54s   2GB
Jun 17 21:16:43 Starting examples/compilation/ag32
Jun 17 21:53:21 Finished examples/compilation/ag32                            36m37s   5GB
Jun 17 21:53:21 Starting examples/compilation/ag32/proofs
Jun 17 21:54:19 Finished examples/compilation/ag32/proofs                        57s   3GB
Jun 17 21:54:19 Starting translator/okasaki-examples
Jun 17 21:59:47 Finished translator/okasaki-examples                           5m27s   1GB
Jun 17 21:59:47 Starting translator/other-examples
Jun 17 22:05:00 Finished translator/other-examples                             5m13s   1GB
Jun 17 22:05:00 Starting compiler/parsing/tests
Jun 17 22:05:37 Finished compiler/parsing/tests                                  36s 531MB
Jun 17 22:05:37 Starting compiler/inference/tests
Jun 17 22:10:47 Finished compiler/inference/tests                              5m10s   3GB
Jun 17 22:10:47 Starting compiler/bootstrap/translation
Jun 18 01:27:36 Finished compiler/bootstrap/translation                     3h16m48s  41GB
Jun 18 01:27:36 Starting unverified/sexpr-bootstrap/x64/64
Jun 18 01:37:21 Finished unverified/sexpr-bootstrap/x64/64                     9m44s   2GB
Jun 18 01:37:21 Starting unverified/sexpr-bootstrap/x64/32
Jun 18 01:44:12 Finished unverified/sexpr-bootstrap/x64/32                     6m50s   5GB
Jun 18 01:44:12 Starting compiler/benchmarks
Jun 18 01:44:18 Finished compiler/benchmarks                                      5s  36MB
Jun 18 01:44:18 Starting compiler/bootstrap/compilation/x64/64
Jun 18 14:39:17 Finished compiler/bootstrap/compilation/x64/64             12h54m58s  58GB
Jun 18 14:39:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 18 14:43:45 Finished compiler/bootstrap/compilation/x64/64/proofs          4m27s   5GB
Jun 18 14:43:45 Starting compiler/bootstrap/compilation/x64/32
Jun 19 02:31:01 Finished compiler/bootstrap/compilation/x64/32             11h47m15s  58GB
Jun 19 02:31:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 19 02:36:19 Finished compiler/bootstrap/compilation/x64/32/proofs          5m18s   5GB
Jun 19 02:36:19 Starting compiler/bootstrap/compilation/ag32/32
Jun 19 14:53:22 Finished compiler/bootstrap/compilation/ag32/32            12h17m02s  60GB
Jun 19 14:53:22 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 19 15:30:50 Finished compiler/bootstrap/compilation/ag32/32/proofs        37m27s  14GB
Jun 19 15:30:50 SUCCESS