Job 463

CakeML:f6d8ed2ee71091a75c6c7c634490380e8abe11a9
  Fix typo [Aug 28 07:46:30]
HOL:98d718b2599e89f71200ee47e9077ea1cfaba444
  Merge pull request #577 from binghe/topology_merge.2 [Aug 27 23:16:27]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux

Aug 28 08:04:38 Claimed job
Aug 28 08:04:48 Building HOL
Aug 28 08:18:24 Starting developers/bin
Aug 28 08:18:33 Finished developers/bin                                           7s 144MB
Aug 28 08:18:35 Starting semantics/ffi
Aug 28 08:19:36 Finished semantics/ffi                                           58s 364MB
Aug 28 08:19:38 Starting semantics
Aug 28 08:22:01 Finished semantics                                             2m20s 806MB
Aug 28 08:22:03 Starting semantics/proofs
Aug 28 08:27:17 Finished semantics/proofs                                      5m12s 955MB
Aug 28 08:27:19 Starting basis/pure
Aug 28 08:33:06 Finished basis/pure                                            5m44s 714MB
Aug 28 08:33:08 Starting translator
Aug 28 08:35:04 Finished translator                                            1m54s   1GB
Aug 28 08:35:06 Starting compiler/parsing
Aug 28 08:37:25 Finished compiler/parsing                                      2m16s   1GB
Aug 28 08:37:27 Starting characteristic
Aug 28 08:41:59 Finished characteristic                                        4m30s   1GB
Aug 28 08:42:01 Starting translator/monadic
Aug 28 08:44:36 Finished translator/monadic                                    2m32s   1GB
Aug 28 08:44:38 Starting basis
Aug 28 09:12:55 Finished basis                                                28m14s   2GB
Aug 28 09:12:57 Starting compiler/inference
Aug 28 09:15:43 Finished compiler/inference                                    2m44s   1GB
Aug 28 09:15:45 Starting compiler/backend/reg_alloc
Aug 28 09:17:06 Finished compiler/backend/reg_alloc                            1m18s   1GB
Aug 28 09:17:08 Starting compiler/backend/gc
Aug 28 09:31:49 Finished compiler/backend/gc                                  14m39s   3GB
Aug 28 09:31:51 Starting compiler/backend
Aug 28 09:31:56 Finished compiler/backend                                         3s  16MB
Aug 28 09:31:58 Starting compiler/encoders/asm
Aug 28 09:32:01 Finished compiler/encoders/asm                                    0s  27MB
Aug 28 09:32:03 Starting compiler/encoders/x64
Aug 28 09:33:31 Finished compiler/encoders/x64                                 1m25s 598MB
Aug 28 09:33:33 Starting compiler/encoders/arm6
Aug 28 09:36:31 Finished compiler/encoders/arm6                                2m56s   1GB
Aug 28 09:36:33 Starting compiler/encoders/arm8
Aug 28 09:37:18 Finished compiler/encoders/arm8                                  43s 389MB
Aug 28 09:37:20 Starting compiler/encoders/mips
Aug 28 09:38:59 Finished compiler/encoders/mips                                1m36s 904MB
Aug 28 09:39:01 Starting compiler/encoders/riscv
Aug 28 09:40:36 Finished compiler/encoders/riscv                               1m32s 699MB
Aug 28 09:40:37 Starting compiler/backend/x64
Aug 28 09:41:11 Finished compiler/backend/x64                                    31s   1GB
Aug 28 09:41:13 Starting compiler/backend/arm6
Aug 28 09:41:46 Finished compiler/backend/arm6                                   31s   1GB
Aug 28 09:41:48 Starting compiler/backend/arm8
Aug 28 09:42:21 Finished compiler/backend/arm8                                   30s   1GB
Aug 28 09:42:23 Starting compiler/backend/mips
Aug 28 09:42:55 Finished compiler/backend/mips                                   30s 765MB
Aug 28 09:42:57 Starting compiler/backend/riscv
Aug 28 09:43:30 Finished compiler/backend/riscv                                  31s   1GB
Aug 28 09:43:32 Starting compiler/parsing/proofs
Aug 28 09:47:36 Finished compiler/parsing/proofs                               4m01s 692MB
Aug 28 09:47:38 Starting compiler/inference/proofs
Aug 28 09:52:28 Finished compiler/inference/proofs                             4m47s   1GB
Aug 28 09:52:30 Starting compiler/backend/semantics
Aug 28 10:07:00 Finished compiler/backend/semantics                           14m27s   2GB
Aug 28 10:07:01 Starting compiler/backend/reg_alloc/proofs
Aug 28 10:19:10 Finished compiler/backend/reg_alloc/proofs                    12m04s 563MB
Aug 28 10:19:11 Starting compiler/backend/proofs
Aug 28 11:13:35 Finished compiler/backend/proofs                              54m21s   3GB
Aug 28 11:13:37 Starting compiler/encoders/x64/proofs
Aug 28 11:25:08 Finished compiler/encoders/x64/proofs                         11m29s   1GB
Aug 28 11:25:10 Starting compiler/encoders/arm6/proofs
Aug 28 11:37:11 Finished compiler/encoders/arm6/proofs                        11m59s   2GB
Aug 28 11:37:13 Starting compiler/encoders/arm8/proofs
Aug 28 11:45:34 Finished compiler/encoders/arm8/proofs                         8m18s   1GB
Aug 28 11:45:36 Starting compiler/encoders/mips/proofs
Aug 28 11:57:13 Finished compiler/encoders/mips/proofs                        11m35s   1GB
Aug 28 11:57:15 Starting compiler/encoders/riscv/proofs
Aug 28 12:09:46 Finished compiler/encoders/riscv/proofs                       12m28s 899MB
Aug 28 12:09:48 Starting compiler/backend/x64/proofs
Aug 28 12:10:23 Finished compiler/backend/x64/proofs                             33s   1GB
Aug 28 12:10:25 Starting compiler/backend/arm6/proofs
Aug 28 12:11:02 Finished compiler/backend/arm6/proofs                            34s   1GB
Aug 28 12:11:04 Starting compiler/backend/arm8/proofs
Aug 28 12:11:39 Finished compiler/backend/arm8/proofs                            33s   1GB
Aug 28 12:11:41 Starting compiler/backend/mips/proofs
Aug 28 12:12:17 Finished compiler/backend/mips/proofs                            34s   1GB
Aug 28 12:12:19 Starting compiler/backend/riscv/proofs
Aug 28 12:12:55 Finished compiler/backend/riscv/proofs                           33s   1GB
Aug 28 12:12:57 Starting compiler/proofs
Aug 28 12:15:22 Finished compiler/proofs                                       2m23s   2GB
Aug 28 12:15:24 Starting candle/set-theory
Aug 28 12:16:20 Finished candle/set-theory                                       54s 595MB
Aug 28 12:16:22 Starting candle/syntax-lib
Aug 28 12:16:41 Finished candle/syntax-lib                                       16s 547MB
Aug 28 12:16:43 Starting candle/standard/syntax
Aug 28 12:19:27 Finished candle/standard/syntax                                2m42s 621MB
Aug 28 12:19:29 Starting candle/standard/semantics
Aug 28 12:21:44 Finished candle/standard/semantics                             2m12s 871MB
Aug 28 12:21:46 Starting candle/standard/monadic
Aug 28 12:24:23 Finished candle/standard/monadic                               2m35s 929MB
Aug 28 12:24:25 Starting candle/standard/ml_kernel
Aug 28 12:49:10 Finished candle/standard/ml_kernel                            24m42s   4GB
Aug 28 12:49:12 Starting candle/standard/opentheory
Aug 28 13:03:58 Finished candle/standard/opentheory                           14m43s   4GB
Aug 28 13:04:00 Starting characteristic/examples
Aug 28 13:06:42 Finished characteristic/examples                               2m40s   2GB
Aug 28 13:06:44 Starting tutorial/solutions
Aug 28 13:27:58 Finished tutorial/solutions                                   21m11s   7GB
Aug 28 13:28:00 Starting translator/monadic/examples
Aug 28 13:30:45 Finished translator/monadic/examples                           2m43s   2GB
Aug 28 13:30:47 Starting examples
Aug 28 13:38:57 Finished examples                                              8m08s   4GB
Aug 28 13:38:59 Starting examples/compilation
Aug 28 16:34:57 Finished examples/compilation                               2h55m56s  15GB
Aug 28 16:34:59 Starting examples/compilation/proofs
Aug 28 16:38:37 Finished examples/compilation/proofs                           3m36s   3GB
Aug 28 16:38:39 Starting compiler/benchmarks
Aug 28 16:38:41 Finished compiler/benchmarks                                      0s   4MB
Aug 28 16:38:43 Starting translator/okasaki-examples
Aug 28 16:45:03 Finished translator/okasaki-examples                           6m17s   1GB
Aug 28 16:45:05 Starting translator/other-examples
Aug 28 16:51:49 Finished translator/other-examples                             6m41s 963MB
Aug 28 16:51:51 Starting compiler/parsing/tests
Aug 28 16:52:32 Finished compiler/parsing/tests                                  39s 304MB
Aug 28 16:52:34 Starting compiler/inference/tests
Aug 28 16:58:59 Finished compiler/inference/tests                              6m22s   5GB
Aug 28 16:59:01 Starting compiler/bootstrap/translation
Aug 29 00:14:33 FAILED: compiler/bootstrap/translation
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm8/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/mips/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/riscv/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/x64/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/model[0m
]0;Holmake: .]0;Holmake: ../../../basis]0;Holmake: ../../../basis/pure]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/balanced_bst]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ../../../basis/pure]0;Holmake: ../../../misc]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/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 ../../../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: ../../../basis]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: ../../../translator]0;Holmake: ../../../semantics/proofs]0;Holmake: ../../../semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ../../../translator]0;Holmake: ../../../translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ../../../characteristic]0;Holmake: ../../../characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: ../../../basis]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: .]0;Holmake: ../..]0;Holmake: ../../backend]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/machine-code/multiword]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/machine-code/multiword[1mWorking in $(HOLDIR)/examples/machine-code/multiword[0m
]0;Holmake: ../../backend]0;Holmake: ../../backend/reg_alloc]0;Holmake: ../../../unverified/reg_alloc]0;Holmake: ../../../unverified/reg_alloc[1mWorking in $(CAKEMLDIR)/unverified/reg_alloc[0m
]0;Holmake: ../../backend/reg_alloc]0;Holmake: ../../backend/reg_alloc[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc[0m
]0;Holmake: ../../backend]0;Holmake: ../../encoders/asm]0;Holmake: ../../encoders/asm[1mWorking in $(CAKEMLDIR)/compiler/encoders/asm[0m
]0;Holmake: ../../backend]0;Holmake: ../../backend[1mWorking in $(CAKEMLDIR)/compiler/backend[0m
]0;Holmake: ../..]0;Holmake: ../../backend/arm6]0;Holmake: ../../encoders/arm6]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/step[0m
]0;Holmake: ../../encoders/arm6]0;Holmake: ../../encoders/arm6[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm6[0m
]0;Holmake: ../../backend/arm6]0;Holmake: ../../backend/arm6[1mWorking in $(CAKEMLDIR)/compiler/backend/arm6[0m
]0;Holmake: ../..]0;Holmake: ../../backend/arm8]0;Holmake: ../../encoders/arm8]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm8/step]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/arm8/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/step[0m
]0;Holmake: ../../encoders/arm8]0;Holmake: ../../encoders/arm8[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm8[0m
]0;Holmake: ../../backend/arm8]0;Holmake: ../../backend/arm8[1mWorking in $(CAKEMLDIR)/compiler/backend/arm8[0m
]0;Holmake: ../..]0;Holmake: ../../backend/mips]0;Holmake: ../../encoders/mips]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/mips/step]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/mips/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/step[0m
]0;Holmake: ../../encoders/mips]0;Holmake: ../../encoders/mips[1mWorking in $(CAKEMLDIR)/compiler/encoders/mips[0m
]0;Holmake: ../../backend/mips]0;Holmake: ../../backend/mips[1mWorking in $(CAKEMLDIR)/compiler/backend/mips[0m
]0;Holmake: ../..]0;Holmake: ../../backend/riscv]0;Holmake: ../../encoders/riscv]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/riscv/step]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/riscv/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/step[0m
]0;Holmake: ../../encoders/riscv]0;Holmake: ../../encoders/riscv[1mWorking in $(CAKEMLDIR)/compiler/encoders/riscv[0m
]0;Holmake: ../../backend/riscv]0;Holmake: ../../backend/riscv[1mWorking in $(CAKEMLDIR)/compiler/backend/riscv[0m
]0;Holmake: ../..]0;Holmake: ../../backend/x64]0;Holmake: ../../encoders/x64]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/l3-machine-code/x64/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/step[0m
]0;Holmake: ../../encoders/x64]0;Holmake: ../../encoders/x64[1mWorking in $(CAKEMLDIR)/compiler/encoders/x64[0m
]0;Holmake: ../../backend/x64]0;Holmake: ../../backend/x64[1mWorking in $(CAKEMLDIR)/compiler/backend/x64[0m
]0;Holmake: ../..]0;Holmake: ../../inference]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/unification/triangular]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-98d718b2599e89f71200ee47e9077ea1cfaba444/examples/unification/triangular/first-order[1mWorking in $(HOLDIR)/examples/unification/triangular/first-order[0m
]0;Holmake: ../../inference]0;Holmake: ../../inference[1mWorking in $(CAKEMLDIR)/compiler/inference[0m
]0;Holmake: ../..]0;Holmake: ../..[1mWorking in $(CAKEMLDIR)/compiler[0m
]0;Holmake: .]0;Holmake: ../../backend/reg_alloc/proofs]0;Holmake: ../../backend/reg_alloc/proofs[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs[0m
]0;Holmake: .]0;Holmake: ../../inference/proofs]0;Holmake: ../../inference/proofs[1mWorking in $(CAKEMLDIR)/compiler/inference/proofs[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/compiler/bootstrap/translation[0m
Starting work on heap
heap                                                                                                                                                      OK
Starting work on to_dataProgTheory
to_dataProgTheory                                                                                                                                         OK
Starting work on lexerProgTheory
lexerProgTheory                                                                                                                                           OK
Starting work on parserProgTheory
parserProgTheory                                                                                                                                          OK
Starting work on reg_allocProgTheory
reg_allocProgTheory                                                                                                                                       OK
Starting work on inferProgTheory
inferProgTheory                                                                                                                                           OK
Starting work on explorerProgTheory
explorerProgTheory                                                                                                                                        OK
Starting work on sexp_parserProgTheory
sexp_parserProgTheory                                                                                                                                     OK
Starting work on to_word32ProgTheory
Starting work on to_word64ProgTheory
to_word64ProgTheory                                                                                                                                       OK
Starting work on to_target64ProgTheory
to_word32ProgTheory                                                                                                                                       OK
Starting work on to_target32ProgTheory
to_target32ProgTheory                                                                                                                                     OK
Starting work on arm6ProgTheory
to_target64ProgTheory                                                                                                                                     OK
Starting work on x64ProgTheory
x64ProgTheory                                                                                                                                             OK
Starting work on arm8ProgTheory
arm6ProgTheory                                                                                                                                            OK
Starting work on compiler32ProgTheory
arm8ProgTheory                                                                                                                                            OK
Starting work on riscvProgTheory
riscvProgTheory                                                                                                                                           OK
Starting work on mipsProgTheory
mipsProgTheory                                                                                                                                            OK
Starting work on compiler64ProgTheory
compiler32ProgTheory                                                                                                                      FAILED! <Signal 9>
 Saved theorem _____ "nsLookup_auto_env_73"
 Saved theorem _____ "compiler_parse_stack_conf_v_thm"
 Translating compiler_parse_top_config
 Saved theorem _____ "nsLookup_auto_env_74"
 Saved theorem _____ "compiler_parse_top_config_v_thm"
 Translating arm6_config_arm6_names
 Saved theorem _____ "nsLookup_auto_env_75"
 Saved theorem _____ "arm6_config_arm6_names_v_thm"
 Translating export_arm6_ffi_asm
 Saved theorem _____ "nsLookup_auto_env_76"
compiler64ProgTheory                                                                                                                                M-KILLED