Job 1517

CakeML:559b48221254189c3008f9462f0aa090628b9c7e
  Implement parsing of hex integer literals [May 03 10:08:21]
#827 (hex)
Merging into:c39f0f7c5f4e94fa52bd30f8df07e7901b9f3dcc
  Merge pull request #826 from CakeML/double_from_string [May 02 20:39:10]
HOL:054fec3028c305c71fcde1ae309873531921172c
  Fix bug in search found by Travis [Apr 21 02:54:44]
Machine:oven3 4.19.67.1.amd64-smp

May 03 10:31:44 Claimed job
May 03 10:31:53 Reusing HOL
May 03 10:32:58 Starting developers
May 03 10:33:06 Finished developers                                               7s 140MB
May 03 10:33:07 Starting developers/bin
May 03 10:33:20 Finished developers/bin                                          12s   1GB
May 03 10:33:20 Starting semantics/ffi
May 03 10:33:45 Finished semantics/ffi                                           24s 266MB
May 03 10:33:45 Starting semantics
May 03 10:36:32 Finished semantics                                             2m47s   1GB
May 03 10:36:33 Starting semantics/proofs
May 03 10:44:18 Finished semantics/proofs                                      7m45s   1GB
May 03 10:44:18 Starting semantics/alt_semantics
May 03 10:44:41 Finished semantics/alt_semantics                                 22s 357MB
May 03 10:44:41 Starting semantics/alt_semantics/proofs
May 03 10:49:29 Finished semantics/alt_semantics/proofs                        4m48s 991MB
May 03 10:49:30 Starting basis/pure
May 03 10:51:15 Finished basis/pure                                            1m45s 834MB
May 03 10:51:15 Starting translator
May 03 10:58:06 Finished translator                                            6m50s   1GB
May 03 10:58:07 Starting compiler/parsing
May 03 11:00:40 Finished compiler/parsing                                      2m33s   2GB
May 03 11:00:41 Starting characteristic
May 03 11:12:44 Finished characteristic                                       12m03s   2GB
May 03 11:12:44 Starting translator/monadic
May 03 11:16:10 Finished translator/monadic                                    3m25s   1GB
May 03 11:16:10 Starting basis
May 03 12:51:03 Finished basis                                              1h34m51s  20GB
May 03 12:51:03 Starting compiler/inference
May 03 12:53:29 Finished compiler/inference                                    2m25s   1GB
May 03 12:53:29 Starting compiler/backend/reg_alloc
May 03 12:55:37 Finished compiler/backend/reg_alloc                            2m07s   1GB
May 03 12:55:37 Starting compiler/backend/gc
May 03 13:02:18 Finished compiler/backend/gc                                   6m40s   2GB
May 03 13:02:18 Starting compiler/backend
May 03 13:11:50 Finished compiler/backend                                      9m31s   4GB
May 03 13:11:51 Starting compiler/encoders/asm
May 03 13:12:40 Finished compiler/encoders/asm                                   48s 761MB
May 03 13:12:40 Starting compiler/encoders/x64
May 03 13:13:36 Finished compiler/encoders/x64                                   56s   1GB
May 03 13:13:37 Starting compiler/encoders/arm7
May 03 13:15:30 Finished compiler/encoders/arm7                                1m53s 817MB
May 03 13:15:30 Starting compiler/encoders/arm8
May 03 13:15:57 Finished compiler/encoders/arm8                                  26s 732MB
May 03 13:15:57 Starting compiler/encoders/mips
May 03 13:16:35 Finished compiler/encoders/mips                                  37s   1GB
May 03 13:16:35 Starting compiler/encoders/riscv
May 03 13:17:09 Finished compiler/encoders/riscv                                 33s 790MB
May 03 13:17:09 Starting compiler/encoders/ag32
May 03 13:17:50 Finished compiler/encoders/ag32                                  40s 549MB
May 03 13:17:50 Starting compiler/backend/x64
May 03 13:18:31 Finished compiler/backend/x64                                    40s   1GB
May 03 13:18:31 Starting compiler/backend/arm7
May 03 13:19:17 Finished compiler/backend/arm7                                   45s   1GB
May 03 13:19:17 Starting compiler/backend/arm8
May 03 13:19:59 Finished compiler/backend/arm8                                   42s   1GB
May 03 13:20:00 Starting compiler/backend/mips
May 03 13:20:44 Finished compiler/backend/mips                                   43s   1GB
May 03 13:20:44 Starting compiler/backend/riscv
May 03 13:21:29 Finished compiler/backend/riscv                                  44s   1GB
May 03 13:21:29 Starting compiler/backend/ag32
May 03 13:23:57 Finished compiler/backend/ag32                                 2m28s   1GB
May 03 13:23:58 Starting compiler/parsing/proofs
May 03 13:36:48 Finished compiler/parsing/proofs                              12m49s   1GB
May 03 13:36:48 Starting compiler/inference/proofs
May 03 13:42:32 Finished compiler/inference/proofs                             5m43s   1GB
May 03 13:42:32 Starting compiler/backend/semantics
May 03 14:45:15 Finished compiler/backend/semantics                         1h02m42s   2GB
May 03 14:45:15 Starting compiler/backend/reg_alloc/proofs
May 03 14:52:52 Finished compiler/backend/reg_alloc/proofs                     7m37s   1GB
May 03 14:52:53 Starting compiler/backend/proofs
May 03 16:34:46 Finished compiler/backend/proofs                            1h41m52s  16GB
May 03 16:34:46 Starting compiler/encoders/x64/proofs
May 03 16:56:21 Finished compiler/encoders/x64/proofs                         21m34s   4GB
May 03 16:56:21 Starting compiler/encoders/arm7/proofs
May 03 17:26:59 Finished compiler/encoders/arm7/proofs                        30m37s   3GB
May 03 17:26:59 Starting compiler/encoders/arm8/proofs
May 03 17:42:23 Finished compiler/encoders/arm8/proofs                        15m23s   1GB
May 03 17:42:23 Starting compiler/encoders/mips/proofs
May 03 18:04:32 Finished compiler/encoders/mips/proofs                        22m08s   3GB
May 03 18:04:32 Starting compiler/encoders/riscv/proofs
May 03 18:24:49 Finished compiler/encoders/riscv/proofs                       20m16s   1GB
May 03 18:24:49 Starting compiler/encoders/ag32/proofs
May 03 18:30:32 Finished compiler/encoders/ag32/proofs                         5m41s 891MB
May 03 18:30:32 Starting compiler/backend/x64/proofs
May 03 18:31:20 Finished compiler/backend/x64/proofs                             48s   1GB
May 03 18:31:20 Starting compiler/backend/arm7/proofs
May 03 18:32:09 Finished compiler/backend/arm7/proofs                            48s   1GB
May 03 18:32:09 Starting compiler/backend/arm8/proofs
May 03 18:32:58 Finished compiler/backend/arm8/proofs                            48s   1GB
May 03 18:32:58 Starting compiler/backend/mips/proofs
May 03 18:33:46 Finished compiler/backend/mips/proofs                            48s   1GB
May 03 18:33:47 Starting compiler/backend/riscv/proofs
May 03 18:34:36 Finished compiler/backend/riscv/proofs                           49s   1GB
May 03 18:34:37 Starting compiler/backend/ag32/proofs
May 03 19:02:12 Finished compiler/backend/ag32/proofs                         27m35s   3GB
May 03 19:02:12 Starting compiler/proofs
May 03 19:05:40 Finished compiler/proofs                                       3m27s   2GB
May 03 19:05:40 Starting candle/set-theory
May 03 19:06:37 Finished candle/set-theory                                       57s 780MB
May 03 19:06:38 Starting candle/syntax-lib
May 03 19:07:02 Finished candle/syntax-lib                                       23s 510MB
May 03 19:07:02 Starting candle/standard/syntax
May 03 19:11:00 Finished candle/standard/syntax                                3m57s   1GB
May 03 19:11:00 Starting candle/standard/semantics
May 03 19:14:54 Finished candle/standard/semantics                             3m53s   1GB
May 03 19:14:54 Starting candle/standard/monadic
May 03 19:18:44 Finished candle/standard/monadic                               3m49s   1GB
May 03 19:18:44 Starting candle/standard/ml_kernel
May 03 19:31:01 Finished candle/standard/ml_kernel                            12m16s   5GB
May 03 19:31:01 Starting candle/overloading/syntax
May 03 19:37:44 Finished candle/overloading/syntax                             6m42s   1GB
May 03 19:37:45 Starting candle/overloading/semantics
May 03 20:03:58 Finished candle/overloading/semantics                         26m13s   4GB
May 03 20:03:59 Starting characteristic/examples
May 03 20:06:47 Finished characteristic/examples                               2m47s   3GB
May 03 20:06:47 Starting tutorial/solutions
May 03 20:41:03 Finished tutorial/solutions                                   34m15s   9GB
May 03 20:41:03 Starting translator/monadic/examples
May 03 20:46:45 Finished translator/monadic/examples                           5m41s   3GB
May 03 20:46:45 Starting examples
May 03 21:02:24 Finished examples                                             15m38s   3GB
May 03 21:02:24 Starting examples/compilation/x64
May 04 02:24:24 Finished examples/compilation/x64                           5h21m59s  16GB
May 04 02:24:24 Starting examples/compilation/x64/proofs
May 04 02:28:06 Finished examples/compilation/x64/proofs                       3m41s   3GB
May 04 02:28:06 Starting examples/compilation/ag32
May 04 03:44:47 Finished examples/compilation/ag32                          1h16m39s   7GB
May 04 03:44:47 Starting examples/compilation/ag32/proofs
May 04 03:46:41 Finished examples/compilation/ag32/proofs                      1m53s   4GB
May 04 03:46:41 Starting examples/cost
May 04 05:41:41 Finished examples/cost                                      1h54m59s   7GB
May 04 05:41:42 Starting examples/lpr_checker
May 04 05:50:06 Finished examples/lpr_checker                                  8m23s   2GB
May 04 05:50:06 Starting examples/lpr_checker/compilation
May 04 06:26:17 Finished examples/lpr_checker/compilation                     36m11s  11GB
May 04 06:26:17 Starting examples/lpr_checker/compilation/proofs
May 04 06:27:48 Finished examples/lpr_checker/compilation/proofs               1m30s   3GB
May 04 06:27:48 Starting examples/lpr_checker/array
May 04 07:00:10 Finished examples/lpr_checker/array                           32m21s   5GB
May 04 07:00:10 Starting examples/lpr_checker/array/compilation
May 04 07:43:15 Finished examples/lpr_checker/array/compilation               43m04s  11GB
May 04 07:43:15 Starting examples/lpr_checker/array/compilation/proofs
May 04 07:45:06 Finished examples/lpr_checker/array/compilation/proofs         1m50s   4GB
May 04 07:45:06 Starting examples/opentheory
May 04 08:05:31 Finished examples/opentheory                                  20m24s   5GB
May 04 08:05:31 Starting examples/opentheory
May 04 08:05:34 Finished examples/opentheory                                      2s  33MB
May 04 08:05:34 Starting examples/opentheory/compilation
May 04 09:15:25 Finished examples/opentheory/compilation                    1h09m51s  16GB
May 04 09:15:26 Starting examples/opentheory/compilation/proofs
May 04 09:16:55 Finished examples/opentheory/compilation/proofs                1m28s   3GB
May 04 09:16:55 Starting examples/opentheory/compilation/ag32
May 04 10:29:09 Finished examples/opentheory/compilation/ag32               1h12m13s  13GB
May 04 10:29:10 Starting examples/opentheory/compilation/ag32/proofs
May 04 10:32:35 Finished examples/opentheory/compilation/ag32/proofs           3m24s   5GB
May 04 10:32:35 Starting translator/okasaki-examples
May 04 10:41:51 Finished translator/okasaki-examples                           9m15s   1GB
May 04 10:41:51 Starting translator/other-examples
May 04 10:43:12 Finished translator/other-examples                             1m20s   1GB
May 04 10:43:12 Starting compiler/parsing/tests
May 04 10:44:11 Finished compiler/parsing/tests                                  58s 630MB
May 04 10:44:12 Starting compiler/inference/tests
May 04 10:59:54 Finished compiler/inference/tests                             15m42s   3GB
May 04 10:59:54 Starting compiler/bootstrap/translation
May 04 16:22:14 Finished compiler/bootstrap/translation                     5h22m19s  26GB
May 04 16:22:14 Starting unverified/sexpr-bootstrap/x64/64
May 04 16:46:24 Finished unverified/sexpr-bootstrap/x64/64                    24m08s   8GB
May 04 16:46:24 Starting unverified/sexpr-bootstrap/x64/32
May 04 17:07:10 Finished unverified/sexpr-bootstrap/x64/32                    20m45s   8GB
May 04 17:07:10 Starting compiler/benchmarks
May 04 17:07:14 Finished compiler/benchmarks                                      3s  34MB
May 04 17:07:14 Starting compiler/bootstrap/compilation/x64/64
May 05 18:56:56 Finished compiler/bootstrap/compilation/x64/64             25h49m40s  80GB
May 05 18:56:56 Starting compiler/bootstrap/compilation/x64/64/proofs
May 05 19:01:27 Finished compiler/bootstrap/compilation/x64/64/proofs          4m30s  19GB
May 05 19:01:28 Starting compiler/bootstrap/compilation/x64/32
May 06 19:56:06 Finished compiler/bootstrap/compilation/x64/32             24h54m37s 109GB
May 06 19:56:06 Starting compiler/bootstrap/compilation/x64/32/proofs
May 06 20:00:24 Finished compiler/bootstrap/compilation/x64/32/proofs          4m17s  18GB
May 06 20:00:24 Starting compiler/bootstrap/compilation/ag32/32
May 07 21:18:11 Finished compiler/bootstrap/compilation/ag32/32            25h17m46s 108GB
May 07 21:18:11 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 07 21:56:34 Finished compiler/bootstrap/compilation/ag32/32/proofs        38m22s  18GB
May 07 21:56:34 SUCCESS