CakeML Regression Test

Job 193

CakeML:daa2d5c014fffca8301ddca1a17592d13b452455
  Fix bootstrapped compiler spec after change in file descriptors [Jan 29 18:38:16]
#443 (marshalling)
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:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Jan 30 17:39:28 Claimed job
Jan 30 17:39:38 Building HOL
Jan 30 17:52:17 Starting semantics/ffi
Jan 30 17:53:27 Finished semantics/ffi                                         1m08s 333MB
Jan 30 17:53:29 Starting semantics
Jan 30 17:56:14 Finished semantics                                             2m43s   1GB
Jan 30 17:56:16 Starting semantics/proofs
Jan 30 17:59:50 Finished semantics/proofs                                      3m32s 988MB
Jan 30 17:59:52 Starting basis/pure
Jan 30 18:06:09 Finished basis/pure                                            6m14s 775MB
Jan 30 18:06:11 Starting translator
Jan 30 18:13:27 Finished translator                                            7m14s   1GB
Jan 30 18:13:29 Starting compiler/parsing
Jan 30 18:15:55 Finished compiler/parsing                                      2m23s   1GB
Jan 30 18:15:56 Starting characteristic
Jan 30 18:20:44 Finished characteristic                                        4m45s   1GB
Jan 30 18:20:46 Starting basis
Jan 30 18:54:54 Finished basis                                                34m05s   2GB
Jan 30 18:54:56 Starting translator/monadic
Jan 30 18:55:00 Finished translator/monadic                                       1s  20MB
Jan 30 18:55:02 Starting compiler/inference
Jan 30 18:57:54 Finished compiler/inference                                    2m50s   1GB
Jan 30 18:57:56 Starting compiler/backend/reg_alloc
Jan 30 18:58:47 Finished compiler/backend/reg_alloc                              49s 735MB
Jan 30 18:58:49 Starting compiler/backend/gc
Jan 30 19:15:02 Finished compiler/backend/gc                                  16m11s   2GB
Jan 30 19:15:04 Starting compiler/backend
Jan 30 19:15:08 Finished compiler/backend                                         2s  31MB
Jan 30 19:15:10 Starting compiler/encoders/asm
Jan 30 19:15:13 Finished compiler/encoders/asm                                    0s  29MB
Jan 30 19:15:15 Starting compiler/encoders/x64
Jan 30 19:16:54 Finished compiler/encoders/x64                                 1m37s 567MB
Jan 30 19:16:56 Starting compiler/encoders/arm6
Jan 30 19:19:58 Finished compiler/encoders/arm6                                2m59s   1GB
Jan 30 19:19:59 Starting compiler/encoders/arm8
Jan 30 19:20:49 Finished compiler/encoders/arm8                                  47s 416MB
Jan 30 19:20:51 Starting compiler/encoders/mips
Jan 30 19:22:19 Finished compiler/encoders/mips                                1m25s 743MB
Jan 30 19:22:21 Starting compiler/encoders/riscv
Jan 30 19:23:56 Finished compiler/encoders/riscv                               1m32s 484MB
Jan 30 19:23:58 Starting compiler/backend/x64
Jan 30 19:24:42 Finished compiler/backend/x64                                    43s   1GB
Jan 30 19:24:44 Starting compiler/backend/arm6
Jan 30 19:25:34 Finished compiler/backend/arm6                                   47s   1GB
Jan 30 19:25:36 Starting compiler/backend/arm8
Jan 30 19:26:22 Finished compiler/backend/arm8                                   44s   1GB
Jan 30 19:26:24 Starting compiler/backend/mips
Jan 30 19:27:11 Finished compiler/backend/mips                                   44s   1GB
Jan 30 19:27:13 Starting compiler/backend/riscv
Jan 30 19:27:59 Finished compiler/backend/riscv                                  44s   1GB
Jan 30 19:28:01 Starting compiler/parsing/proofs
Jan 30 19:32:38 Finished compiler/parsing/proofs                               4m34s 872MB
Jan 30 19:32:40 Starting compiler/inference/proofs
Jan 30 19:37:04 Finished compiler/inference/proofs                             4m22s   1GB
Jan 30 19:37:06 Starting compiler/backend/semantics
Jan 30 19:56:12 Finished compiler/backend/semantics                           19m04s   3GB
Jan 30 19:56:14 Starting compiler/backend/reg_alloc/proofs
Jan 30 19:57:33 Finished compiler/backend/reg_alloc/proofs                     1m17s 478MB
Jan 30 19:57:35 Starting compiler/backend/proofs
Jan 30 21:06:20 Finished compiler/backend/proofs                            1h08m43s   6GB
Jan 30 21:06:22 Starting compiler/encoders/x64/proofs
Jan 30 21:19:45 Finished compiler/encoders/x64/proofs                         13m21s   1GB
Jan 30 21:19:47 Starting compiler/encoders/arm6/proofs
Jan 30 21:33:14 Finished compiler/encoders/arm6/proofs                        13m24s   3GB
Jan 30 21:33:16 Starting compiler/encoders/arm8/proofs
Jan 30 21:42:14 Finished compiler/encoders/arm8/proofs                         8m56s   1GB
Jan 30 21:42:16 Starting compiler/encoders/mips/proofs
Jan 30 21:54:52 Finished compiler/encoders/mips/proofs                        12m34s   2GB
Jan 30 21:54:54 Starting compiler/encoders/riscv/proofs
Jan 30 22:08:29 Finished compiler/encoders/riscv/proofs                       13m32s   1GB
Jan 30 22:08:31 Starting compiler/backend/x64/proofs
Jan 30 22:09:24 Finished compiler/backend/x64/proofs                             50s   1GB
Jan 30 22:09:26 Starting compiler/backend/arm6/proofs
Jan 30 22:10:24 Finished compiler/backend/arm6/proofs                            56s   1GB
Jan 30 22:10:26 Starting compiler/backend/arm8/proofs
Jan 30 22:11:19 Finished compiler/backend/arm8/proofs                            50s   1GB
Jan 30 22:11:20 Starting compiler/backend/mips/proofs
Jan 30 22:12:15 Finished compiler/backend/mips/proofs                            52s   1GB
Jan 30 22:12:16 Starting compiler/backend/riscv/proofs
Jan 30 22:13:11 Finished compiler/backend/riscv/proofs                           52s   1GB
Jan 30 22:13:13 Starting compiler/proofs
Jan 30 22:16:03 Finished compiler/proofs                                       2m48s   2GB
Jan 30 22:16:05 Starting candle/set-theory
Jan 30 22:17:46 Finished candle/set-theory                                     1m38s 568MB
Jan 30 22:17:48 Starting candle/syntax-lib
Jan 30 22:18:10 Finished candle/syntax-lib                                       20s 549MB
Jan 30 22:18:12 Starting candle/standard/syntax
Jan 30 22:21:07 Finished candle/standard/syntax                                2m53s 612MB
Jan 30 22:21:09 Starting candle/standard/semantics
Jan 30 22:23:30 Finished candle/standard/semantics                             2m19s 953MB
Jan 30 22:23:32 Starting candle/standard/monadic
Jan 30 22:26:11 Finished candle/standard/monadic                               2m36s   1GB
Jan 30 22:26:13 Starting candle/standard/ml_kernel
Jan 30 22:37:07 Finished candle/standard/ml_kernel                            10m51s   1GB
Jan 30 22:37:09 Starting candle/standard/opentheory
Jan 30 22:37:42 Finished candle/standard/opentheory                              30s 597MB
Jan 30 22:37:43 Starting characteristic/examples
Jan 30 22:40:15 Finished characteristic/examples                               2m29s   1GB
Jan 30 22:40:17 Starting tutorial/solutions
Jan 30 23:17:54 Finished tutorial/solutions                                   37m34s  10GB
Jan 30 23:17:56 Starting examples
Jan 30 23:26:43 Finished examples                                              8m45s   2GB
Jan 30 23:26:45 Starting examples/compilation
Jan 31 05:27:00 Finished examples/compilation                               6h00m11s  18GB
Jan 31 05:27:02 Starting examples/compilation/proofs
Jan 31 05:33:32 Finished examples/compilation/proofs                           6m28s   4GB
Jan 31 05:33:34 Starting compiler/benchmarks
Jan 31 05:33:37 Finished compiler/benchmarks                                      0s   4MB
Jan 31 05:33:39 Starting translator/okasaki-examples
Jan 31 05:40:58 Finished translator/okasaki-examples                           7m17s   1GB
Jan 31 05:41:00 Starting translator/other-examples
Jan 31 05:47:53 Finished translator/other-examples                             6m51s 720MB
Jan 31 05:47:55 Starting compiler/parsing/tests
Jan 31 05:48:35 Finished compiler/parsing/tests                                  38s 325MB
Jan 31 05:48:37 Starting compiler/bootstrap/translation
Jan 31 14:20:43 Finished compiler/bootstrap/translation                     8h32m03s  55GB
Jan 31 14:20:45 Starting compiler/bootstrap/compilation/x64/64
Feb 01 16:25:37 Finished compiler/bootstrap/compilation/x64/64             26h04m50s  97GB
Feb 01 16:25:39 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 01 16:31:42 Finished compiler/bootstrap/compilation/x64/64/proofs          6m01s  25GB
Feb 01 16:31:44 Starting compiler/bootstrap/compilation/x64/32
Feb 02 16:34:49 Finished compiler/bootstrap/compilation/x64/32             24h03m02s  88GB
Feb 02 16:34:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 02 16:38:14 Finished compiler/bootstrap/compilation/x64/32/proofs          3m21s  25GB
Feb 02 16:38:16 SUCCESS