Job 422

CakeML:348a74050804214128ce62f0274f4443cc6730dd
  Remove exhProps [Aug 13 15:29:52]
HOL:1804892e96b43f86eb0367ed958278fc00dfbdf4
  Use polyscripter on LLIST_BISIMULATION and LLIST_TAKE_EQ [Aug 14 04:41:21]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Aug 14 12:46:30 Claimed job
Aug 14 12:46:42 Building HOL
Aug 14 12:58:58 Starting developers/bin
Aug 14 12:59:08 Finished developers/bin                                           7s 143MB
Aug 14 12:59:10 Starting semantics/ffi
Aug 14 13:00:09 Finished semantics/ffi                                           57s 280MB
Aug 14 13:00:11 Starting semantics
Aug 14 13:02:35 Finished semantics                                             2m21s 787MB
Aug 14 13:02:37 Starting semantics/proofs
Aug 14 13:07:48 Finished semantics/proofs                                      5m08s 911MB
Aug 14 13:07:50 Starting basis/pure
Aug 14 13:13:33 Finished basis/pure                                            5m41s 690MB
Aug 14 13:13:35 Starting translator
Aug 14 13:16:24 Finished translator                                            2m47s 936MB
Aug 14 13:16:26 Starting compiler/parsing
Aug 14 13:18:46 Finished compiler/parsing                                      2m17s   2GB
Aug 14 13:18:48 Starting characteristic
Aug 14 13:23:11 Finished characteristic                                        4m21s   1GB
Aug 14 13:23:13 Starting translator/monadic
Aug 14 13:25:49 Finished translator/monadic                                    2m33s   1GB
Aug 14 13:25:51 Starting basis
Aug 14 13:52:24 Finished basis                                                26m30s   2GB
Aug 14 13:52:25 Starting compiler/inference
Aug 14 13:55:16 Finished compiler/inference                                    2m48s   2GB
Aug 14 13:55:18 Starting compiler/backend/reg_alloc
Aug 14 13:56:13 Finished compiler/backend/reg_alloc                              53s   1GB
Aug 14 13:56:15 Starting compiler/backend/gc
Aug 14 14:10:52 Finished compiler/backend/gc                                  14m34s   3GB
Aug 14 14:10:54 Starting compiler/backend
Aug 14 14:10:59 Finished compiler/backend                                         3s  16MB
Aug 14 14:11:01 Starting compiler/encoders/asm
Aug 14 14:11:04 Finished compiler/encoders/asm                                    0s  11MB
Aug 14 14:11:06 Starting compiler/encoders/x64
Aug 14 14:12:33 Finished compiler/encoders/x64                                 1m24s 575MB
Aug 14 14:12:35 Starting compiler/encoders/arm6
Aug 14 14:15:37 Finished compiler/encoders/arm6                                3m00s   1GB
Aug 14 14:15:39 Starting compiler/encoders/arm8
Aug 14 14:16:24 Finished compiler/encoders/arm8                                  42s 398MB
Aug 14 14:16:26 Starting compiler/encoders/mips
Aug 14 14:18:02 Finished compiler/encoders/mips                                1m33s 767MB
Aug 14 14:18:04 Starting compiler/encoders/riscv
Aug 14 14:19:40 Finished compiler/encoders/riscv                               1m33s 489MB
Aug 14 14:19:41 Starting compiler/backend/x64
Aug 14 14:20:13 Finished compiler/backend/x64                                    29s 963MB
Aug 14 14:20:15 Starting compiler/backend/arm6
Aug 14 14:20:51 Finished compiler/backend/arm6                                   34s   1GB
Aug 14 14:20:53 Starting compiler/backend/arm8
Aug 14 14:21:28 Finished compiler/backend/arm8                                   33s 991MB
Aug 14 14:21:30 Starting compiler/backend/mips
Aug 14 14:22:01 Finished compiler/backend/mips                                   28s 897MB
Aug 14 14:22:03 Starting compiler/backend/riscv
Aug 14 14:22:33 Finished compiler/backend/riscv                                  28s 774MB
Aug 14 14:22:35 Starting compiler/parsing/proofs
Aug 14 14:26:40 Finished compiler/parsing/proofs                               4m03s 763MB
Aug 14 14:26:42 Starting compiler/inference/proofs
Aug 14 14:31:31 Finished compiler/inference/proofs                             4m47s   1GB
Aug 14 14:31:33 Starting compiler/backend/semantics
Aug 14 14:45:51 Finished compiler/backend/semantics                           14m15s   2GB
Aug 14 14:45:53 Starting compiler/backend/reg_alloc/proofs
Aug 14 14:47:19 Finished compiler/backend/reg_alloc/proofs                     1m24s 406MB
Aug 14 14:47:21 Starting compiler/backend/proofs
Aug 14 15:41:52 Finished compiler/backend/proofs                              54m27s   3GB
Aug 14 15:41:54 Starting compiler/encoders/x64/proofs
Aug 14 15:53:33 Finished compiler/encoders/x64/proofs                         11m37s   2GB
Aug 14 15:53:35 Starting compiler/encoders/arm6/proofs
Aug 14 16:05:44 Finished compiler/encoders/arm6/proofs                        12m06s   2GB
Aug 14 16:05:46 Starting compiler/encoders/arm8/proofs
Aug 14 16:14:10 Finished compiler/encoders/arm8/proofs                         8m21s   1GB
Aug 14 16:14:12 Starting compiler/encoders/mips/proofs
Aug 14 16:25:55 Finished compiler/encoders/mips/proofs                        11m40s   1GB
Aug 14 16:25:57 Starting compiler/encoders/riscv/proofs
Aug 14 16:38:28 Finished compiler/encoders/riscv/proofs                       12m29s 918MB
Aug 14 16:38:30 Starting compiler/backend/x64/proofs
Aug 14 16:39:05 Finished compiler/backend/x64/proofs                             32s   1GB
Aug 14 16:39:07 Starting compiler/backend/arm6/proofs
Aug 14 16:39:45 Finished compiler/backend/arm6/proofs                            36s 857MB
Aug 14 16:39:47 Starting compiler/backend/arm8/proofs
Aug 14 16:40:22 Finished compiler/backend/arm8/proofs                            33s   1GB
Aug 14 16:40:24 Starting compiler/backend/mips/proofs
Aug 14 16:41:01 Finished compiler/backend/mips/proofs                            35s   1GB
Aug 14 16:41:03 Starting compiler/backend/riscv/proofs
Aug 14 16:41:37 Finished compiler/backend/riscv/proofs                           31s   1GB
Aug 14 16:41:39 Starting compiler/proofs
Aug 14 16:44:03 Finished compiler/proofs                                       2m21s   2GB
Aug 14 16:44:04 Starting candle/set-theory
Aug 14 16:45:01 Finished candle/set-theory                                       54s 568MB
Aug 14 16:45:03 Starting candle/syntax-lib
Aug 14 16:45:22 Finished candle/syntax-lib                                       16s 560MB
Aug 14 16:45:24 Starting candle/standard/syntax
Aug 14 16:48:07 Finished candle/standard/syntax                                2m41s   1GB
Aug 14 16:48:09 Starting candle/standard/semantics
Aug 14 16:50:26 Finished candle/standard/semantics                             2m13s 894MB
Aug 14 16:50:28 Starting candle/standard/monadic
Aug 14 16:52:51 Finished candle/standard/monadic                               2m20s 928MB
Aug 14 16:52:53 Starting candle/standard/ml_kernel
Aug 14 16:58:46 Finished candle/standard/ml_kernel                             5m50s   2GB
Aug 14 16:58:48 Starting candle/standard/opentheory
Aug 14 16:59:14 Finished candle/standard/opentheory                              24s 635MB
Aug 14 16:59:16 Starting characteristic/examples
Aug 14 17:01:53 Finished characteristic/examples                               2m35s   1GB
Aug 14 17:01:55 Starting tutorial/solutions
Aug 14 17:22:23 Finished tutorial/solutions                                   20m25s   8GB
Aug 14 17:22:25 Starting translator/monadic/examples
Aug 14 17:25:18 Finished translator/monadic/examples                           2m51s   2GB
Aug 14 17:25:20 Starting examples
Aug 14 17:33:13 Finished examples                                              7m51s   4GB
Aug 14 17:33:15 Starting examples/compilation
Aug 14 20:24:14 Finished examples/compilation                               2h50m56s  12GB
Aug 14 20:24:16 Starting examples/compilation/proofs
Aug 14 20:27:42 Finished examples/compilation/proofs                           3m23s   3GB
Aug 14 20:27:44 Starting compiler/benchmarks
Aug 14 20:27:46 Finished compiler/benchmarks                                      0s   4MB
Aug 14 20:27:48 Starting translator/okasaki-examples
Aug 14 20:34:19 Finished translator/okasaki-examples                           6m27s   1GB
Aug 14 20:34:21 Starting translator/other-examples
Aug 14 20:40:57 Finished translator/other-examples                             6m33s 997MB
Aug 14 20:40:59 Starting compiler/parsing/tests
Aug 14 20:41:40 Finished compiler/parsing/tests                                  39s 333MB
Aug 14 20:41:42 Starting compiler/inference/tests
Aug 14 20:47:50 Finished compiler/inference/tests                              6m05s   4GB
Aug 14 20:47:52 Starting compiler/bootstrap/translation
Aug 15 05:13:52 FAILED: compiler/bootstrap/translation
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm8/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/mips/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/riscv/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: .]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/balanced_bst]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/machine-code/multiword]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/arm8/step]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/mips/step]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/riscv/step]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/unification/triangular]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-1804892e96b43f86eb0367ed958278fc00dfbdf4/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_target64ProgTheory                                                        OK
Starting work on x64ProgTheory
to_target32ProgTheory                                                        OK
Starting work on arm6ProgTheory
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>
 Translating compiler_find_num
 Saved theorem _____ "nsLookup_auto_env_60"
 Saved theorem _____ "compiler_find_num_v_thm"
 Translating compiler_get_err_str
 Saved theorem _____ "nsLookup_auto_env_61"
 Saved theorem _____ "compiler_get_err_str_v_thm"
 Translating compiler_parse_num_list
 Saved theorem _____ "nsLookup_auto_env_62"
 Saved theorem _____ "compiler_parse_num_list_v_thm"
 Translating compiler_comma_tokens
compiler64ProgTheory                                                   M-KILLED