Job 194

CakeML:0049e84c98e6bf78d89a6c807ce1215baad5f3ce
  Remove use of global grammar in encoders/asm/asmLib [Jan 30 00:21:24]
#448 (asmlib-fix)
Merging into:f231391f7f979cb3ff7e6699674857789f985911
  Merge pull request #445 from CakeML/user-translator-tac [Jan 30 16:29:35]
HOL:78f3d14bcfca1ba56947e0adec82953e64431c93
  Improve handling of undefined and unpredictable for VFP instructions. [Jan 30 09:28:49]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 30 17:44:22 Claimed job
Jan 30 17:44:31 Building HOL
Jan 30 17:56:49 Starting semantics/ffi
Jan 30 17:57:55 Finished semantics/ffi                                         1m04s 530MB
Jan 30 17:57:57 Starting semantics
Jan 30 18:00:36 Finished semantics                                             2m36s   1GB
Jan 30 18:00:38 Starting semantics/proofs
Jan 30 18:04:05 Finished semantics/proofs                                      3m25s 888MB
Jan 30 18:04:07 Starting basis/pure
Jan 30 18:10:20 Finished basis/pure                                            6m10s 583MB
Jan 30 18:10:22 Starting translator
Jan 30 18:17:23 Finished translator                                            6m59s   1GB
Jan 30 18:17:25 Starting compiler/parsing
Jan 30 18:19:49 Finished compiler/parsing                                      2m22s   1GB
Jan 30 18:19:51 Starting characteristic
Jan 30 18:24:30 Finished characteristic                                        4m37s   2GB
Jan 30 18:24:32 Starting basis
Jan 30 18:58:10 Finished basis                                                33m36s   3GB
Jan 30 18:58:12 Starting translator/monadic
Jan 30 18:58:15 Finished translator/monadic                                       1s  20MB
Jan 30 18:58:17 Starting compiler/inference
Jan 30 19:01:09 Finished compiler/inference                                    2m49s   1GB
Jan 30 19:01:11 Starting compiler/backend/reg_alloc
Jan 30 19:02:02 Finished compiler/backend/reg_alloc                              48s 873MB
Jan 30 19:02:04 Starting compiler/backend/gc
Jan 30 19:17:58 Finished compiler/backend/gc                                  15m52s   3GB
Jan 30 19:18:00 Starting compiler/backend
Jan 30 19:18:05 Finished compiler/backend                                         2s  16MB
Jan 30 19:18:07 Starting compiler/encoders/asm
Jan 30 19:18:09 Finished compiler/encoders/asm                                    0s  30MB
Jan 30 19:18:11 Starting compiler/encoders/x64
Jan 30 19:19:51 Finished compiler/encoders/x64                                 1m37s 469MB
Jan 30 19:19:53 Starting compiler/encoders/arm6
Jan 30 19:23:02 Finished compiler/encoders/arm6                                3m07s   1GB
Jan 30 19:23:04 Starting compiler/encoders/arm8
Jan 30 19:23:51 Finished compiler/encoders/arm8                                  45s 385MB
Jan 30 19:23:53 Starting compiler/encoders/mips
Jan 30 19:25:22 Finished compiler/encoders/mips                                1m26s 636MB
Jan 30 19:25:24 Starting compiler/encoders/riscv
Jan 30 19:26:58 Finished compiler/encoders/riscv                               1m31s 495MB
Jan 30 19:27:00 Starting compiler/backend/x64
Jan 30 19:27:41 Finished compiler/backend/x64                                    39s 968MB
Jan 30 19:27:43 Starting compiler/backend/arm6
Jan 30 19:28:32 Finished compiler/backend/arm6                                   46s   1GB
Jan 30 19:28:34 Starting compiler/backend/arm8
Jan 30 19:29:18 Finished compiler/backend/arm8                                   42s   1GB
Jan 30 19:29:20 Starting compiler/backend/mips
Jan 30 19:30:04 Finished compiler/backend/mips                                   42s 906MB
Jan 30 19:30:06 Starting compiler/backend/riscv
Jan 30 19:30:50 Finished compiler/backend/riscv                                  42s 969MB
Jan 30 19:30:52 Starting compiler/parsing/proofs
Jan 30 19:35:28 Finished compiler/parsing/proofs                               4m33s   1GB
Jan 30 19:35:30 Starting compiler/inference/proofs
Jan 30 19:39:52 Finished compiler/inference/proofs                             4m19s   1GB
Jan 30 19:39:54 Starting compiler/backend/semantics
Jan 30 19:58:42 Finished compiler/backend/semantics                           18m45s   3GB
Jan 30 19:58:44 Starting compiler/backend/reg_alloc/proofs
Jan 30 19:59:59 Finished compiler/backend/reg_alloc/proofs                     1m13s 498MB
Jan 30 20:00:01 Starting compiler/backend/proofs
Jan 30 21:08:47 Finished compiler/backend/proofs                            1h08m44s   4GB
Jan 30 21:08:49 Starting compiler/encoders/x64/proofs
Jan 30 21:22:15 Finished compiler/encoders/x64/proofs                         13m23s   2GB
Jan 30 21:22:17 Starting compiler/encoders/arm6/proofs
Jan 30 21:35:50 Finished compiler/encoders/arm6/proofs                        13m31s   3GB
Jan 30 21:35:52 Starting compiler/encoders/arm8/proofs
Jan 30 21:44:53 Finished compiler/encoders/arm8/proofs                         8m58s   1GB
Jan 30 21:44:55 Starting compiler/encoders/mips/proofs
Jan 30 21:57:47 Finished compiler/encoders/mips/proofs                        12m49s   2GB
Jan 30 21:57:49 Starting compiler/encoders/riscv/proofs
Jan 30 22:11:22 Finished compiler/encoders/riscv/proofs                       13m31s   1GB
Jan 30 22:11:24 Starting compiler/backend/x64/proofs
Jan 30 22:12:17 Finished compiler/backend/x64/proofs                             50s   1GB
Jan 30 22:12:19 Starting compiler/backend/arm6/proofs
Jan 30 22:13:15 Finished compiler/backend/arm6/proofs                            54s   1GB
Jan 30 22:13:17 Starting compiler/backend/arm8/proofs
Jan 30 22:14:10 Finished compiler/backend/arm8/proofs                            50s   1GB
Jan 30 22:14:12 Starting compiler/backend/mips/proofs
Jan 30 22:15:07 Finished compiler/backend/mips/proofs                            53s   1GB
Jan 30 22:15:09 Starting compiler/backend/riscv/proofs
Jan 30 22:16:02 Finished compiler/backend/riscv/proofs                           51s   1GB
Jan 30 22:16:04 Starting compiler/proofs
Jan 30 22:18:47 Finished compiler/proofs                                       2m41s   2GB
Jan 30 22:18:49 Starting candle/set-theory
Jan 30 22:20:29 Finished candle/set-theory                                     1m37s 569MB
Jan 30 22:20:31 Starting candle/syntax-lib
Jan 30 22:20:51 Finished candle/syntax-lib                                       18s 391MB
Jan 30 22:20:53 Starting candle/standard/syntax
Jan 30 22:23:49 Finished candle/standard/syntax                                2m54s 996MB
Jan 30 22:23:51 Starting candle/standard/semantics
Jan 30 22:26:16 Finished candle/standard/semantics                             2m22s 939MB
Jan 30 22:26:18 Starting candle/standard/monadic
Jan 30 22:28:58 Finished candle/standard/monadic                               2m38s 950MB
Jan 30 22:29:00 Starting candle/standard/ml_kernel
Jan 30 22:39:52 Finished candle/standard/ml_kernel                            10m50s   2GB
Jan 30 22:39:54 Starting candle/standard/opentheory
Jan 30 22:40:25 Finished candle/standard/opentheory                              28s 875MB
Jan 30 22:40:27 Starting characteristic/examples
Jan 30 22:42:59 Finished characteristic/examples                               2m30s   1GB
Jan 30 22:43:01 Starting tutorial/solutions
Jan 30 23:21:32 Finished tutorial/solutions                                   38m28s   9GB
Jan 30 23:21:34 Starting examples
Jan 30 23:30:08 Finished examples                                              8m32s   1GB
Jan 30 23:30:10 Starting examples/compilation
Jan 31 06:17:35 Finished examples/compilation                               6h47m23s  18GB
Jan 31 06:17:37 Starting examples/compilation/proofs
Jan 31 06:24:36 Finished examples/compilation/proofs                           6m57s   5GB
Jan 31 06:24:38 Starting compiler/benchmarks
Jan 31 06:24:40 Finished compiler/benchmarks                                      0s   4MB
Jan 31 06:24:42 Starting translator/okasaki-examples
Jan 31 06:32:40 Finished translator/okasaki-examples                           7m56s   1GB
Jan 31 06:32:42 Starting translator/other-examples
Jan 31 06:39:49 Finished translator/other-examples                             7m04s   1GB
Jan 31 06:39:51 Starting compiler/parsing/tests
Jan 31 06:40:34 Finished compiler/parsing/tests                                  41s 358MB
Jan 31 06:40:36 Starting compiler/bootstrap/translation
Jan 31 16:37:32 Finished compiler/bootstrap/translation                     9h56m54s  51GB
Jan 31 16:37:34 Starting compiler/bootstrap/compilation/x64/64
Feb 02 04:04:16 Finished compiler/bootstrap/compilation/x64/64             35h26m39s  83GB
Feb 02 04:04:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 02 04:08:51 Finished compiler/bootstrap/compilation/x64/64/proofs          4m30s  40GB
Feb 02 04:08:53 Starting compiler/bootstrap/compilation/x64/32
Feb 03 03:20:34 Finished compiler/bootstrap/compilation/x64/32             23h11m39s  85GB
Feb 03 03:20:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 03 03:24:29 Finished compiler/bootstrap/compilation/x64/32/proofs          3m50s  37GB
Feb 03 03:24:31 SUCCESS