Job 1033

CakeML:4833035eb6a9c7ec4b99dd50da57d837469725ad
  adapt to changes in regexpLib [Sep 09 08:40:53]
#689 (regexp_repair)
Merging into:f8746ce03b63e2867d62acf3ea403ea5414963c7
  Merge pull request #688 from CakeML/issue683 [Sep 08 06:17:31]
HOL:c85f70b455b780c53c478eba1f68982e89cc3c61
  Remove a stray trailing whitespace in examples/.../regexpScript.sml [Sep 11 00:41:52]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Sep 11 19:54:10 Claimed job
Sep 11 19:54:15 Building HOL
Sep 11 20:02:09 Starting developers
Sep 11 20:02:11 Finished developers                                               1s 119MB
Sep 11 20:02:12 Starting developers/bin
Sep 11 20:02:18 Finished developers/bin                                           6s 964MB
Sep 11 20:02:18 Starting semantics/ffi
Sep 11 20:02:50 Finished semantics/ffi                                           31s 529MB
Sep 11 20:02:50 Starting semantics
Sep 11 20:04:18 Finished semantics                                             1m28s   1GB
Sep 11 20:04:19 Starting semantics/proofs
Sep 11 20:07:11 Finished semantics/proofs                                      2m52s   1GB
Sep 11 20:07:11 Starting semantics/alt_semantics
Sep 11 20:07:18 Finished semantics/alt_semantics                                  6s 352MB
Sep 11 20:07:18 Starting semantics/alt_semantics/proofs
Sep 11 20:09:01 Finished semantics/alt_semantics/proofs                        1m42s   1GB
Sep 11 20:09:01 Starting basis/pure
Sep 11 20:12:29 Finished basis/pure                                            3m28s   1GB
Sep 11 20:12:29 Starting translator
Sep 11 20:14:11 Finished translator                                            1m41s   1GB
Sep 11 20:14:11 Starting compiler/parsing
Sep 11 20:15:04 Finished compiler/parsing                                        53s   2GB
Sep 11 20:15:04 Starting characteristic
Sep 11 20:20:13 Finished characteristic                                        5m07s   2GB
Sep 11 20:20:13 Starting translator/monadic
Sep 11 20:21:43 Finished translator/monadic                                    1m30s   1GB
Sep 11 20:21:43 Starting basis
Sep 11 20:41:46 Finished basis                                                20m02s   7GB
Sep 11 20:41:46 Starting compiler/inference
Sep 11 20:43:32 Finished compiler/inference                                    1m45s   1GB
Sep 11 20:43:32 Starting compiler/backend/reg_alloc
Sep 11 20:44:28 Finished compiler/backend/reg_alloc                              56s   1GB
Sep 11 20:44:28 Starting compiler/backend/gc
Sep 11 20:53:08 Finished compiler/backend/gc                                   8m39s   2GB
Sep 11 20:53:08 Starting compiler/backend
Sep 11 20:53:09 Finished compiler/backend                                         1s  23MB
Sep 11 20:53:09 Starting compiler/encoders/asm
Sep 11 20:53:10 Finished compiler/encoders/asm                                    0s  28MB
Sep 11 20:53:10 Starting compiler/encoders/x64
Sep 11 20:54:10 Finished compiler/encoders/x64                                   59s 749MB
Sep 11 20:54:10 Starting compiler/encoders/arm7
Sep 11 20:55:49 Finished compiler/encoders/arm7                                1m39s   1GB
Sep 11 20:55:49 Starting compiler/encoders/arm8
Sep 11 20:56:21 Finished compiler/encoders/arm8                                  31s 656MB
Sep 11 20:56:21 Starting compiler/encoders/mips
Sep 11 20:57:24 Finished compiler/encoders/mips                                1m03s   1GB
Sep 11 20:57:24 Starting compiler/encoders/riscv
Sep 11 20:58:40 Finished compiler/encoders/riscv                               1m15s   1GB
Sep 11 20:58:40 Starting compiler/encoders/ag32
Sep 11 20:58:56 Finished compiler/encoders/ag32                                  15s 876MB
Sep 11 20:58:56 Starting compiler/backend/x64
Sep 11 20:59:14 Finished compiler/backend/x64                                    18s   1GB
Sep 11 20:59:14 Starting compiler/backend/arm7
Sep 11 20:59:32 Finished compiler/backend/arm7                                   17s   1GB
Sep 11 20:59:32 Starting compiler/backend/arm8
Sep 11 20:59:50 Finished compiler/backend/arm8                                   17s   1GB
Sep 11 20:59:50 Starting compiler/backend/mips
Sep 11 21:00:07 Finished compiler/backend/mips                                   17s 909MB
Sep 11 21:00:07 Starting compiler/backend/riscv
Sep 11 21:00:26 Finished compiler/backend/riscv                                  18s   1GB
Sep 11 21:00:27 Starting compiler/backend/ag32
Sep 11 21:01:30 Finished compiler/backend/ag32                                 1m03s   1GB
Sep 11 21:01:30 Starting compiler/parsing/proofs
Sep 11 21:06:50 Finished compiler/parsing/proofs                               5m19s   1GB
Sep 11 21:06:50 Starting compiler/inference/proofs
Sep 11 21:09:24 Finished compiler/inference/proofs                             2m34s   1GB
Sep 11 21:09:25 Starting compiler/backend/semantics
Sep 11 21:14:48 Finished compiler/backend/semantics                            5m23s   1GB
Sep 11 21:14:48 Starting compiler/backend/reg_alloc/proofs
Sep 11 21:17:48 Finished compiler/backend/reg_alloc/proofs                     2m59s 925MB
Sep 11 21:17:48 Starting compiler/backend/proofs
Sep 11 21:53:15 Finished compiler/backend/proofs                              35m26s   5GB
Sep 11 21:53:15 Starting compiler/encoders/x64/proofs
Sep 11 22:02:22 Finished compiler/encoders/x64/proofs                          9m06s   6GB
Sep 11 22:02:22 Starting compiler/encoders/arm7/proofs
Sep 11 22:14:51 Finished compiler/encoders/arm7/proofs                        12m28s   7GB
Sep 11 22:14:51 Starting compiler/encoders/arm8/proofs
Sep 11 22:21:07 Finished compiler/encoders/arm8/proofs                         6m16s   1GB
Sep 11 22:21:07 Starting compiler/encoders/mips/proofs
Sep 11 22:30:08 Finished compiler/encoders/mips/proofs                         9m01s   2GB
Sep 11 22:30:08 Starting compiler/encoders/riscv/proofs
Sep 11 22:37:52 Finished compiler/encoders/riscv/proofs                        7m43s   1GB
Sep 11 22:37:52 Starting compiler/encoders/ag32/proofs
Sep 11 22:40:10 Finished compiler/encoders/ag32/proofs                         2m18s 992MB
Sep 11 22:40:11 Starting compiler/backend/x64/proofs
Sep 11 22:40:30 Finished compiler/backend/x64/proofs                             19s   1GB
Sep 11 22:40:30 Starting compiler/backend/arm7/proofs
Sep 11 22:40:49 Finished compiler/backend/arm7/proofs                            19s   1GB
Sep 11 22:40:49 Starting compiler/backend/arm8/proofs
Sep 11 22:41:07 Finished compiler/backend/arm8/proofs                            17s   1GB
Sep 11 22:41:07 Starting compiler/backend/mips/proofs
Sep 11 22:41:26 Finished compiler/backend/mips/proofs                            19s   1GB
Sep 11 22:41:27 Starting compiler/backend/riscv/proofs
Sep 11 22:41:47 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 11 22:41:47 Starting compiler/backend/ag32/proofs
Sep 11 22:50:26 Finished compiler/backend/ag32/proofs                          8m38s   8GB
Sep 11 22:50:26 Starting compiler/proofs
Sep 11 22:51:45 Finished compiler/proofs                                       1m19s   4GB
Sep 11 22:51:45 Starting candle/set-theory
Sep 11 22:52:12 Finished candle/set-theory                                       26s 983MB
Sep 11 22:52:12 Starting candle/syntax-lib
Sep 11 22:52:22 Finished candle/syntax-lib                                        9s 705MB
Sep 11 22:52:22 Starting candle/standard/syntax
Sep 11 22:53:58 Finished candle/standard/syntax                                1m35s   1GB
Sep 11 22:53:58 Starting candle/standard/semantics
Sep 11 22:55:31 Finished candle/standard/semantics                             1m32s   1GB
Sep 11 22:55:31 Starting candle/standard/monadic
Sep 11 22:56:59 Finished candle/standard/monadic                               1m27s   1GB
Sep 11 22:56:59 Starting candle/standard/ml_kernel
Sep 11 23:00:39 Finished candle/standard/ml_kernel                             3m40s   3GB
Sep 11 23:00:39 Starting candle/standard/opentheory
Sep 11 23:08:56 Finished candle/standard/opentheory                            8m16s   6GB
Sep 11 23:08:56 Starting candle/standard/opentheory/compilation
Sep 12 07:30:49 FAILED: candle/standard/opentheory/compilation
]0;Holmake: ~/cakeml/regression/cakeml-1033/basis/pure]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages/regular]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages/regular]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages/context-free]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages/regular]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/basis/pure]0;Holmake: ~/cakeml/regression/cakeml-1033/misc]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/misc]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/hoare-triple]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/misc]0;Holmake: ~/cakeml/regression/cakeml-1033/developers]0;Holmake: ~/cakeml/regression/cakeml-1033/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/misc]0;Holmake: ~/cakeml/regression/cakeml-1033/misc/lem_lib_stub]0;Holmake: ~/cakeml/regression/cakeml-1033/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/misc]0;Holmake: ~/cakeml/regression/cakeml-1033/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/basis/pure]0;Holmake: ~/cakeml/regression/cakeml-1033/basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/basis]0;Holmake: ~/cakeml/regression/cakeml-1033/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/parsing]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics/ffi]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/parsing]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics/proofs]0;Holmake: ~/cakeml/regression/cakeml-1033/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1033/translator]0;Holmake: ~/cakeml/regression/cakeml-1033/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1033/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/basis]0;Holmake: ~/cakeml/regression/cakeml-1033/translator/monadic]0;Holmake: ~/cakeml/regression/cakeml-1033/translator/monadic/monad_base]0;Holmake: ~/cakeml/regression/cakeml-1033/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/translator/monadic]0;Holmake: ~/cakeml/regression/cakeml-1033/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/basis]0;Holmake: ~/cakeml/regression/cakeml-1033/basis[1mWorking in $(CAKEMLDIR)/basis[0m
]0;Holmake: ..]0;Holmake: ../../ml_kernel]0;Holmake: ../../monadic]0;Holmake: ../../syntax]0;Holmake: ../../../syntax-lib]0;Holmake: ../../../syntax-lib[1mWorking in $(CAKEMLDIR)/candle/syntax-lib[0m
]0;Holmake: ../../syntax]0;Holmake: ../../syntax[1mWorking in $(CAKEMLDIR)/candle/standard/syntax[0m
]0;Holmake: ../../monadic]0;Holmake: ../../monadic[1mWorking in $(CAKEMLDIR)/candle/standard/monadic[0m
]0;Holmake: ../../ml_kernel]0;Holmake: ../../ml_kernel[1mWorking in $(CAKEMLDIR)/candle/standard/ml_kernel[0m
]0;Holmake: ..]0;Holmake: ../../semantics]0;Holmake: ../../../set-theory]0;Holmake: ../../../set-theory[1mWorking in $(CAKEMLDIR)/candle/set-theory[0m
]0;Holmake: ../../semantics]0;Holmake: ../../semantics[1mWorking in $(CAKEMLDIR)/candle/standard/semantics[0m
]0;Holmake: ..]0;Holmake: ..[1mWorking in $(CAKEMLDIR)/candle/standard/opentheory[0m
]0;Holmake: .]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/multiword]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/multiword[1mWorking in $(HOLDIR)/examples/machine-code/multiword[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/reg_alloc]0;Holmake: ~/cakeml/regression/cakeml-1033/unverified/reg_alloc]0;Holmake: ~/cakeml/regression/cakeml-1033/unverified/reg_alloc[1mWorking in $(CAKEMLDIR)/unverified/reg_alloc[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/reg_alloc]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/reg_alloc[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/asm]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/common]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/asm]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/asm[1mWorking in $(CAKEMLDIR)/compiler/encoders/asm[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend[1mWorking in $(CAKEMLDIR)/compiler/backend[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/ag32]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/ag32]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/ag32[1mWorking in $(CAKEMLDIR)/compiler/encoders/ag32[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/ag32]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/ag32[1mWorking in $(CAKEMLDIR)/compiler/backend/ag32[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/arm7]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm7]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm/model]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/lib]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm/model]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm7]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm/step]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/decompiler]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm/step]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm7]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm7[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm7[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/arm7]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/arm7[1mWorking in $(CAKEMLDIR)/compiler/backend/arm7[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/arm8]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm8]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm8/model]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm8]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm8/step]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/arm8/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm8]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/arm8[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm8[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/arm8]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/arm8[1mWorking in $(CAKEMLDIR)/compiler/backend/arm8[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/mips]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/mips]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/mips/model]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/mips]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/mips/step]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/mips/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/mips]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/mips[1mWorking in $(CAKEMLDIR)/compiler/encoders/mips[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/mips]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/mips[1mWorking in $(CAKEMLDIR)/compiler/backend/mips[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/riscv]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/riscv]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/riscv/model]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/riscv]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/riscv/step]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/riscv/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/riscv]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/riscv[1mWorking in $(CAKEMLDIR)/compiler/encoders/riscv[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/riscv]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/riscv[1mWorking in $(CAKEMLDIR)/compiler/backend/riscv[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/x64]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/x64]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/x64/model]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/x64/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/x64]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/x64/step]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/l3-machine-code/x64/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/x64]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/encoders/x64[1mWorking in $(CAKEMLDIR)/compiler/encoders/x64[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/x64]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/backend/x64[1mWorking in $(CAKEMLDIR)/compiler/backend/x64[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/inference]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/unification/triangular/first-order]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/unification/triangular]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/unification/triangular/first-order]0;Holmake: ~/cakeml/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/unification/triangular/first-order[1mWorking in $(HOLDIR)/examples/unification/triangular/first-order[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/inference]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler/inference[1mWorking in $(CAKEMLDIR)/compiler/inference[0m
]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler]0;Holmake: ~/cakeml/regression/cakeml-1033/compiler[1mWorking in $(CAKEMLDIR)/compiler[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/candle/standard/opentheory/compilation[0m
Starting work on readerCompileTheory
Starting work on README.md
README.md                                                                    OK
readerCompileTheory                                                 FAILED! <1>
      apply colour (par) eval: runtime: 31m06s,    gctime: 21m51s,     systime: 1m34s.
      apply colour (par) real: 25m13s
      apply colour (par) size: 2744348
            check colour eval: runtime: 1m04s,    gctime: 14.1s,     systime: 9.6s.
            check colour real: 1m15s
            check colour size: 2745402
           word_to_stack eval: Warning - Unable to increase stack - interrupting thread
 error in quse /home/cur/sao/cakeml/regression/cakeml-1033/candle/standard/opentheory/compilation/readerCompileScript.sml : Interrupt
 error in load readerCompileScript : Interrupt
 Uncaught exception: Interrupt