CakeML Regression Test

Job 125

CakeML:d82cdeec6586763d21f83421686140653bff95d0
  Fix x64Prog for FP encoding [Dec 31 19:11:59]
#417 (x86-float)
Merging into:1774234e7e5a4ecdb0811104a3caf98b0518eff7
  Fix mistake: picked the wrong .c [Jan 01 00:15:33]
HOL:fa89a2b6099f1a0104431361a657a4c274d3246c
  Add test-case for p/printing of q-vars prefix + indented body [Dec 31 08:10:23]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux

Jan 01 06:44:10 Claimed job
Jan 01 06:44:19 Building HOL
Jan 01 06:57:22 Starting semantics/ffi
Jan 01 06:58:32 Finished semantics/ffi                                         1m07s 402MB
Jan 01 06:58:34 Starting semantics
Jan 01 07:01:21 Finished semantics                                             2m45s 901MB
Jan 01 07:01:23 Starting semantics/proofs
Jan 01 07:05:04 Finished semantics/proofs                                      3m38s   1GB
Jan 01 07:05:06 Starting basis/pure
Jan 01 07:11:15 Finished basis/pure                                            6m06s 636MB
Jan 01 07:11:17 Starting translator
Jan 01 07:18:41 Finished translator                                            7m22s 884MB
Jan 01 07:18:43 Starting compiler/parsing
Jan 01 07:21:13 Finished compiler/parsing                                      2m28s   1GB
Jan 01 07:21:15 Starting characteristic
Jan 01 07:26:09 Finished characteristic                                        4m51s   1GB
Jan 01 07:26:11 Starting basis
Jan 01 07:55:10 Finished basis                                                28m57s   2GB
Jan 01 07:55:12 Starting translator/monadic
Jan 01 07:58:46 Finished translator/monadic                                    3m31s   1GB
Jan 01 07:58:48 Starting compiler/inference
Jan 01 08:01:46 Finished compiler/inference                                    2m56s 933MB
Jan 01 08:01:48 Starting compiler/backend/reg_alloc
Jan 01 08:02:41 Finished compiler/backend/reg_alloc                              50s 756MB
Jan 01 08:02:43 Starting compiler/backend/gc
Jan 01 08:19:17 Finished compiler/backend/gc                                  16m31s   2GB
Jan 01 08:19:18 Starting compiler/backend
Jan 01 08:19:22 Finished compiler/backend                                         1s  31MB
Jan 01 08:19:24 Starting compiler/encoders/asm
Jan 01 08:19:27 Finished compiler/encoders/asm                                    0s  11MB
Jan 01 08:19:29 Starting compiler/encoders/x64
Jan 01 08:21:10 Finished compiler/encoders/x64                                 1m39s 606MB
Jan 01 08:21:12 Starting compiler/encoders/arm6
Jan 01 08:24:23 Finished compiler/encoders/arm6                                3m09s   1GB
Jan 01 08:24:25 Starting compiler/encoders/arm8
Jan 01 08:25:16 Finished compiler/encoders/arm8                                  48s 406MB
Jan 01 08:25:18 Starting compiler/encoders/mips
Jan 01 08:26:48 Finished compiler/encoders/mips                                1m28s 765MB
Jan 01 08:26:50 Starting compiler/encoders/riscv
Jan 01 08:28:26 Finished compiler/encoders/riscv                               1m34s 437MB
Jan 01 08:28:28 Starting compiler/backend/x64
Jan 01 08:29:11 Finished compiler/backend/x64                                    40s 879MB
Jan 01 08:29:13 Starting compiler/backend/arm6
Jan 01 08:30:02 Finished compiler/backend/arm6                                   46s   1GB
Jan 01 08:30:04 Starting compiler/backend/arm8
Jan 01 08:30:52 Finished compiler/backend/arm8                                   45s   1GB
Jan 01 08:30:54 Starting compiler/backend/mips
Jan 01 08:31:38 Finished compiler/backend/mips                                   42s 972MB
Jan 01 08:31:40 Starting compiler/backend/riscv
Jan 01 08:32:27 Finished compiler/backend/riscv                                  45s   1GB
Jan 01 08:32:29 Starting compiler/parsing/proofs
Jan 01 08:37:25 Finished compiler/parsing/proofs                               4m53s 710MB
Jan 01 08:37:27 Starting compiler/inference/proofs
Jan 01 08:41:53 Finished compiler/inference/proofs                             4m24s 929MB
Jan 01 08:41:55 Starting compiler/backend/semantics
Jan 01 09:01:32 Finished compiler/backend/semantics                           19m34s   4GB
Jan 01 09:01:34 Starting compiler/backend/reg_alloc/proofs
Jan 01 09:02:52 Finished compiler/backend/reg_alloc/proofs                     1m16s 368MB
Jan 01 09:02:54 Starting compiler/backend/proofs
Jan 01 10:15:12 Finished compiler/backend/proofs                            1h12m16s   4GB
Jan 01 10:15:14 Starting compiler/encoders/x64/proofs
Jan 01 10:29:02 Finished compiler/encoders/x64/proofs                         13m45s   1GB
Jan 01 10:29:04 Starting compiler/encoders/arm6/proofs
Jan 01 10:43:28 Finished compiler/encoders/arm6/proofs                        14m22s   2GB
Jan 01 10:43:30 Starting compiler/encoders/arm8/proofs
Jan 01 10:53:02 Finished compiler/encoders/arm8/proofs                         9m29s   1GB
Jan 01 10:53:04 Starting compiler/encoders/mips/proofs
Jan 01 11:06:05 Finished compiler/encoders/mips/proofs                        12m59s   1GB
Jan 01 11:06:07 Starting compiler/encoders/riscv/proofs
Jan 01 11:20:18 Finished compiler/encoders/riscv/proofs                       14m09s   1GB
Jan 01 11:20:20 Starting compiler/backend/x64/proofs
Jan 01 11:21:18 Finished compiler/backend/x64/proofs                             56s   1GB
Jan 01 11:21:20 Starting compiler/backend/arm6/proofs
Jan 01 11:22:22 Finished compiler/backend/arm6/proofs                            59s   1GB
Jan 01 11:22:24 Starting compiler/backend/arm8/proofs
Jan 01 11:23:20 Finished compiler/backend/arm8/proofs                            53s   1GB
Jan 01 11:23:22 Starting compiler/backend/mips/proofs
Jan 01 11:24:19 Finished compiler/backend/mips/proofs                            55s   1GB
Jan 01 11:24:22 Starting compiler/backend/riscv/proofs
Jan 01 11:25:17 Finished compiler/backend/riscv/proofs                           53s   1GB
Jan 01 11:25:19 Starting compiler/proofs
Jan 01 11:28:01 Finished compiler/proofs                                       2m40s   2GB
Jan 01 11:28:03 Starting candle/set-theory
Jan 01 11:29:50 Finished candle/set-theory                                     1m44s 558MB
Jan 01 11:29:52 Starting candle/syntax-lib
Jan 01 11:30:14 Finished candle/syntax-lib                                       20s 554MB
Jan 01 11:30:16 Starting candle/standard/syntax
Jan 01 11:33:19 Finished candle/standard/syntax                                3m00s 625MB
Jan 01 11:33:21 Starting candle/standard/semantics
Jan 01 11:35:52 Finished candle/standard/semantics                             2m29s 828MB
Jan 01 11:35:54 Starting candle/standard/monadic
Jan 01 11:38:44 Finished candle/standard/monadic                               2m47s 875MB
Jan 01 11:38:46 Starting candle/standard/ml_kernel
Jan 01 11:50:33 Finished candle/standard/ml_kernel                            11m45s   2GB
Jan 01 11:50:35 Starting candle/standard/opentheory
Jan 01 11:51:08 Finished candle/standard/opentheory                              31s 620MB
Jan 01 11:51:10 Starting characteristic/examples
Jan 01 11:53:35 Finished characteristic/examples                               2m23s   1GB
Jan 01 11:53:37 Starting tutorial/solutions
Jan 01 12:30:34 Finished tutorial/solutions                                   36m54s   9GB
Jan 01 12:30:36 Starting examples
Jan 01 12:38:33 Finished examples                                              7m55s   2GB
Jan 01 12:38:35 Starting examples/compilation
Jan 01 18:00:09 Finished examples/compilation                               5h21m31s  13GB
Jan 01 18:00:11 Starting examples/compilation/proofs
Jan 01 18:06:06 Finished examples/compilation/proofs                           5m53s   4GB
Jan 01 18:06:08 Starting compiler/benchmarks
Jan 01 18:06:10 Finished compiler/benchmarks                                      0s   4MB
Jan 01 18:06:12 Starting translator/okasaki-examples
Jan 01 18:14:00 Finished translator/okasaki-examples                           7m45s   1GB
Jan 01 18:14:02 Starting translator/other-examples
Jan 01 18:21:20 Finished translator/other-examples                             7m16s 897MB
Jan 01 18:21:22 Starting compiler/parsing/tests
Jan 01 18:22:07 Finished compiler/parsing/tests                                  41s 338MB
Jan 01 18:22:09 Starting compiler/bootstrap/translation
Jan 02 03:29:22 Finished compiler/bootstrap/translation                     9h07m10s  37GB
Jan 02 03:29:24 Starting compiler/bootstrap/compilation/x64/64
Jan 03 09:48:20 Finished compiler/bootstrap/compilation/x64/64             30h18m53s  97GB
Jan 03 09:48:22 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 03 09:53:04 Finished compiler/bootstrap/compilation/x64/64/proofs          4m40s  18GB
Jan 03 09:53:06 Starting compiler/bootstrap/compilation/x64/32
Jan 04 08:43:47 Finished compiler/bootstrap/compilation/x64/32             22h50m38s  92GB
Jan 04 08:43:49 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 04 08:46:48 Finished compiler/bootstrap/compilation/x64/32/proofs          2m56s  21GB
Jan 04 08:46:49 SUCCESS