CakeML Regression Test

Job 2405

CakeML:2cb1581ec5c9e678e03aee44f8c3658edc4d4f5d
  Merge pull request #996 from CakeML/pan_shstore [Jun 05 08:46:56]
HOL:a1037385a92acdb9b8bb1f0c243fe6f1f6120eaf
  Fix examples/vector given changes in 562bb668f092d [Jun 03 00:48:36]
Machine:pavlova

Jun 06 10:40:21 Claimed job
Jun 06 10:40:26 Building HOL
Jun 06 10:56:05 Starting developers
Jun 06 10:56:08 Finished developers                                               2s 206MB
Jun 06 10:56:09 Starting developers/bin
Jun 06 10:56:23 Finished developers/bin                                          13s   1GB
Jun 06 10:56:24 Starting compiler/proofs
Jun 06 12:52:38 Finished compiler/proofs                                    1h56m12s  37GB
Jun 06 12:52:39 Starting compiler/bootstrap/translation
Jun 06 21:08:28 Finished compiler/bootstrap/translation                     8h15m47s  66GB
Jun 06 21:08:29 Starting semantics/ffi
Jun 06 21:08:38 Finished semantics/ffi                                            7s 738MB
Jun 06 21:08:39 Starting semantics
Jun 06 21:08:40 Finished semantics                                                0s  70MB
Jun 06 21:08:41 Starting semantics/proofs
Jun 06 21:09:18 Finished semantics/proofs                                        36s   2GB
Jun 06 21:09:19 Starting semantics/alt_semantics
Jun 06 21:10:01 Finished semantics/alt_semantics                                 40s   1GB
Jun 06 21:10:02 Starting semantics/alt_semantics/proofs
Jun 06 21:21:24 Finished semantics/alt_semantics/proofs                       11m21s   5GB
Jun 06 21:21:25 Starting basis/pure
Jun 06 21:21:26 Finished basis/pure                                               0s  70MB
Jun 06 21:21:27 Starting translator
Jun 06 21:23:15 Finished translator                                            1m47s   5GB
Jun 06 21:23:16 Starting compiler/parsing
Jun 06 21:23:18 Finished compiler/parsing                                         0s  71MB
Jun 06 21:23:19 Starting characteristic
Jun 06 21:23:20 Finished characteristic                                           0s  92MB
Jun 06 21:23:21 Starting translator/monadic
Jun 06 21:23:23 Finished translator/monadic                                       0s  97MB
Jun 06 21:23:24 Starting basis
Jun 06 21:27:00 Finished basis                                                 3m35s   6GB
Jun 06 21:27:01 Starting compiler/inference
Jun 06 21:27:03 Finished compiler/inference                                       1s 189MB
Jun 06 21:27:04 Starting compiler/backend/reg_alloc
Jun 06 21:27:05 Finished compiler/backend/reg_alloc                               0s  70MB
Jun 06 21:27:06 Starting compiler/backend/gc
Jun 06 21:27:08 Finished compiler/backend/gc                                      0s 139MB
Jun 06 21:27:09 Starting compiler/backend
Jun 06 21:27:30 Finished compiler/backend                                        19s   1GB
Jun 06 21:27:31 Starting compiler/encoders/asm
Jun 06 21:27:32 Finished compiler/encoders/asm                                    0s  90MB
Jun 06 21:27:33 Starting compiler/encoders/x64
Jun 06 21:27:35 Finished compiler/encoders/x64                                    0s 101MB
Jun 06 21:27:36 Starting compiler/encoders/arm7
Jun 06 21:27:37 Finished compiler/encoders/arm7                                   0s 101MB
Jun 06 21:27:38 Starting compiler/encoders/arm8
Jun 06 21:27:40 Finished compiler/encoders/arm8                                   0s 101MB
Jun 06 21:27:40 Starting compiler/encoders/arm8_asl Jun 06 21:27:40 3465s