Job 3659

CakeML:acc28e9636231d843a37365e0131daa57c179667
  Merge remote-tracking branch 'origin/master' into bot/sol/cakeml-proo [Nov 02 12:43:35]
#1573 (sequent-dev-bot:bot/sol/cakeml-proof-improvements)
Merging into:094ed712ae1d54a27bda4306167426583950b94d
  Merge pull request #1559 from CakeML/byte-array-scan [Nov 02 14:09:11]
HOL:9783a49979c94c401ff8c0e51b2eefae7ea95ae3
  RecordType: name the variables of the record cases proof [Oct 26 22:48:32]
Machine:bikkie

Nov 03 02:48:12 Claimed job
Nov 03 02:48:18 Reusing HOL
Nov 03 02:48:28 Starting developers
Nov 03 02:49:29 Finished developers                                              59s   1GB
Nov 03 02:49:30 Starting developers/bin
Nov 03 02:49:40 Finished developers/bin                                           9s   1GB
Nov 03 02:49:41 Starting misc
Nov 03 02:50:20 Finished misc                                                    38s   1GB
Nov 03 02:50:21 Starting compiler/proofs
Nov 03 04:20:34 Finished compiler/proofs                                    1h30m12s  11GB
Nov 03 04:20:35 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 03 11:01:02 Finished compiler/bootstrap/compilation/x64/64/proofs       6h40m26s 117GB
Nov 03 11:01:03 Starting semantics/ffi
Nov 03 11:01:27 Finished semantics/ffi                                           22s   1GB
Nov 03 11:01:28 Starting semantics
Nov 03 11:01:35 Finished semantics                                                6s   1GB
Nov 03 11:01:36 Starting semantics/proofs
Nov 03 11:02:08 Finished semantics/proofs                                        30s   1GB
Nov 03 11:02:09 Starting semantics/alt_semantics
Nov 03 11:02:27 Finished semantics/alt_semantics                                 17s   1GB
Nov 03 11:02:28 Starting semantics/alt_semantics/proofs
Nov 03 11:08:25 Finished semantics/alt_semantics/proofs                        5m55s   2GB
Nov 03 11:08:26 Starting basis/pure
Nov 03 11:08:34 Finished basis/pure                                               7s   1GB
Nov 03 11:08:35 Starting translator
Nov 03 11:09:54 Finished translator                                            1m17s   2GB
Nov 03 11:09:54 Starting compiler/parsing
Nov 03 11:10:30 Finished compiler/parsing                                        34s   2GB
Nov 03 11:10:31 Starting characteristic
Nov 03 11:10:39 Finished characteristic                                           6s   1GB
Nov 03 11:10:40 Starting translator/monadic
Nov 03 11:10:47 Finished translator/monadic                                       6s   1GB
Nov 03 11:10:48 Starting translator/monadic/monad_base
Nov 03 11:10:56 Finished translator/monadic/monad_base                            6s   1GB
Nov 03 11:10:57 Starting profiler
Nov 03 11:11:33 Finished profiler                                                35s   2GB
Nov 03 11:11:34 Starting basis
Nov 03 11:14:05 Finished basis                                                 2m30s   5GB
Nov 03 11:14:06 Starting compiler
Nov 03 11:14:13 Finished compiler                                                 6s   1GB
Nov 03 11:14:14 Starting compiler/inference
Nov 03 11:14:22 Finished compiler/inference                                       7s   1GB
Nov 03 11:14:23 Starting compiler/backend/reg_alloc
Nov 03 11:14:31 Finished compiler/backend/reg_alloc                               6s   1GB
Nov 03 11:14:32 Starting compiler/backend/gc
Nov 03 11:14:39 Finished compiler/backend/gc                                      6s   1GB
Nov 03 11:14:40 Starting compiler/backend
Nov 03 11:14:48 Finished compiler/backend                                         7s   1GB
Nov 03 11:14:49 Starting compiler/backend/tests
Nov 03 11:15:25 Finished compiler/backend/tests                                  34s   1GB
Nov 03 11:15:25 Starting compiler/encoders/asm
Nov 03 11:15:33 Finished compiler/encoders/asm                                    6s   1GB
Nov 03 11:15:34 Starting compiler/encoders/x64
Nov 03 11:15:41 Finished compiler/encoders/x64                                    6s   1GB
Nov 03 11:15:42 Starting compiler/encoders/arm7
Nov 03 11:15:50 Finished compiler/encoders/arm7                                   6s   1GB
Nov 03 11:15:51 Starting compiler/encoders/arm8
Nov 03 11:15:58 Finished compiler/encoders/arm8                                   6s   1GB
Nov 03 11:15:59 Starting compiler/encoders/arm8_asl
Nov 03 11:16:20 Finished compiler/encoders/arm8_asl                              20s   1GB
Nov 03 11:16:21 Starting compiler/encoders/mips
Nov 03 11:16:29 Finished compiler/encoders/mips                                   6s   1GB
Nov 03 11:16:29 Starting compiler/encoders/riscv
Nov 03 11:16:37 Finished compiler/encoders/riscv                                  6s   1GB
Nov 03 11:16:38 Starting compiler/encoders/ag32
Nov 03 11:16:46 Finished compiler/encoders/ag32                                   6s   1GB
Nov 03 11:16:47 Starting compiler/encoders/tests
Nov 03 11:17:27 Finished compiler/encoders/tests                                 39s   2GB
Nov 03 11:17:28 Starting compiler/encoders/monadic_enc
Nov 03 11:17:53 Finished compiler/encoders/monadic_enc                           23s   1GB
Nov 03 11:17:54 Starting compiler/backend/x64
Nov 03 11:18:01 Finished compiler/backend/x64                                     6s   1GB
Nov 03 11:18:02 Starting compiler/backend/arm7
Nov 03 11:18:10 Finished compiler/backend/arm7                                    6s   1GB
Nov 03 11:18:11 Starting compiler/backend/arm8
Nov 03 11:18:18 Finished compiler/backend/arm8                                    6s   1GB
Nov 03 11:18:19 Starting compiler/backend/mips
Nov 03 11:18:27 Finished compiler/backend/mips                                    6s   1GB
Nov 03 11:18:28 Starting compiler/backend/riscv
Nov 03 11:18:35 Finished compiler/backend/riscv                                   6s   1GB
Nov 03 11:18:36 Starting compiler/backend/ag32
Nov 03 11:19:34 Finished compiler/backend/ag32                                   56s   1GB
Nov 03 11:19:35 Starting compiler/backend/pattern_matching
Nov 03 11:19:58 Finished compiler/backend/pattern_matching                       22s   1GB
Nov 03 11:19:59 Starting compiler/printing
Nov 03 11:20:40 Finished compiler/printing                                       39s   1GB
Nov 03 11:20:41 Starting compiler/parsing/proofs
Nov 03 11:20:48 Finished compiler/parsing/proofs                                  6s   1GB
Nov 03 11:20:49 Starting compiler/inference/proofs
Nov 03 11:20:57 Finished compiler/inference/proofs                                6s   1GB
Nov 03 11:20:58 Starting compiler/backend/semantics
Nov 03 11:23:43 Finished compiler/backend/semantics                            2m44s   1GB
Nov 03 11:23:44 Starting compiler/backend/reg_alloc/proofs
Nov 03 11:23:52 Finished compiler/backend/reg_alloc/proofs                        6s   1GB
Nov 03 11:23:53 Starting compiler/backend/proofs
Nov 03 11:24:50 Finished compiler/backend/proofs                                 56s   2GB
Nov 03 11:24:51 Starting compiler/backend/serialiser
Nov 03 11:24:59 Finished compiler/backend/serialiser                              6s   1GB
Nov 03 11:25:00 Starting compiler/encoders/x64/proofs
Nov 03 11:25:08 Finished compiler/encoders/x64/proofs                             6s   1GB
Nov 03 11:25:09 Starting compiler/encoders/arm7/proofs Nov 03 11:25:09 785s