CakeML Regression Test

Job 2115

CakeML:094171d5cb6fea03949522e7fb02f778cd5d04f6
  DON'T MERGE --- testing regression runner [Mar 22 12:11:17]
#945 (nonsense)
Merging into:4a59cb87727545e08ff4cf881911dcf91010657a
  Merge pull request #927 from CakeML/translation_update [Mar 20 11:33:19]
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax [Feb 03 10:08:02]
Machine:pavlova

Mar 22 12:20:10 Claimed job
Mar 22 12:20:13 Reusing+HOL
Mar 22 12:20:53 Starting+developers
Mar 22 12:20:59 Finished+developers++++++++++++++++++++++++++++++++++++++++4.58+191368
Mar 22 12:21:00 Starting+developers/bin
Mar 22 12:21:11 Finished+developers/bin++++++++++++++++++++++++++++++++++++10.23+1258644
Mar 22 12:21:12 Starting+compiler/proofs
Mar 22 20:43:47 Resuming+compiler/proofs
Mar 22 20:47:32 Finished+compiler/proofs+++++++++++++++++++++++++++++++++++224.31+5973228
Mar 22 20:47:33 Starting+compiler/bootstrap/translation
Mar 23 03:54:18 Resuming+compiler/bootstrap/translation
Mar 23 03:57:20 Resuming+compiler/bootstrap/translation
Mar 23 06:53:19 Finished+compiler/bootstrap/translation++++++++++++++++++++10558.22+35566752
Mar 23 06:53:20 Starting+semantics/ffi
Mar 23 06:53:25 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++4.66+377160
Mar 23 06:53:26 Starting+semantics
Mar 23 06:53:28 Finished+semantics+++++++++++++++++++++++++++++++++++++++++1.37+29948
Mar 23 06:53:29 Starting+semantics/proofs
Mar 23 06:54:05 Finished+semantics/proofs++++++++++++++++++++++++++++++++++34.41+750396
Mar 23 06:54:05 Starting+semantics/alt_semantics
Mar 23 06:54:37 Finished+semantics/alt_semantics+++++++++++++++++++++++++++30.85+754540
Mar 23 06:54:38 Starting+semantics/alt_semantics/proofs
Mar 23 07:06:15 Finished+semantics/alt_semantics/proofs++++++++++++++++++++696.48+2117912
Mar 23 07:06:16 Starting+basis/pure
Mar 23 07:06:19 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++1.37+32908
Mar 23 07:06:19 Starting+translator
Mar 23 07:08:06 Finished+translator++++++++++++++++++++++++++++++++++++++++105.74+1811932
Mar 23 07:08:07 Starting+compiler/parsing
Mar 23 07:08:09 Finished+compiler/parsing++++++++++++++++++++++++++++++++++1.38+22564
Mar 23 07:08:10 Starting+characteristic
Mar 23 07:08:13 Finished+characteristic++++++++++++++++++++++++++++++++++++1.70+34264
Mar 23 07:08:13 Starting+translator/monadic
Mar 23 07:08:16 Finished+translator/monadic++++++++++++++++++++++++++++++++1.66+29900
Mar 23 07:08:17 Starting+basis
Mar 23 07:12:19 Finished+basis+++++++++++++++++++++++++++++++++++++++++++++241.55+3101896
Mar 23 07:12:20 Starting+compiler/inference
Mar 23 07:12:22 Finished+compiler/inference++++++++++++++++++++++++++++++++1.51+30452
Mar 23 07:12:23 Starting+compiler/backend/reg_alloc
Mar 23 07:12:25 Finished+compiler/backend/reg_alloc++++++++++++++++++++++++1.35+28940
Mar 23 07:12:26 Starting+compiler/backend/gc
Mar 23 07:12:29 Finished+compiler/backend/gc+++++++++++++++++++++++++++++++1.96+70764
Mar 23 07:12:30 Starting+compiler/backend
Mar 23 07:12:43 Finished+compiler/backend++++++++++++++++++++++++++++++++++11.92+802000
Mar 23 07:12:44 Starting+compiler/encoders/asm
Mar 23 07:12:46 Finished+compiler/encoders/asm+++++++++++++++++++++++++++++1.54+33760
Mar 23 07:12:47 Starting+compiler/encoders/x64
Mar 23 07:12:49 Finished+compiler/encoders/x64+++++++++++++++++++++++++++++1.55+32420
Mar 23 07:12:50 Starting+compiler/encoders/arm7
Mar 23 07:12:53 Finished+compiler/encoders/arm7++++++++++++++++++++++++++++1.57+30172
Mar 23 07:12:53 Starting+compiler/encoders/arm8
Mar 23 07:12:56 Finished+compiler/encoders/arm8++++++++++++++++++++++++++++1.55+34268
Mar 23 07:12:57 Starting+compiler/encoders/arm8_asl
Mar 23 09:24:35 Finished compiler/encoders/arm8_asl                         2h11m36s  34GB
Mar 23 09:24:36 Starting compiler/encoders/mips
Mar 23 09:24:38 Finished compiler/encoders/mips                                   1s  41MB