Job 199

CakeML:badc95d1c211cfc09089fc6b12d277e4d8eaa5d4
  Fix more references to word_shift and shift definitions [Jan 30 23:25:45]
#449 (issue171)
Merging into:19c41e5bac090d86a4245e2b6054ef710c42a402
  Remove use of global grammar in encoders/asm/asmLib [Feb 02 12:00:22]
HOL:70896e58b479f639028d997c2b5056958fb5dae5
  Merge pull request #515 from simonjantsch/master [Feb 01 10:59:37]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Feb 03 18:16:37 Claimed job
Feb 03 18:16:46 Building HOL
Feb 03 18:29:15 Starting semantics/ffi
Feb 03 18:30:26 Finished semantics/ffi                                         1m08s 335MB
Feb 03 18:30:28 Starting semantics
Feb 03 18:33:08 Finished semantics                                             2m38s   1GB
Feb 03 18:33:10 Starting semantics/proofs
Feb 03 18:36:43 Finished semantics/proofs                                      3m30s   1GB
Feb 03 18:36:45 Starting basis/pure
Feb 03 18:43:00 Finished basis/pure                                            6m13s 653MB
Feb 03 18:43:02 Starting translator
Feb 03 18:50:03 Finished translator                                            6m58s   1GB
Feb 03 18:50:05 Starting compiler/parsing
Feb 03 18:52:32 Finished compiler/parsing                                      2m25s   1GB
Feb 03 18:52:34 Starting characteristic
Feb 03 18:57:16 Finished characteristic                                        4m39s   1GB
Feb 03 18:57:18 Starting basis
Feb 03 19:31:40 Finished basis                                                34m20s   2GB
Feb 03 19:31:42 Starting translator/monadic
Feb 03 19:31:46 Finished translator/monadic                                       1s  18MB
Feb 03 19:31:47 Starting compiler/inference
Feb 03 19:34:36 Finished compiler/inference                                    2m46s   1GB
Feb 03 19:34:38 Starting compiler/backend/reg_alloc
Feb 03 19:35:29 Finished compiler/backend/reg_alloc                              49s 787MB
Feb 03 19:35:31 Starting compiler/backend/gc
Feb 03 19:51:23 Finished compiler/backend/gc                                  15m49s   3GB
Feb 03 19:51:25 Starting compiler/backend
Feb 03 19:51:29 Finished compiler/backend                                         2s  17MB
Feb 03 19:51:31 Starting compiler/encoders/asm
Feb 03 19:51:34 Finished compiler/encoders/asm                                    0s  19MB
Feb 03 19:51:36 Starting compiler/encoders/x64
Feb 03 19:53:16 Finished compiler/encoders/x64                                 1m38s 481MB
Feb 03 19:53:18 Starting compiler/encoders/arm6
Feb 03 19:56:33 Finished compiler/encoders/arm6                                3m13s   1GB
Feb 03 19:56:35 Starting compiler/encoders/arm8
Feb 03 19:57:25 Finished compiler/encoders/arm8                                  48s 409MB
Feb 03 19:57:27 Starting compiler/encoders/mips
Feb 03 19:58:56 Finished compiler/encoders/mips                                1m27s 688MB
Feb 03 19:58:58 Starting compiler/encoders/riscv
Feb 03 20:00:29 Finished compiler/encoders/riscv                               1m28s 491MB
Feb 03 20:00:31 Starting compiler/backend/x64
Feb 03 20:01:16 Finished compiler/backend/x64                                    43s   1GB
Feb 03 20:01:18 Starting compiler/backend/arm6
Feb 03 20:02:07 Finished compiler/backend/arm6                                   46s   1GB
Feb 03 20:02:09 Starting compiler/backend/arm8
Feb 03 20:02:53 Finished compiler/backend/arm8                                   41s 974MB
Feb 03 20:02:54 Starting compiler/backend/mips
Feb 03 20:03:41 Finished compiler/backend/mips                                   44s   1GB
Feb 03 20:03:43 Starting compiler/backend/riscv
Feb 03 20:04:30 Finished compiler/backend/riscv                                  45s   1GB
Feb 03 20:04:31 Starting compiler/parsing/proofs
Feb 03 20:09:00 Finished compiler/parsing/proofs                               4m26s   1GB
Feb 03 20:09:02 Starting compiler/inference/proofs
Feb 03 20:13:17 Finished compiler/inference/proofs                             4m13s   1GB
Feb 03 20:13:19 Starting compiler/backend/semantics
Feb 03 20:32:19 Finished compiler/backend/semantics                           18m58s   4GB
Feb 03 20:32:21 Starting compiler/backend/reg_alloc/proofs
Feb 03 20:33:40 Finished compiler/backend/reg_alloc/proofs                     1m16s 571MB
Feb 03 20:33:42 Starting compiler/backend/proofs
Feb 03 21:41:59 Finished compiler/backend/proofs                            1h08m15s   6GB
Feb 03 21:42:01 Starting compiler/encoders/x64/proofs
Feb 03 21:55:06 Finished compiler/encoders/x64/proofs                         13m02s   2GB
Feb 03 21:55:08 Starting compiler/encoders/arm6/proofs
Feb 03 22:08:38 Finished compiler/encoders/arm6/proofs                        13m27s   3GB
Feb 03 22:08:40 Starting compiler/encoders/arm8/proofs
Feb 03 22:17:53 Finished compiler/encoders/arm8/proofs                         9m11s   1GB
Feb 03 22:17:55 Starting compiler/encoders/mips/proofs
Feb 03 22:30:34 Finished compiler/encoders/mips/proofs                        12m37s   1GB
Feb 03 22:30:36 Starting compiler/encoders/riscv/proofs
Feb 03 22:44:15 Finished compiler/encoders/riscv/proofs                       13m36s 883MB
Feb 03 22:44:17 Starting compiler/backend/x64/proofs
Feb 03 22:45:11 Finished compiler/backend/x64/proofs                             51s   1GB
Feb 03 22:45:13 Starting compiler/backend/arm6/proofs
Feb 03 22:46:16 Finished compiler/backend/arm6/proofs                          1m01s   1GB
Feb 03 22:46:18 Starting compiler/backend/arm8/proofs
Feb 03 22:47:11 Finished compiler/backend/arm8/proofs                            51s   1GB
Feb 03 22:47:13 Starting compiler/backend/mips/proofs
Feb 03 22:48:08 Finished compiler/backend/mips/proofs                            52s   1GB
Feb 03 22:48:10 Starting compiler/backend/riscv/proofs
Feb 03 22:49:03 Finished compiler/backend/riscv/proofs                           51s   1GB
Feb 03 22:49:05 Starting compiler/proofs
Feb 03 22:51:51 Finished compiler/proofs                                       2m44s   2GB
Feb 03 22:51:53 Starting candle/set-theory
Feb 03 22:53:34 Finished candle/set-theory                                     1m39s 542MB
Feb 03 22:53:36 Starting candle/syntax-lib
Feb 03 22:53:57 Finished candle/syntax-lib                                       19s 475MB
Feb 03 22:53:59 Starting candle/standard/syntax
Feb 03 22:56:57 Finished candle/standard/syntax                                2m55s 961MB
Feb 03 22:56:59 Starting candle/standard/semantics
Feb 03 22:59:21 Finished candle/standard/semantics                             2m20s 950MB
Feb 03 22:59:23 Starting candle/standard/monadic
Feb 03 23:02:06 Finished candle/standard/monadic                               2m41s 872MB
Feb 03 23:02:08 Starting candle/standard/ml_kernel
Feb 03 23:13:04 Finished candle/standard/ml_kernel                            10m53s   2GB
Feb 03 23:13:06 Starting candle/standard/opentheory
Feb 03 23:13:37 Finished candle/standard/opentheory                              29s 722MB
Feb 03 23:13:39 Starting characteristic/examples
Feb 03 23:16:16 Finished characteristic/examples                               2m34s   1GB
Feb 03 23:16:18 Starting tutorial/solutions
Feb 03 23:54:25 Finished tutorial/solutions                                   38m04s  11GB
Feb 03 23:54:27 Starting examples
Feb 04 00:03:11 Finished examples                                              8m41s   2GB
Feb 04 00:03:13 Starting examples/compilation
Feb 04 06:06:32 Finished examples/compilation                               6h03m17s  17GB
Feb 04 06:06:34 Starting examples/compilation/proofs
Feb 04 06:12:55 Finished examples/compilation/proofs                           6m19s   5GB
Feb 04 06:12:57 Starting compiler/benchmarks
Feb 04 06:12:59 Finished compiler/benchmarks                                      0s   4MB
Feb 04 06:13:01 Starting translator/okasaki-examples
Feb 04 06:20:15 Finished translator/okasaki-examples                           7m12s   2GB
Feb 04 06:20:17 Starting translator/other-examples
Feb 04 06:26:58 Finished translator/other-examples                             6m38s 923MB
Feb 04 06:27:00 Starting compiler/parsing/tests
Feb 04 06:27:40 Finished compiler/parsing/tests                                  38s 333MB
Feb 04 06:27:42 Starting compiler/bootstrap/translation
Feb 04 15:12:04 Finished compiler/bootstrap/translation                     8h44m19s  45GB
Feb 04 15:12:06 Starting compiler/bootstrap/compilation/x64/64
Feb 05 21:52:57 Finished compiler/bootstrap/compilation/x64/64             30h40m48s  84GB
Feb 05 21:52:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 05 21:57:22 Finished compiler/bootstrap/compilation/x64/64/proofs          4m21s  31GB
Feb 05 21:57:24 Starting compiler/bootstrap/compilation/x64/32
Feb 06 22:33:59 Finished compiler/bootstrap/compilation/x64/32             24h36m33s  91GB
Feb 06 22:34:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 06 22:38:04 Finished compiler/bootstrap/compilation/x64/32/proofs          4m00s  29GB
Feb 06 22:38:06 SUCCESS