Job 2047

CakeML:b1f08888ac7132052616812b01cdfb07925943e2
  Fix another bug related to readme_gen [Nov 23 11:37:16]
#911 (libm_gen)
Merging into:3687487b0ceaa28ee5ceff431d51fa5303742e1f
  Merge pull request #918 from CakeML/clos-interpreter [Nov 29 06:06:35]
HOL:126d898e2a2195a717f5757375b93570965286f1
  Cleanup and tweak release notes for next version in a few places [Nov 03 06:41:06]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Nov 29 16:49:00 Claimed job
Nov 29 16:49:02 Reusing HOL
Nov 29 16:49:41 Starting developers
Nov 29 16:49:47 Finished developers                                               5s 124MB
Nov 29 16:49:47 Starting developers/bin
Nov 29 16:49:53 Finished developers/bin                                           5s   1GB
Nov 29 16:49:53 Starting compiler/proofs
Nov 29 18:35:20 Finished compiler/proofs                                    1h45m25s  16GB
Nov 29 18:35:20 Starting compiler/bootstrap/translation
Nov 29 23:28:15 Finished compiler/bootstrap/translation                     4h52m53s  45GB
Nov 29 23:28:15 Starting semantics/ffi
Nov 29 23:28:19 Finished semantics/ffi                                            3s 203MB
Nov 29 23:28:19 Starting semantics
Nov 29 23:28:20 Finished semantics                                                1s  20MB
Nov 29 23:28:20 Starting semantics/proofs
Nov 29 23:28:52 Finished semantics/proofs                                        31s 806MB
Nov 29 23:28:52 Starting semantics/alt_semantics
Nov 29 23:29:20 Finished semantics/alt_semantics                                 27s 577MB
Nov 29 23:29:20 Starting semantics/alt_semantics/proofs
Nov 29 23:41:24 Finished semantics/alt_semantics/proofs                       12m03s   1GB
Nov 29 23:41:24 Starting basis/pure
Nov 29 23:41:26 Finished basis/pure                                               1s  26MB
Nov 29 23:41:26 Starting translator
Nov 29 23:43:13 Finished translator                                            1m46s   1GB
Nov 29 23:43:13 Starting compiler/parsing
Nov 29 23:43:14 Finished compiler/parsing                                         1s  19MB
Nov 29 23:43:14 Starting characteristic
Nov 29 23:43:16 Finished characteristic                                           1s  21MB
Nov 29 23:43:16 Starting translator/monadic
Nov 29 23:43:18 Finished translator/monadic                                       1s  25MB
Nov 29 23:43:19 Starting basis
Nov 29 23:46:43 Finished basis                                                 3m24s   3GB
Nov 29 23:46:44 Starting compiler/inference
Nov 29 23:46:45 Finished compiler/inference                                       1s  35MB
Nov 29 23:46:45 Starting compiler/backend/reg_alloc
Nov 29 23:46:47 Finished compiler/backend/reg_alloc                               1s  34MB
Nov 29 23:46:47 Starting compiler/backend/gc
Nov 29 23:46:49 Finished compiler/backend/gc                                      2s  28MB
Nov 29 23:46:49 Starting compiler/backend
Nov 29 23:47:00 Finished compiler/backend                                        10s 513MB
Nov 29 23:47:00 Starting compiler/encoders/asm
Nov 29 23:47:02 Finished compiler/encoders/asm                                    1s  21MB
Nov 29 23:47:02 Starting compiler/encoders/x64
Nov 29 23:47:04 Finished compiler/encoders/x64                                    1s  25MB
Nov 29 23:47:04 Starting compiler/encoders/arm7
Nov 29 23:47:05 Finished compiler/encoders/arm7                                   1s  20MB
Nov 29 23:47:06 Starting compiler/encoders/arm8
Nov 29 23:47:07 Finished compiler/encoders/arm8                                   1s  34MB
Nov 29 23:47:07 Starting compiler/encoders/arm8_asl
Nov 29 23:50:14 Finished compiler/encoders/arm8_asl                            3m06s   1GB
Nov 29 23:50:14 Starting compiler/encoders/mips
Nov 29 23:50:16 Finished compiler/encoders/mips                                   1s  22MB
Nov 29 23:50:16 Starting compiler/encoders/riscv
Nov 29 23:50:18 Finished compiler/encoders/riscv                                  1s  23MB
Nov 29 23:50:18 Starting compiler/encoders/ag32
Nov 29 23:50:19 Finished compiler/encoders/ag32                                   1s  19MB
Nov 29 23:50:20 Starting compiler/backend/x64
Nov 29 23:50:22 Finished compiler/backend/x64                                     2s  34MB
Nov 29 23:50:22 Starting compiler/backend/arm7
Nov 29 23:50:24 Finished compiler/backend/arm7                                    2s  34MB
Nov 29 23:50:24 Starting compiler/backend/arm8
Nov 29 23:50:26 Finished compiler/backend/arm8                                    2s  35MB
Nov 29 23:50:27 Starting compiler/backend/mips
Nov 29 23:50:29 Finished compiler/backend/mips                                    2s  39MB
Nov 29 23:50:29 Starting compiler/backend/riscv
Nov 29 23:50:31 Finished compiler/backend/riscv                                   2s  37MB
Nov 29 23:50:31 Starting compiler/backend/ag32
Nov 29 23:51:56 Finished compiler/backend/ag32                                 1m24s   1GB
Nov 29 23:51:56 Starting compiler/parsing/proofs
Nov 29 23:51:57 Finished compiler/parsing/proofs                                  1s  19MB
Nov 29 23:51:58 Starting compiler/inference/proofs
Nov 29 23:51:59 Finished compiler/inference/proofs                                1s  34MB
Nov 29 23:51:59 Starting compiler/backend/semantics
Nov 29 23:53:07 Finished compiler/backend/semantics                            1m07s   2GB
Nov 29 23:53:07 Starting compiler/backend/reg_alloc/proofs
Nov 29 23:53:09 Finished compiler/backend/reg_alloc/proofs                        1s  34MB
Nov 29 23:53:09 Starting compiler/backend/proofs
Nov 29 23:54:01 Finished compiler/backend/proofs                                 51s   2GB
Nov 29 23:54:01 Starting compiler/backend/serialiser
Nov 29 23:54:04 Finished compiler/backend/serialiser                              2s  35MB
Nov 29 23:54:04 Starting compiler/encoders/x64/proofs
Nov 30 00:04:03 Finished compiler/encoders/x64/proofs                          9m59s   4GB
Nov 30 00:04:03 Starting compiler/encoders/arm7/proofs
Nov 30 00:17:59 Finished compiler/encoders/arm7/proofs                        13m55s   4GB
Nov 30 00:18:00 Starting compiler/encoders/arm8/proofs
Nov 30 00:25:04 Finished compiler/encoders/arm8/proofs                         7m04s   1GB
Nov 30 00:25:04 Starting compiler/encoders/arm8_asl/proofs
Nov 30 00:41:16 Finished compiler/encoders/arm8_asl/proofs                    16m10s   2GB
Nov 30 00:41:16 Starting compiler/encoders/mips/proofs
Nov 30 00:52:02 Finished compiler/encoders/mips/proofs                        10m45s   2GB
Nov 30 00:52:02 Starting compiler/encoders/riscv/proofs
Nov 30 01:01:06 Finished compiler/encoders/riscv/proofs                        9m03s   1GB
Nov 30 01:01:06 Starting compiler/encoders/ag32/proofs
Nov 30 01:03:47 Finished compiler/encoders/ag32/proofs                         2m41s 979MB
Nov 30 01:03:48 Starting compiler/backend/x64/proofs
Nov 30 01:04:14 Finished compiler/backend/x64/proofs                             26s   1GB
Nov 30 01:04:14 Starting compiler/backend/arm7/proofs
Nov 30 01:04:42 Finished compiler/backend/arm7/proofs                            27s   1GB
Nov 30 01:04:42 Starting compiler/backend/arm8/proofs
Nov 30 01:05:09 Finished compiler/backend/arm8/proofs                            26s   1GB
Nov 30 01:05:09 Starting compiler/backend/arm8_asl
Nov 30 01:05:30 Finished compiler/backend/arm8_asl                               21s   1GB
Nov 30 01:05:30 Starting compiler/backend/mips/proofs
Nov 30 01:05:56 Finished compiler/backend/mips/proofs                            25s   1GB
Nov 30 01:05:56 Starting compiler/backend/riscv/proofs
Nov 30 01:06:23 Finished compiler/backend/riscv/proofs                           26s   1GB
Nov 30 01:06:23 Starting compiler/backend/ag32/proofs
Nov 30 01:20:07 Finished compiler/backend/ag32/proofs                         13m44s   3GB
Nov 30 01:20:07 Starting candle/set-theory
Nov 30 01:20:42 Finished candle/set-theory                                       34s   1GB
Nov 30 01:20:43 Starting candle/syntax-lib
Nov 30 01:20:44 Finished candle/syntax-lib                                        1s  34MB
Nov 30 01:20:44 Starting candle/standard/syntax
Nov 30 01:20:54 Finished candle/standard/syntax                                   9s 543MB
Nov 30 01:20:54 Starting candle/standard/semantics
Nov 30 01:22:39 Finished candle/standard/semantics                             1m44s   1GB
Nov 30 01:22:39 Starting candle/standard/monadic
Nov 30 01:22:41 Finished candle/standard/monadic                                  1s  34MB
Nov 30 01:22:41 Starting candle/standard/ml_kernel
Nov 30 01:24:09 Finished candle/standard/ml_kernel                             1m27s   2GB
Nov 30 01:24:09 Starting candle/overloading/syntax
Nov 30 01:27:23 Finished candle/overloading/syntax                             3m14s   1GB
Nov 30 01:27:23 Starting candle/overloading/semantics
Nov 30 01:39:28 Finished candle/overloading/semantics                         12m04s   2GB
Nov 30 01:39:28 Starting candle/overloading/monadic
Nov 30 01:42:06 Finished candle/overloading/monadic                            2m36s   1GB
Nov 30 01:42:06 Starting candle/overloading/ml_kernel
Nov 30 01:49:36 Finished candle/overloading/ml_kernel                          7m30s   4GB
Nov 30 01:49:37 Starting candle/overloading/ml_checker
Nov 30 01:52:06 Finished candle/overloading/ml_checker                         2m29s   3GB
Nov 30 01:52:06 Starting candle/prover
Nov 30 02:01:45 Finished candle/prover                                         9m39s   3GB
Nov 30 02:01:45 Starting pancake
Nov 30 02:04:48 Finished pancake                                               3m01s   3GB
Nov 30 02:04:48 Starting pancake/ffi
Nov 30 02:04:49 Finished pancake/ffi                                              0s  13MB
Nov 30 02:04:49 Starting pancake/semantics
Nov 30 02:07:14 Finished pancake/semantics                                     2m24s   1GB
Nov 30 02:07:14 Starting pancake/proofs
Nov 30 02:10:14 Finished pancake/proofs                                        3m00s   2GB
Nov 30 02:10:15 Starting characteristic/examples
Nov 30 02:11:42 Finished characteristic/examples                               1m27s   2GB
Nov 30 02:11:42 Starting tutorial/solutions
Nov 30 02:26:44 Finished tutorial/solutions                                   15m02s   7GB
Nov 30 02:26:44 Starting translator/monadic/examples
Nov 30 02:30:33 Finished translator/monadic/examples                           3m48s   3GB
Nov 30 02:30:33 Starting examples
Nov 30 02:40:25 Finished examples                                              9m51s   4GB
Nov 30 02:40:25 Starting examples/compilation/x64
Nov 30 04:37:57 Finished examples/compilation/x64                           1h57m30s  16GB
Nov 30 04:37:57 Starting examples/compilation/x64/proofs
Nov 30 04:40:17 Finished examples/compilation/x64/proofs                       2m19s   3GB
Nov 30 04:40:17 Starting examples/compilation/ag32
Nov 30 05:10:22 Finished examples/compilation/ag32                            30m05s   8GB
Nov 30 05:10:22 Starting examples/compilation/ag32/proofs
Nov 30 05:11:12 Finished examples/compilation/ag32/proofs                        49s   3GB
Nov 30 05:11:13 Starting examples/compilation/to_word
Nov 30 05:14:16 Finished examples/compilation/to_word                          3m03s   5GB
Nov 30 05:14:16 Starting examples/lpr_checker
Nov 30 05:15:15 Finished examples/lpr_checker                                    58s   1GB
Nov 30 05:15:16 Starting examples/lpr_checker/array
Nov 30 05:49:50 Finished examples/lpr_checker/array                           34m31s   5GB
Nov 30 05:49:50 Starting examples/lpr_checker/array/compilation
Nov 30 06:27:32 Finished examples/lpr_checker/array/compilation               37m41s  25GB
Nov 30 06:27:33 Starting examples/lpr_checker/array/compilation/proofs
Nov 30 06:29:18 Finished examples/lpr_checker/array/compilation/proofs         1m45s   6GB
Nov 30 06:29:19 Starting examples/opentheory
Nov 30 06:39:56 Finished examples/opentheory                                  10m37s   3GB
Nov 30 06:39:57 Starting examples/opentheory
Nov 30 06:39:58 Finished examples/opentheory                                      1s  35MB
Nov 30 06:39:58 Starting examples/opentheory/compilation
Nov 30 07:16:20 Finished examples/opentheory/compilation                      36m20s  29GB
Nov 30 07:16:20 Starting examples/opentheory/compilation/proofs
Nov 30 07:17:11 Finished examples/opentheory/compilation/proofs                  51s   3GB
Nov 30 07:17:11 Starting examples/opentheory/compilation/ag32
Nov 30 07:51:24 Finished examples/opentheory/compilation/ag32                 34m12s  29GB
Nov 30 07:51:24 Starting examples/opentheory/compilation/ag32/proofs
Nov 30 07:53:04 Finished examples/opentheory/compilation/ag32/proofs           1m40s   5GB
Nov 30 07:53:04 Starting examples/sat_encodings
Nov 30 07:54:51 Finished examples/sat_encodings                                1m46s 715MB
Nov 30 07:54:51 Starting examples/sat_encodings/case_studies
Nov 30 07:56:32 Finished examples/sat_encodings/case_studies                   1m40s 801MB
Nov 30 07:56:32 Starting examples/sat_encodings/translation
Nov 30 08:02:19 Finished examples/sat_encodings/translation                    5m47s   3GB
Nov 30 08:02:20 Starting examples/sat_encodings/translation/compilation
Nov 30 08:46:50 Finished examples/sat_encodings/translation/compilation       44m29s  20GB
Nov 30 08:46:50 Starting examples/deflate
Nov 30 08:47:43 Finished examples/deflate                                        52s 806MB
Nov 30 08:47:43 Starting examples/deflate/translation
Nov 30 08:49:15 Finished examples/deflate/translation                          1m31s   3GB
Nov 30 08:49:15 Starting examples/deflate/translation/compilation
Nov 30 09:08:48 Finished examples/deflate/translation/compilation             19m33s  12GB
Nov 30 09:08:48 Starting translator/okasaki-examples
Nov 30 09:13:53 Finished translator/okasaki-examples                           5m04s   2GB
Nov 30 09:13:53 Starting translator/other-examples
Nov 30 09:14:39 Finished translator/other-examples                               45s   1GB
Nov 30 09:14:39 Starting compiler/parsing/tests
Nov 30 09:15:10 Finished compiler/parsing/tests                                  30s 567MB
Nov 30 09:15:10 Starting compiler/inference/tests
Nov 30 09:23:47 Finished compiler/inference/tests                              8m37s   5GB
Nov 30 09:23:48 Starting compiler/printing/test
Nov 30 09:27:15 Finished compiler/printing/test                                3m26s   3GB
Nov 30 09:27:15 Starting floatingPoint/tools/flover
Nov 30 09:59:02 Finished floatingPoint/tools/flover                           31m46s   1GB
Nov 30 09:59:02 Starting floatingPoint/icing/
Nov 30 10:59:14 Finished floatingPoint/icing/                               1h00m10s   8GB
Nov 30 10:59:15 Starting floatingPoint/icing/examples
Nov 30 11:00:47 Finished floatingPoint/icing/examples                          1m32s   3GB
Nov 30 11:00:47 Starting floatingPoint/tools/dandelion
Nov 30 11:00:50 FAILED: floatingPoint/tools/dandelion
Scanning [1m$(HOLDIR)/src/hol88[0m
Scanning [1m$(HOLDIR)/src/bag[0m
Scanning [1m$(HOLDIR)/src/sort[0m
Scanning [1m$(HOLDIR)/src/string[0m
Scanning [1m$(HOLDIR)/src/n-bit[0m
Scanning [1m$(HOLDIR)/src/res_quan/src[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/src/quotient/src[0m
Scanning [1m$(HOLDIR)/src/ring/src[0m
Scanning [1m$(HOLDIR)/src/integer[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/real[0m
Scanning [1m$(HOLDIR)/examples/algebra/monoid[0m
Scanning [1m$(HOLDIR)/examples/algebra/group[0m
Scanning [1m$(HOLDIR)/examples/algebra/ring[0m
Scanning [1m$(HOLDIR)/examples/algebra/field[0m
Scanning [1m$(HOLDIR)/examples/algebra/polynomial[0m
Scanning [1m$(CAKEMLDIR)/floatingPoint/tools/flover/Infra[0m
Scanning [1m$(CAKEMLDIR)/floatingPoint/tools/flover/semantics[0m
Scanning [1m$(CAKEMLDIR)/floatingPoint/tools/flover[0m
Scanned 23 directories
Starting work on README.md
Starting work on moreRealTheory
Starting work on renameTheory
Starting work on sollya
README.md                                                                                                   (0s)FAIL<1>
 ERROR! readme_gen.sml failed due to:
 sollya-8.0: unable to open file: /home/cug/hk324/cml-regression/cakeml-2047/floatingPoint/tools/dandelion/sollya-8.0/README.md
 These errors were in: /home/cug/hk324/cml-regression/cakeml-2047/floatingPoint/tools/dandelion
 
moreRealTheory                                                                                              (0s)MKILLED
renameTheory                                                                                                (0s)MKILLED
sollya                                                                                                      (0s)MKILLED