CakeML Regression Test

Job 3242

CakeML:4666b4717c15b958ebd5ee5b05dea4649371bf51
  Fix type of syntax [Mar 04 12:19:46]
#1348 (noparse)
Merging into:48ce8d3f3d18621a5da67f004dfd21efbc459a6b
  Merge pull request #1344 from CakeML/mcandidate-fix [Mar 02 05:56:38]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:timtam

Mar 04 12:23:43 Claimed job
Mar 04 12:23:48 Reusing HOL
Mar 04 12:23:59 Starting developers
Mar 04 12:24:05 Finished developers                                               4s 177MB
Mar 04 12:24:06 Starting developers/bin
Mar 04 12:24:11 Finished developers/bin                                           4s  90MB
Mar 04 12:24:12 Starting misc
Mar 04 12:24:56 Finished misc                                                    42s   1GB
Mar 04 12:24:57 Starting compiler/proofs
Mar 04 13:24:37 Finished compiler/proofs                                      59m38s  12GB
Mar 04 13:24:38 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 04 19:16:05 Finished compiler/bootstrap/compilation/x64/64/proofs       5h51m25s  96GB
Mar 04 19:16:06 Starting semantics/ffi
Mar 04 19:16:17 Finished semantics/ffi                                           10s 550MB
Mar 04 19:16:18 Starting semantics
Mar 04 19:16:21 Finished semantics                                                1s  95MB
Mar 04 19:16:22 Starting semantics/proofs
Mar 04 19:16:43 Finished semantics/proofs                                        20s 728MB
Mar 04 19:16:44 Starting semantics/alt_semantics
Mar 04 19:17:01 Finished semantics/alt_semantics                                 16s 546MB
Mar 04 19:17:02 Starting semantics/alt_semantics/proofs
Mar 04 19:20:20 Finished semantics/alt_semantics/proofs                        3m15s   1GB
Mar 04 19:20:21 Starting basis/pure
Mar 04 19:20:23 Finished basis/pure                                               0s  89MB
Mar 04 19:20:24 Starting translator
Mar 04 19:21:27 Finished translator                                            1m01s   3GB
Mar 04 19:21:28 Starting compiler/parsing
Mar 04 19:21:30 Finished compiler/parsing                                         1s 100MB
Mar 04 19:21:31 Starting characteristic
Mar 04 19:21:34 Finished characteristic                                           1s 121MB
Mar 04 19:21:35 Starting translator/monadic
Mar 04 19:21:38 Finished translator/monadic                                       1s 122MB
Mar 04 19:21:39 Starting translator/monadic/monad_base
Mar 04 19:21:41 Finished translator/monadic/monad_base                            0s  94MB
Mar 04 19:21:42 Starting profiler
Mar 04 19:22:12 Finished profiler                                                28s   1GB
Mar 04 19:22:13 Starting basis
Mar 04 19:23:49 Finished basis                                                 1m34s   4GB
Mar 04 19:23:51 Starting compiler
Mar 04 19:23:55 Finished compiler                                                 2s 223MB
Mar 04 19:23:56 Starting compiler/inference
Mar 04 19:24:02 Finished compiler/inference                                       1s 120MB
Mar 04 19:24:08 Starting compiler/backend/reg_alloc
Mar 04 19:24:10 Finished compiler/backend/reg_alloc                               1s  91MB
Mar 04 19:24:11 Starting compiler/backend/gc
Mar 04 19:24:16 Finished compiler/backend/gc                                      1s 146MB
Mar 04 19:24:17 Starting compiler/backend
Mar 04 19:24:23 Finished compiler/backend                                         4s 232MB
Mar 04 19:24:26 Starting compiler/encoders/asm
Mar 04 19:24:30 Finished compiler/encoders/asm                                    1s 108MB
Mar 04 19:24:31 Starting compiler/encoders/x64
Mar 04 19:24:36 Finished compiler/encoders/x64                                    1s 109MB