Job 764

CakeML:923db92f91b5944455f6807ba55a94f0e4de47ba
  Linear scan: replace more `Theorem` [Mar 29 12:00:22]
#623 (linear-scan)
Merging into:73308edaef80913e6823e18886def7bf8f31d4b8
  Merge pull request #621 from michaelsproul/unverified-sexpr-fix [Mar 22 06:55:37]
HOL:d5c7cf0c4804c7be3b93f4f1c1f0e60bad3d323f
  Merge pull request #682 from fogity/riscv-decomp [Mar 28 05:03:13]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Mar 29 14:39:25 Claimed job
Mar 29 14:40:01 Building HOL
Mar 29 14:47:47 Starting developers
Mar 29 14:47:48 Finished developers                                               0s  30MB
Mar 29 14:47:48 Starting developers/bin
Mar 29 14:48:22 Finished developers/bin                                          33s 204MB
Mar 29 14:48:22 Starting semantics/ffi
Mar 29 14:48:56 Finished semantics/ffi                                           32s 460MB
Mar 29 14:48:56 Starting semantics
Mar 29 14:50:26 Finished semantics                                             1m29s   1GB
Mar 29 14:50:26 Starting semantics/proofs
Mar 29 14:53:19 Finished semantics/proofs                                      2m52s   1GB
Mar 29 14:53:19 Starting basis/pure
Mar 29 14:56:52 Finished basis/pure                                            3m32s 666MB
Mar 29 14:56:52 Starting translator
Mar 29 14:58:30 Finished translator                                            1m37s   1GB
Mar 29 14:58:30 Starting compiler/parsing
Mar 29 14:59:27 Finished compiler/parsing                                        56s   2GB
Mar 29 14:59:28 Starting characteristic
Mar 29 15:03:40 Finished characteristic                                        4m11s   2GB
Mar 29 15:03:40 Starting translator/monadic
Mar 29 15:05:08 Finished translator/monadic                                    1m27s   1GB
Mar 29 15:05:08 Starting basis
Mar 29 15:21:13 Finished basis                                                16m04s   2GB
Mar 29 15:21:14 Starting compiler/inference
Mar 29 15:22:59 Finished compiler/inference                                    1m44s   1GB
Mar 29 15:23:00 Starting compiler/backend/reg_alloc
Mar 29 15:23:56 Finished compiler/backend/reg_alloc                              55s   1GB
Mar 29 15:23:56 Starting compiler/backend/gc
Mar 29 15:32:55 Finished compiler/backend/gc                                   8m58s   1GB
Mar 29 15:32:55 Starting compiler/backend
Mar 29 15:32:56 Finished compiler/backend                                         0s  42MB
Mar 29 15:32:57 Starting compiler/encoders/asm
Mar 29 15:32:57 Finished compiler/encoders/asm                                    0s  32MB
Mar 29 15:32:58 Starting compiler/encoders/x64
Mar 29 15:33:53 Finished compiler/encoders/x64                                   55s 688MB
Mar 29 15:33:54 Starting compiler/encoders/arm6
Mar 29 15:35:31 Finished compiler/encoders/arm6                                1m37s   1GB
Mar 29 15:35:32 Starting compiler/encoders/arm8
Mar 29 15:35:59 Finished compiler/encoders/arm8                                  27s 876MB
Mar 29 15:36:00 Starting compiler/encoders/mips
Mar 29 15:37:00 Finished compiler/encoders/mips                                  59s   1GB
Mar 29 15:37:00 Starting compiler/encoders/riscv
Mar 29 15:38:15 Finished compiler/encoders/riscv                               1m14s 847MB
Mar 29 15:38:15 Starting compiler/encoders/ag32
Mar 29 15:38:30 Finished compiler/encoders/ag32                                  14s 683MB
Mar 29 15:38:31 Starting compiler/backend/x64
Mar 29 15:38:46 Finished compiler/backend/x64                                    15s   1GB
Mar 29 15:38:47 Starting compiler/backend/arm6
Mar 29 15:39:04 Finished compiler/backend/arm6                                   17s   1GB
Mar 29 15:39:05 Starting compiler/backend/arm8
Mar 29 15:39:19 Finished compiler/backend/arm8                                   14s 899MB
Mar 29 15:39:19 Starting compiler/backend/mips
Mar 29 15:39:35 Finished compiler/backend/mips                                   15s   1GB
Mar 29 15:39:36 Starting compiler/backend/riscv
Mar 29 15:39:52 Finished compiler/backend/riscv                                  16s   1GB
Mar 29 15:39:53 Starting compiler/backend/ag32
Mar 29 15:40:59 Finished compiler/backend/ag32                                 1m05s   1GB
Mar 29 15:40:59 Starting compiler/parsing/proofs
Mar 29 15:46:34 Finished compiler/parsing/proofs                               5m34s   1GB
Mar 29 15:46:35 Starting compiler/inference/proofs
Mar 29 15:49:11 Finished compiler/inference/proofs                             2m36s   1GB
Mar 29 15:49:12 Starting compiler/backend/semantics
Mar 29 15:56:06 Finished compiler/backend/semantics                            6m53s   1GB
Mar 29 15:56:06 Starting compiler/backend/reg_alloc/proofs
Mar 29 15:59:13 Finished compiler/backend/reg_alloc/proofs                     3m06s 730MB
Mar 29 15:59:13 Starting compiler/backend/proofs
Mar 29 20:11:59 Resuming compiler/backend/proofs