Job 1052

CakeML:c83d628203cffb295bb21893583d5281d59b5bc5
  Merge pull request #693 from LawAbidingCactus/rename-compile-error [Oct 09 09:08:44]
HOL:c80b32898bc7a3f692c1be84161e569112efdfa9
  Fix ARM_security_properties example for change in 44aabdd82 [Oct 02 12:15:29]
Machine:te1
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Oct 09 09:12:44 Claimed job
Oct 09 09:12:49 Reusing HOL
Oct 09 09:13:45 Starting developers
Oct 09 09:13:50 Finished developers                                               4s 111MB
Oct 09 09:13:50 Starting developers/bin
Oct 09 09:13:57 Finished developers/bin                                           6s 963MB
Oct 09 09:13:57 Starting semantics/ffi
Oct 09 09:14:12 Finished semantics/ffi                                           14s 228MB
Oct 09 09:14:12 Starting semantics
Oct 09 09:16:09 Finished semantics                                             1m56s   1GB
Oct 09 09:16:09 Starting semantics/proofs
Oct 09 09:20:30 Finished semantics/proofs                                      4m21s 984MB
Oct 09 09:20:30 Starting semantics/alt_semantics
Oct 09 09:20:41 Finished semantics/alt_semantics                                 11s 302MB
Oct 09 09:20:41 Starting semantics/alt_semantics/proofs
Oct 09 09:23:22 Finished semantics/alt_semantics/proofs                        2m40s 975MB
Oct 09 09:23:22 Starting basis/pure
Oct 09 09:24:32 Finished basis/pure                                            1m09s 653MB
Oct 09 09:24:32 Starting translator
Oct 09 09:27:09 Finished translator                                            2m37s   1GB
Oct 09 09:27:09 Starting compiler/parsing
Oct 09 09:28:31 Finished compiler/parsing                                      1m21s   2GB
Oct 09 09:28:31 Starting characteristic
Oct 09 09:36:05 Finished characteristic                                        7m33s   2GB
Oct 09 09:36:05 Starting translator/monadic
Oct 09 09:38:12 Finished translator/monadic                                    2m06s   1GB
Oct 09 09:38:12 Starting basis
Oct 09 10:05:41 Finished basis                                                27m28s   3GB
Oct 09 10:05:41 Starting compiler/inference
Oct 09 10:07:57 Finished compiler/inference                                    2m16s   1GB
Oct 09 10:07:57 Starting compiler/backend/reg_alloc
Oct 09 10:09:19 Finished compiler/backend/reg_alloc                            1m21s   1GB
Oct 09 10:09:19 Starting compiler/backend/gc
Oct 09 10:20:37 Finished compiler/backend/gc                                  11m17s   2GB
Oct 09 10:20:37 Starting compiler/backend
Oct 09 10:20:39 Finished compiler/backend                                         2s  34MB
Oct 09 10:20:39 Starting compiler/encoders/asm
Oct 09 10:20:40 Finished compiler/encoders/asm                                    1s  24MB
Oct 09 10:20:40 Starting compiler/encoders/x64
Oct 09 10:21:17 Finished compiler/encoders/x64                                   36s 737MB
Oct 09 10:21:17 Starting compiler/encoders/arm7
Oct 09 10:22:24 Finished compiler/encoders/arm7                                1m06s 709MB
Oct 09 10:22:24 Starting compiler/encoders/arm8
Oct 09 10:22:42 Finished compiler/encoders/arm8                                  17s 825MB
Oct 09 10:22:42 Starting compiler/encoders/mips
Oct 09 10:23:05 Finished compiler/encoders/mips                                  23s 753MB
Oct 09 10:23:05 Starting compiler/encoders/riscv
Oct 09 10:23:26 Finished compiler/encoders/riscv                                 21s 974MB
Oct 09 10:23:26 Starting compiler/encoders/ag32
Oct 09 10:23:51 Finished compiler/encoders/ag32                                  24s 764MB
Oct 09 10:23:51 Starting compiler/backend/x64
Oct 09 10:24:16 Finished compiler/backend/x64                                    25s   1GB
Oct 09 10:24:16 Starting compiler/backend/arm7
Oct 09 10:24:43 Finished compiler/backend/arm7                                   26s   1GB
Oct 09 10:24:43 Starting compiler/backend/arm8
Oct 09 10:25:08 Finished compiler/backend/arm8                                   25s 957MB
Oct 09 10:25:08 Starting compiler/backend/mips
Oct 09 10:25:35 Finished compiler/backend/mips                                   26s   1GB
Oct 09 10:25:35 Starting compiler/backend/riscv
Oct 09 10:26:02 Finished compiler/backend/riscv                                  27s   1GB
Oct 09 10:26:02 Starting compiler/backend/ag32
Oct 09 10:27:35 Finished compiler/backend/ag32                                 1m33s   1GB
Oct 09 10:27:35 Starting compiler/parsing/proofs
Oct 09 10:36:42 Finished compiler/parsing/proofs                               9m06s 962MB
Oct 09 10:36:42 Starting compiler/inference/proofs
Oct 09 10:40:43 Finished compiler/inference/proofs                             4m00s   1GB
Oct 09 10:40:43 Starting compiler/backend/semantics
Oct 09 10:48:56 Finished compiler/backend/semantics                            8m12s   2GB
Oct 09 10:48:56 Starting compiler/backend/reg_alloc/proofs
Oct 09 10:53:47 Finished compiler/backend/reg_alloc/proofs                     4m51s 896MB
Oct 09 10:53:48 Starting compiler/backend/proofs
Oct 09 11:48:37 Finished compiler/backend/proofs                              54m49s   5GB
Oct 09 11:48:37 Starting compiler/encoders/x64/proofs
Oct 09 12:01:17 Finished compiler/encoders/x64/proofs                         12m39s   4GB
Oct 09 12:01:17 Starting compiler/encoders/arm7/proofs
Oct 09 12:18:31 Finished compiler/encoders/arm7/proofs                        17m13s   6GB
Oct 09 12:18:31 Starting compiler/encoders/arm8/proofs
Oct 09 12:27:24 Finished compiler/encoders/arm8/proofs                         8m52s   1GB
Oct 09 12:27:24 Starting compiler/encoders/mips/proofs
Oct 09 12:40:14 Finished compiler/encoders/mips/proofs                        12m50s   3GB
Oct 09 12:40:14 Starting compiler/encoders/riscv/proofs
Oct 09 12:51:53 Finished compiler/encoders/riscv/proofs                       11m37s   1GB
Oct 09 12:51:53 Starting compiler/encoders/ag32/proofs
Oct 09 12:55:16 Finished compiler/encoders/ag32/proofs                         3m22s   1GB
Oct 09 12:55:16 Starting compiler/backend/x64/proofs
Oct 09 12:55:44 Finished compiler/backend/x64/proofs                             28s   1GB
Oct 09 12:55:44 Starting compiler/backend/arm7/proofs
Oct 09 12:56:14 Finished compiler/backend/arm7/proofs                            30s   1GB
Oct 09 12:56:14 Starting compiler/backend/arm8/proofs
Oct 09 12:56:42 Finished compiler/backend/arm8/proofs                            27s   1GB
Oct 09 12:56:42 Starting compiler/backend/mips/proofs
Oct 09 12:57:10 Finished compiler/backend/mips/proofs                            27s 961MB
Oct 09 12:57:10 Starting compiler/backend/riscv/proofs
Oct 09 12:57:37 Finished compiler/backend/riscv/proofs                           27s 822MB
Oct 09 12:57:37 Starting compiler/backend/ag32/proofs
Oct 09 13:10:28 Finished compiler/backend/ag32/proofs                         12m50s   2GB
Oct 09 13:10:28 Starting compiler/proofs
Oct 09 13:12:44 Finished compiler/proofs                                       2m15s   3GB
Oct 09 13:12:45 Starting candle/set-theory
Oct 09 13:13:22 Finished candle/set-theory                                       37s 772MB
Oct 09 13:13:22 Starting candle/syntax-lib
Oct 09 13:13:37 Finished candle/syntax-lib                                       15s 685MB
Oct 09 13:13:37 Starting candle/standard/syntax
Oct 09 13:16:06 Finished candle/standard/syntax                                2m28s   1GB
Oct 09 13:16:06 Starting candle/standard/semantics
Oct 09 13:18:29 Finished candle/standard/semantics                             2m23s   1GB
Oct 09 13:18:29 Starting candle/standard/monadic
Oct 09 13:20:42 Finished candle/standard/monadic                               2m12s   1GB
Oct 09 13:20:42 Starting candle/standard/ml_kernel
Oct 09 13:25:56 Finished candle/standard/ml_kernel                             5m13s   4GB
Oct 09 13:25:56 Starting candle/standard/opentheory
Oct 09 13:38:08 Finished candle/standard/opentheory                           12m11s   3GB
Oct 09 13:38:08 Starting candle/standard/opentheory/compilation
Oct 09 14:17:21 Finished candle/standard/opentheory/compilation               39m12s  17GB
Oct 09 14:17:21 Starting candle/standard/opentheory/compilation/proofs
Oct 09 14:18:26 Finished candle/standard/opentheory/compilation/proofs         1m04s   2GB
Oct 09 14:18:26 Starting characteristic/examples
Oct 09 14:20:24 Finished characteristic/examples                               1m58s   2GB
Oct 09 14:20:25 Starting tutorial/solutions
Oct 09 14:38:25 Finished tutorial/solutions                                   18m00s   6GB
Oct 09 14:38:25 Starting translator/monadic/examples
Oct 09 14:42:12 Finished translator/monadic/examples                           3m46s   2GB
Oct 09 14:42:12 Starting examples
Oct 09 14:52:54 Finished examples                                             10m42s   5GB
Oct 09 14:52:54 Starting examples/compilation/x64
Oct 09 17:38:15 Finished examples/compilation/x64                           2h45m20s  10GB
Oct 09 17:38:15 Starting examples/compilation/x64/proofs
Oct 09 17:40:24 Finished examples/compilation/x64/proofs                       2m08s   2GB
Oct 09 17:40:24 Starting examples/compilation/ag32
Oct 09 18:19:01 Finished examples/compilation/ag32                            38m37s   6GB
Oct 09 18:19:01 Starting examples/compilation/ag32/proofs
Oct 09 18:20:09 Finished examples/compilation/ag32/proofs                      1m07s   2GB
Oct 09 18:20:09 Starting translator/okasaki-examples
Oct 09 18:25:49 Finished translator/okasaki-examples                           5m40s   2GB
Oct 09 18:25:49 Starting translator/other-examples
Oct 09 18:26:46 Finished translator/other-examples                               56s   1GB
Oct 09 18:26:46 Starting compiler/parsing/tests
Oct 09 18:27:22 Finished compiler/parsing/tests                                  36s 544MB
Oct 09 18:27:22 Starting compiler/inference/tests
Oct 09 18:33:00 Finished compiler/inference/tests                              5m37s   5GB
Oct 09 18:33:00 Starting compiler/bootstrap/translation
Oct 09 21:58:12 Finished compiler/bootstrap/translation                     3h25m11s  42GB
Oct 09 21:58:12 Starting unverified/sexpr-bootstrap/x64/64
Oct 09 22:15:02 Finished unverified/sexpr-bootstrap/x64/64                    16m50s   3GB
Oct 09 22:15:02 Starting unverified/sexpr-bootstrap/x64/32
Oct 09 22:27:20 Finished unverified/sexpr-bootstrap/x64/32                    12m17s   5GB
Oct 09 22:27:20 Starting compiler/benchmarks
Oct 09 22:27:26 Finished compiler/benchmarks                                      5s  35MB
Oct 09 22:27:26 Starting compiler/bootstrap/compilation/x64/64
Oct 10 14:26:20 Finished compiler/bootstrap/compilation/x64/64             15h58m53s  62GB
Oct 10 14:26:20 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 10 14:31:12 Finished compiler/bootstrap/compilation/x64/64/proofs          4m51s   5GB
Oct 10 14:31:12 Starting compiler/bootstrap/compilation/x64/32
Oct 11 04:48:32 Finished compiler/bootstrap/compilation/x64/32             14h17m19s  59GB
Oct 11 04:48:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 11 04:52:18 Finished compiler/bootstrap/compilation/x64/32/proofs          3m46s   9GB
Oct 11 04:52:18 Starting compiler/bootstrap/compilation/ag32/32
Oct 11 20:34:20 Finished compiler/bootstrap/compilation/ag32/32            15h42m01s  58GB
Oct 11 20:34:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 11 21:10:00 Finished compiler/bootstrap/compilation/ag32/32/proofs        35m39s  29GB
Oct 11 21:10:00 SUCCESS