Job 617

CakeML:8bf53c1a47ebc244a39fd25c403eadd17cd8e178
  Move or remove many closLang things from backendProof [Dec 07 17:16:41]
#578 (cleanup)
Merging into:0870034efc52ecc4e47b0ce23c876eeb648f440c
  Merge pull request #572 from CakeML/cleanup [Dec 05 08:29:36]
HOL:392753738a23ad83e605a7549b19c415f90faf6b
  Fix Vim mode for Theorem quote filter hack [Dec 05 19:40:50]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 07 21:10:41 Claimed job
Dec 07 21:10:47 Reusing HOL
Dec 07 21:10:56 Starting developers
Dec 07 21:10:58 Finished developers                                               0s  31MB
Dec 07 21:10:59 Starting developers/bin
Dec 07 21:11:32 Finished developers/bin                                          32s 140MB
Dec 07 21:11:33 Starting semantics/ffi
Dec 07 21:11:42 Finished semantics/ffi                                            8s 215MB
Dec 07 21:11:42 Starting semantics
Dec 07 21:12:59 Finished semantics                                             1m15s 880MB
Dec 07 21:13:00 Starting semantics/proofs
Dec 07 21:16:03 Finished semantics/proofs                                      3m01s   1GB
Dec 07 21:16:03 Starting basis/pure
Dec 07 21:16:53 Finished basis/pure                                              48s 617MB
Dec 07 21:16:54 Starting translator
Dec 07 21:18:08 Finished translator                                            1m13s 915MB
Dec 07 21:18:09 Starting compiler/parsing
Dec 07 21:19:26 Finished compiler/parsing                                      1m16s   2GB
Dec 07 21:19:27 Starting characteristic
Dec 07 21:21:57 Finished characteristic                                        2m29s   1GB
Dec 07 21:21:58 Starting translator/monadic
Dec 07 21:23:25 Finished translator/monadic                                    1m26s   1GB
Dec 07 21:23:26 Starting basis
Dec 07 21:39:28 Finished basis                                                16m01s   2GB
Dec 07 21:39:29 Starting compiler/inference
Dec 07 21:41:11 Finished compiler/inference                                    1m41s   1GB
Dec 07 21:41:12 Starting compiler/backend/reg_alloc
Dec 07 21:41:59 Finished compiler/backend/reg_alloc                              45s   1GB
Dec 07 21:42:00 Starting compiler/backend/gc
Dec 07 21:48:22 Finished compiler/backend/gc                                   6m21s   1GB
Dec 07 21:48:22 Starting compiler/backend
Dec 07 21:48:25 Finished compiler/backend                                         1s  17MB
Dec 07 21:48:26 Starting compiler/encoders/asm
Dec 07 21:48:27 Finished compiler/encoders/asm                                    0s  16MB
Dec 07 21:48:28 Starting compiler/encoders/x64
Dec 07 21:48:43 Finished compiler/encoders/x64                                   13s 425MB
Dec 07 21:48:43 Starting compiler/encoders/arm6
Dec 07 21:49:25 Finished compiler/encoders/arm6                                  41s 427MB
Dec 07 21:49:26 Starting compiler/encoders/arm8
Dec 07 21:49:34 Finished compiler/encoders/arm8                                   7s 404MB
Dec 07 21:49:35 Starting compiler/encoders/mips
Dec 07 21:49:45 Finished compiler/encoders/mips                                   8s 484MB
Dec 07 21:49:46 Starting compiler/encoders/riscv
Dec 07 21:49:54 Finished compiler/encoders/riscv                                  7s 458MB
Dec 07 21:49:55 Starting compiler/encoders/ag32
Dec 07 21:50:11 Finished compiler/encoders/ag32                                  15s 597MB
Dec 07 21:50:12 Starting compiler/backend/x64
Dec 07 21:50:29 Finished compiler/backend/x64                                    16s 846MB
Dec 07 21:50:30 Starting compiler/backend/arm6
Dec 07 21:50:49 Finished compiler/backend/arm6                                   18s   1GB
Dec 07 21:50:50 Starting compiler/backend/arm8
Dec 07 21:51:08 Finished compiler/backend/arm8                                   17s 831MB
Dec 07 21:51:09 Starting compiler/backend/mips
Dec 07 21:51:27 Finished compiler/backend/mips                                   16s 868MB
Dec 07 21:51:28 Starting compiler/backend/riscv
Dec 07 21:51:45 Finished compiler/backend/riscv                                  16s 832MB
Dec 07 21:51:46 Starting compiler/backend/ag32
Dec 07 21:52:59 Finished compiler/backend/ag32                                 1m11s   1GB
Dec 07 21:52:59 Starting compiler/parsing/proofs
Dec 07 21:59:01 Finished compiler/parsing/proofs                               6m00s 819MB
Dec 07 21:59:02 Starting compiler/inference/proofs
Dec 07 22:01:54 Finished compiler/inference/proofs                             2m51s   1GB
Dec 07 22:01:55 Starting compiler/backend/semantics
Dec 07 22:11:03 Finished compiler/backend/semantics                            9m07s   1GB
Dec 07 22:11:04 Starting compiler/backend/reg_alloc/proofs
Dec 07 22:13:50 Finished compiler/backend/reg_alloc/proofs                     2m45s 632MB
Dec 07 22:13:51 Starting compiler/backend/proofs
Dec 07 22:57:06 Finished compiler/backend/proofs                              43m14s   4GB
Dec 07 22:57:07 Starting compiler/encoders/x64/proofs
Dec 07 23:06:37 Finished compiler/encoders/x64/proofs                          9m28s 886MB
Dec 07 23:06:37 Starting compiler/encoders/arm6/proofs
Dec 07 23:20:26 Finished compiler/encoders/arm6/proofs                        13m47s   1GB
Dec 07 23:20:26 Starting compiler/encoders/arm8/proofs
Dec 07 23:26:23 Finished compiler/encoders/arm8/proofs                         5m56s   1GB
Dec 07 23:26:24 Starting compiler/encoders/mips/proofs
Dec 07 23:36:35 Finished compiler/encoders/mips/proofs                        10m09s   1GB
Dec 07 23:36:35 Starting compiler/encoders/riscv/proofs
Dec 07 23:44:36 Finished compiler/encoders/riscv/proofs                        7m59s 804MB
Dec 07 23:44:37 Starting compiler/encoders/ag32/proofs
Dec 07 23:47:22 Finished compiler/encoders/ag32/proofs                         2m44s 640MB
Dec 07 23:47:23 Starting compiler/backend/x64/proofs
Dec 07 23:47:43 Finished compiler/backend/x64/proofs                             19s   1GB
Dec 07 23:47:44 Starting compiler/backend/arm6/proofs
Dec 07 23:48:05 Finished compiler/backend/arm6/proofs                            20s 954MB
Dec 07 23:48:06 Starting compiler/backend/arm8/proofs
Dec 07 23:48:26 Finished compiler/backend/arm8/proofs                            18s   1GB
Dec 07 23:48:27 Starting compiler/backend/mips/proofs
Dec 07 23:48:47 Finished compiler/backend/mips/proofs                            19s 934MB
Dec 07 23:48:47 Starting compiler/backend/riscv/proofs
Dec 07 23:49:08 Finished compiler/backend/riscv/proofs                           19s   1GB
Dec 07 23:49:08 Starting compiler/backend/ag32/proofs
Dec 07 23:58:44 Finished compiler/backend/ag32/proofs                          9m34s   2GB
Dec 07 23:58:45 Starting compiler/proofs
Dec 08 00:00:04 Finished compiler/proofs                                       1m18s   2GB
Dec 08 00:00:05 Starting candle/set-theory
Dec 08 00:00:30 Finished candle/set-theory                                       24s 622MB
Dec 08 00:00:31 Starting candle/syntax-lib
Dec 08 00:00:41 Finished candle/syntax-lib                                        9s 552MB
Dec 08 00:00:42 Starting candle/standard/syntax
Dec 08 00:02:15 Finished candle/standard/syntax                                1m32s 643MB
Dec 08 00:02:16 Starting candle/standard/semantics
Dec 08 00:03:34 Finished candle/standard/semantics                             1m17s 826MB
Dec 08 00:03:35 Starting candle/standard/monadic
Dec 08 00:05:11 Finished candle/standard/monadic                               1m35s 941MB
Dec 08 00:05:12 Starting candle/standard/ml_kernel
Dec 08 00:20:30 Finished candle/standard/ml_kernel                            15m17s   2GB
Dec 08 00:20:31 Starting candle/standard/opentheory
Dec 08 00:28:21 Finished candle/standard/opentheory                            7m49s   3GB
Dec 08 00:28:22 Starting candle/standard/opentheory/compilation
Dec 08 00:58:17 Finished candle/standard/opentheory/compilation               29m54s  16GB
Dec 08 00:58:18 Starting candle/standard/opentheory/compilation/proofs
Dec 08 00:58:55 Finished candle/standard/opentheory/compilation/proofs           36s   4GB
Dec 08 00:58:56 Starting characteristic/examples
Dec 08 01:00:25 Finished characteristic/examples                               1m28s   2GB
Dec 08 01:00:26 Starting tutorial/solutions
Dec 08 01:13:21 Finished tutorial/solutions                                   12m53s   7GB
Dec 08 01:13:21 Starting translator/monadic/examples
Dec 08 01:15:08 Finished translator/monadic/examples                           1m45s   2GB
Dec 08 01:15:09 Starting examples
Dec 08 01:21:34 Finished examples                                              6m23s   2GB
Dec 08 01:21:35 Starting examples/compilation/x64
Dec 08 03:17:24 Finished examples/compilation/x64                           1h55m48s  12GB
Dec 08 03:17:24 Starting examples/compilation/x64/proofs
Dec 08 03:19:23 Finished examples/compilation/x64/proofs                       1m58s   3GB
Dec 08 03:19:24 Starting examples/compilation/ag32
Dec 08 03:45:49 Finished examples/compilation/ag32                            26m24s   4GB
Dec 08 03:45:50 Starting examples/compilation/ag32/proofs
Dec 08 03:46:17 Finished examples/compilation/ag32/proofs                        26s   2GB
Dec 08 03:46:18 Starting compiler/benchmarks
Dec 08 03:46:19 Finished compiler/benchmarks                                      0s   4MB
Dec 08 03:46:20 Starting translator/okasaki-examples
Dec 08 03:49:53 Finished translator/okasaki-examples                           3m32s   1GB
Dec 08 03:49:53 Starting translator/other-examples
Dec 08 03:50:24 Finished translator/other-examples                               30s   1GB
Dec 08 03:50:25 Starting compiler/parsing/tests
Dec 08 03:50:50 Finished compiler/parsing/tests                                  24s 324MB
Dec 08 03:50:51 Starting compiler/inference/tests
Dec 08 03:54:59 Finished compiler/inference/tests                              4m07s   3GB
Dec 08 03:55:00 Starting compiler/bootstrap/translation
Dec 08 07:07:16 Finished compiler/bootstrap/translation                     3h12m14s  47GB
Dec 08 07:07:16 Starting unverified/sexpr-bootstrap/x64/64
Dec 08 07:07:26 FAILED: unverified/sexpr-bootstrap/x64/64
]0;Holmake: ../../../../characteristic]0;Holmake: ../../../../basis/pure]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/balanced_bst]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ../../../../basis/pure]0;Holmake: ../../../../misc]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ../../../../misc]0;Holmake: ../../../../developers]0;Holmake: ../../../../developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ../../../../misc]0;Holmake: ../../../../misc/lem_lib_stub]0;Holmake: ../../../../misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ../../../../misc]0;Holmake: ../../../../misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ../../../../basis/pure]0;Holmake: ../../../../basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: ../../../../characteristic]0;Holmake: ../../../../compiler/parsing]0;Holmake: ../../../../semantics]0;Holmake: ../../../../semantics/ffi]0;Holmake: ../../../../semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ../../../../semantics]0;Holmake: ../../../../semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ../../../../compiler/parsing]0;Holmake: ../../../../compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ../../../../characteristic]0;Holmake: ../../../../semantics/proofs]0;Holmake: ../../../../semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ../../../../characteristic]0;Holmake: ../../../../translator]0;Holmake: ../../../../translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ../../../../characteristic]0;Holmake: ../../../../characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: .]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/common]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/lib]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm8/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/mips/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/riscv/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/x64/model]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/x64/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/model[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ../../../../basis]0;Holmake: ../../../../translator/monadic]0;Holmake: ../../../../translator/monadic/monad_base]0;Holmake: ../../../../translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ../../../../translator/monadic]0;Holmake: ../../../../translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: ../../../../basis]0;Holmake: ../../../../basis[1mWorking in $(CAKEMLDIR)/basis[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/machine-code/multiword]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/machine-code/multiword[1mWorking in $(HOLDIR)/examples/machine-code/multiword[0m
]0;Holmake: ../../../../compiler/backend]0;Holmake: ../../../../compiler/backend/reg_alloc]0;Holmake: ../../../../unverified/reg_alloc]0;Holmake: ../../../../unverified/reg_alloc[1mWorking in $(CAKEMLDIR)/unverified/reg_alloc[0m
]0;Holmake: ../../../../compiler/backend/reg_alloc]0;Holmake: ../../../../compiler/backend/reg_alloc[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc[0m
]0;Holmake: ../../../../compiler/backend]0;Holmake: ../../../../compiler/encoders/asm]0;Holmake: ../../../../compiler/encoders/asm[1mWorking in $(CAKEMLDIR)/compiler/encoders/asm[0m
]0;Holmake: ../../../../compiler/backend]0;Holmake: ../../../../compiler/backend[1mWorking in $(CAKEMLDIR)/compiler/backend[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend/ag32]0;Holmake: ../../../../compiler/encoders/ag32]0;Holmake: ../../../../compiler/encoders/ag32[1mWorking in $(CAKEMLDIR)/compiler/encoders/ag32[0m
]0;Holmake: ../../../../compiler/backend/ag32]0;Holmake: ../../../../compiler/backend/ag32[1mWorking in $(CAKEMLDIR)/compiler/backend/ag32[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend/arm6]0;Holmake: ../../../../compiler/encoders/arm6]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/step]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/machine-code/decompiler]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/step]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/step[0m
]0;Holmake: ../../../../compiler/encoders/arm6]0;Holmake: ../../../../compiler/encoders/arm6[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm6[0m
]0;Holmake: ../../../../compiler/backend/arm6]0;Holmake: ../../../../compiler/backend/arm6[1mWorking in $(CAKEMLDIR)/compiler/backend/arm6[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend/arm8]0;Holmake: ../../../../compiler/encoders/arm8]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm8/step]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/arm8/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/step[0m
]0;Holmake: ../../../../compiler/encoders/arm8]0;Holmake: ../../../../compiler/encoders/arm8[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm8[0m
]0;Holmake: ../../../../compiler/backend/arm8]0;Holmake: ../../../../compiler/backend/arm8[1mWorking in $(CAKEMLDIR)/compiler/backend/arm8[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend/mips]0;Holmake: ../../../../compiler/encoders/mips]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/mips/step]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/mips/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/step[0m
]0;Holmake: ../../../../compiler/encoders/mips]0;Holmake: ../../../../compiler/encoders/mips[1mWorking in $(CAKEMLDIR)/compiler/encoders/mips[0m
]0;Holmake: ../../../../compiler/backend/mips]0;Holmake: ../../../../compiler/backend/mips[1mWorking in $(CAKEMLDIR)/compiler/backend/mips[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend/riscv]0;Holmake: ../../../../compiler/encoders/riscv]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/riscv/step]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/riscv/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/step[0m
]0;Holmake: ../../../../compiler/encoders/riscv]0;Holmake: ../../../../compiler/encoders/riscv[1mWorking in $(CAKEMLDIR)/compiler/encoders/riscv[0m
]0;Holmake: ../../../../compiler/backend/riscv]0;Holmake: ../../../../compiler/backend/riscv[1mWorking in $(CAKEMLDIR)/compiler/backend/riscv[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/backend/x64]0;Holmake: ../../../../compiler/encoders/x64]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/x64/step]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/l3-machine-code/x64/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/step[0m
]0;Holmake: ../../../../compiler/encoders/x64]0;Holmake: ../../../../compiler/encoders/x64[1mWorking in $(CAKEMLDIR)/compiler/encoders/x64[0m
]0;Holmake: ../../../../compiler/backend/x64]0;Holmake: ../../../../compiler/backend/x64[1mWorking in $(CAKEMLDIR)/compiler/backend/x64[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler/inference]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/unification/triangular/first-order]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/unification/triangular]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/unification/triangular/first-order]0;Holmake: ~/regression/HOL-392753738a23ad83e605a7549b19c415f90faf6b/examples/unification/triangular/first-order[1mWorking in $(HOLDIR)/examples/unification/triangular/first-order[0m
]0;Holmake: ../../../../compiler/inference]0;Holmake: ../../../../compiler/inference[1mWorking in $(CAKEMLDIR)/compiler/inference[0m
]0;Holmake: ../../../../compiler]0;Holmake: ../../../../compiler[1mWorking in $(CAKEMLDIR)/compiler[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ../../../../compiler/backend/reg_alloc/proofs]0;Holmake: ../../../../compiler/backend/reg_alloc/proofs[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ../../../../compiler/inference/proofs]0;Holmake: ../../../../compiler/inference/proofs[1mWorking in $(CAKEMLDIR)/compiler/inference/proofs[0m
]0;Holmake: ../../../../compiler/bootstrap/translation]0;Holmake: ../../../../compiler/bootstrap/translation[1mWorking in $(CAKEMLDIR)/compiler/bootstrap/translation[0m
]0;Holmake: .]0;Holmake: ../../../../developers/bin]0;Holmake: ../../../../developers/bin[1mWorking in $(CAKEMLDIR)/developers/bin[0m
]0;Holmake: .]0;Holmake: ../../../sexpr-bootstrap]0;Holmake: ../../../sexpr-bootstrap[1mWorking in $(CAKEMLDIR)/unverified/sexpr-bootstrap[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/unverified/sexpr-bootstrap/x64/64[0m
Starting work on heap
Starting work on README.md
README.md                                           OK
heap                                       FAILED! <1>
 Loading ../../../../compiler/bootstrap/translation/compiler64ProgTheory
 Run out of store - interrupting threads
 error in quse /home/myreen/regression/cakeml-617/basis/ArrayProofTheory.sml : HOL_ERR {message = "read_thydata: Interrupt", origin_function = "load_thydata", origin_structure = "TheoryReader"}
 error in load $(CAKEMLDIR)/basis/ArrayProofTheory : HOL_ERR {message = "read_thydata: Interrupt", origin_function = "load_thydata", origin_structure = "TheoryReader"}
 error in load ../../../../compiler/bootstrap/translation/compiler64ProgTheory : HOL_ERR {message = "read_thydata: Interrupt", origin_function = "load_thydata", origin_structure = "TheoryReader"}
 Exception- HOL_ERR {message = "read_thydata: Interrupt", origin_function = "load_thydata", origin_structure = "TheoryReader"} raised
 Loading ../../../../compiler/bootstrap/translation/compiler64ProgTheory: HOL_ERR {message = "read_thydata: Interrupt", origin_function = "load_thydata", origin_structure = "TheoryReader"}