Job 192

CakeML:62fd79853143161a6898e23cc65eff2c6c078925
  Merge 'origin/master' into user-translator-tac [Jan 26 08:06:51]
#445 (user-translator-tac)
Merging into:28aba9366db672a9aa70a536f30370da23bb90cf
  Attempt to fix basis and tutorial builds [Jan 28 08:18:08]
HOL:548346defe3bc02c0ddb0e9b9f7b663e03a54862
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Jan 28 23:56:06]
Machine:cakeml1852 4.4.0-22-generic x86_64 GNU/Linux

Jan 29 13:00:20 Claimed job
Jan 29 13:00:30 Building HOL
Jan 29 13:12:41 Starting semantics/ffi
Jan 29 13:13:49 Finished semantics/ffi                                         1m05s 331MB
Jan 29 13:13:51 Starting semantics
Jan 29 13:16:27 Finished semantics                                             2m34s   1GB
Jan 29 13:16:29 Starting semantics/proofs
Jan 29 13:19:55 Finished semantics/proofs                                      3m23s   1GB
Jan 29 13:19:57 Starting basis/pure
Jan 29 13:26:03 Finished basis/pure                                            6m04s 763MB
Jan 29 13:26:05 Starting translator
Jan 29 13:32:58 Finished translator                                            6m50s   1GB
Jan 29 13:32:59 Starting compiler/parsing
Jan 29 13:35:19 Finished compiler/parsing                                      2m17s   2GB
Jan 29 13:35:21 Starting characteristic
Jan 29 13:39:56 Finished characteristic                                        4m32s   2GB
Jan 29 13:39:58 Starting basis
Jan 29 14:13:02 Finished basis                                                33m02s   2GB
Jan 29 14:13:04 Starting translator/monadic
Jan 29 14:13:07 Finished translator/monadic                                       1s  20MB
Jan 29 14:13:09 Starting compiler/inference
Jan 29 14:15:56 Finished compiler/inference                                    2m44s   1GB
Jan 29 14:15:58 Starting compiler/backend/reg_alloc
Jan 29 14:16:49 Finished compiler/backend/reg_alloc                              48s 912MB
Jan 29 14:16:51 Starting compiler/backend/gc
Jan 29 14:32:32 Finished compiler/backend/gc                                  15m39s   3GB
Jan 29 14:32:33 Starting compiler/backend
Jan 29 14:32:38 Finished compiler/backend                                         2s  14MB
Jan 29 14:32:40 Starting compiler/encoders/asm
Jan 29 14:32:42 Finished compiler/encoders/asm                                    0s  21MB
Jan 29 14:32:44 Starting compiler/encoders/x64
Jan 29 14:34:23 Finished compiler/encoders/x64                                 1m37s 490MB
Jan 29 14:34:25 Starting compiler/encoders/arm6
Jan 29 14:37:23 Finished compiler/encoders/arm6                                2m55s   1GB
Jan 29 14:37:24 Starting compiler/encoders/arm8
Jan 29 14:38:12 Finished compiler/encoders/arm8                                  45s 464MB
Jan 29 14:38:13 Starting compiler/encoders/mips
Jan 29 14:39:37 Finished compiler/encoders/mips                                1m21s 648MB
Jan 29 14:39:39 Starting compiler/encoders/riscv
Jan 29 14:41:11 Finished compiler/encoders/riscv                               1m29s 423MB
Jan 29 14:41:13 Starting compiler/backend/x64
Jan 29 14:41:56 Finished compiler/backend/x64                                    40s   1GB
Jan 29 14:41:57 Starting compiler/backend/arm6
Jan 29 14:42:44 Finished compiler/backend/arm6                                   44s   1GB
Jan 29 14:42:46 Starting compiler/backend/arm8
Jan 29 14:43:29 Finished compiler/backend/arm8                                   41s   1GB
Jan 29 14:43:31 Starting compiler/backend/mips
Jan 29 14:44:17 Finished compiler/backend/mips                                   44s   1GB
Jan 29 14:44:19 Starting compiler/backend/riscv
Jan 29 14:45:03 Finished compiler/backend/riscv                                  41s   1GB
Jan 29 14:45:05 Starting compiler/parsing/proofs
Jan 29 14:49:36 Finished compiler/parsing/proofs                               4m29s 720MB
Jan 29 14:49:38 Starting compiler/inference/proofs
Jan 29 14:53:52 Finished compiler/inference/proofs                             4m12s   1GB
Jan 29 14:53:54 Starting compiler/backend/semantics
Jan 29 15:12:42 Finished compiler/backend/semantics                           18m45s   3GB
Jan 29 15:12:44 Starting compiler/backend/reg_alloc/proofs
Jan 29 15:14:01 Finished compiler/backend/reg_alloc/proofs                     1m15s 434MB
Jan 29 15:14:03 Starting compiler/backend/proofs
Jan 29 16:22:15 Finished compiler/backend/proofs                            1h08m08s   3GB
Jan 29 16:22:17 Starting compiler/encoders/x64/proofs
Jan 29 16:35:30 Finished compiler/encoders/x64/proofs                         13m11s   1GB
Jan 29 16:35:32 Starting compiler/encoders/arm6/proofs
Jan 29 16:48:48 Finished compiler/encoders/arm6/proofs                        13m14s   2GB
Jan 29 16:48:50 Starting compiler/encoders/arm8/proofs
Jan 29 16:57:54 Finished compiler/encoders/arm8/proofs                         9m00s   1GB
Jan 29 16:57:56 Starting compiler/encoders/mips/proofs
Jan 29 17:10:40 Finished compiler/encoders/mips/proofs                        12m42s   2GB
Jan 29 17:10:42 Starting compiler/encoders/riscv/proofs
Jan 29 17:24:28 Finished compiler/encoders/riscv/proofs                       13m43s 859MB
Jan 29 17:24:30 Starting compiler/backend/x64/proofs
Jan 29 17:25:22 Finished compiler/backend/x64/proofs                             49s   1GB
Jan 29 17:25:24 Starting compiler/backend/arm6/proofs
Jan 29 17:26:22 Finished compiler/backend/arm6/proofs                            55s   1GB
Jan 29 17:26:24 Starting compiler/backend/arm8/proofs
Jan 29 17:27:14 Finished compiler/backend/arm8/proofs                            48s   1GB
Jan 29 17:27:16 Starting compiler/backend/mips/proofs
Jan 29 17:28:13 Finished compiler/backend/mips/proofs                            55s   1GB
Jan 29 17:28:15 Starting compiler/backend/riscv/proofs
Jan 29 17:29:08 Finished compiler/backend/riscv/proofs                           50s   1GB
Jan 29 17:29:10 Starting compiler/proofs
Jan 29 17:31:53 Finished compiler/proofs                                       2m41s   1GB
Jan 29 17:31:55 Starting candle/set-theory
Jan 29 17:33:33 Finished candle/set-theory                                     1m35s 551MB
Jan 29 17:33:35 Starting candle/syntax-lib
Jan 29 17:33:57 Finished candle/syntax-lib                                       20s 453MB
Jan 29 17:33:59 Starting candle/standard/syntax
Jan 29 17:36:53 Finished candle/standard/syntax                                2m51s 690MB
Jan 29 17:36:55 Starting candle/standard/semantics
Jan 29 17:39:17 Finished candle/standard/semantics                             2m19s 896MB
Jan 29 17:39:18 Starting candle/standard/monadic
Jan 29 17:41:59 Finished candle/standard/monadic                               2m38s 894MB
Jan 29 17:42:01 Starting candle/standard/ml_kernel
Jan 29 17:52:51 Finished candle/standard/ml_kernel                            10m48s   2GB
Jan 29 17:52:53 Starting candle/standard/opentheory
Jan 29 17:53:25 Finished candle/standard/opentheory                              30s 813MB
Jan 29 17:53:27 Starting characteristic/examples
Jan 29 17:55:52 Finished characteristic/examples                               2m23s   1GB
Jan 29 17:55:54 Starting tutorial/solutions
Jan 29 18:33:28 Finished tutorial/solutions                                   37m31s  10GB
Jan 29 18:33:30 Starting examples
Jan 29 18:41:34 Finished examples                                              8m01s   2GB
Jan 29 18:41:36 Starting examples/compilation
Jan 30 00:44:00 Finished examples/compilation                               6h02m21s  16GB
Jan 30 00:44:02 Starting examples/compilation/proofs
Jan 30 00:50:22 Finished examples/compilation/proofs                           6m17s   4GB
Jan 30 00:50:24 Starting compiler/benchmarks
Jan 30 00:50:26 Finished compiler/benchmarks                                      0s   4MB
Jan 30 00:50:28 Starting translator/okasaki-examples
Jan 30 00:57:47 Finished translator/okasaki-examples                           7m16s   1GB
Jan 30 00:57:48 Starting translator/other-examples
Jan 30 01:04:23 Finished translator/other-examples                             6m31s 794MB
Jan 30 01:04:25 Starting compiler/parsing/tests
Jan 30 01:05:05 Finished compiler/parsing/tests                                  38s 330MB
Jan 30 01:05:07 Starting compiler/bootstrap/translation
Jan 30 09:57:09 Finished compiler/bootstrap/translation                     8h52m00s  30GB
Jan 30 09:57:11 Starting compiler/bootstrap/compilation/x64/64
Jan 31 16:36:04 FAILED: compiler/bootstrap/compilation/x64/64
]0;Holmake: ../../../../../basisRecursively calling Holmake in ../../../../../basis/pure
]0;Holmake: ../../../../../basis/pureRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regular
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/balanced_bst
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/balanced_bst]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/balanced_bstFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/balanced_bst
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languagesFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regularFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/formal-languages/regular
]0;Holmake: ../../../../../basis/pureRecursively calling Holmake in ../../../../../misc
]0;Holmake: ../../../../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/fun-op-sem/lprefix_lub
]0;Holmake: ../../../../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/hoare-triple
]0;Holmake: ../../../../../miscRecursively calling Holmake in ../../../../../developers
]0;Holmake: ../../../../../developers]0;Holmake: ../../../../../developersFinished recursive invocation in ../../../../../developers
]0;Holmake: ../../../../../miscRecursively calling Holmake in ../../../../../misc/lem_lib_stub
]0;Holmake: ../../../../../misc/lem_lib_stub]0;Holmake: ../../../../../misc/lem_lib_stubFinished recursive invocation in ../../../../../misc/lem_lib_stub
]0;Holmake: ../../../../../misc]0;Holmake: ../../../../../miscFinished recursive invocation in ../../../../../misc
]0;Holmake: ../../../../../basis/pure]0;Holmake: ../../../../../basis/pureFinished recursive invocation in ../../../../../basis/pure
]0;Holmake: ../../../../../basisRecursively calling Holmake in ../../../../../characteristic
]0;Holmake: ../../../../../characteristicRecursively calling Holmake in ../../../../../compiler/parsing
]0;Holmake: ../../../../../compiler/parsingRecursively calling Holmake in ../../../../../semantics
]0;Holmake: ../../../../../semanticsRecursively calling Holmake in ../../../../../semantics/ffi
]0;Holmake: ../../../../../semantics/ffi]0;Holmake: ../../../../../semantics/ffiFinished recursive invocation in ../../../../../semantics/ffi
]0;Holmake: ../../../../../semantics]0;Holmake: ../../../../../semanticsFinished recursive invocation in ../../../../../semantics
]0;Holmake: ../../../../../compiler/parsing]0;Holmake: ../../../../../compiler/parsingFinished recursive invocation in ../../../../../compiler/parsing
]0;Holmake: ../../../../../characteristicRecursively calling Holmake in ../../../../../semantics/alt_semantics/proofs
]0;Holmake: ../../../../../semantics/alt_semantics/proofsRecursively calling Holmake in ../../../../../semantics/alt_semantics
]0;Holmake: ../../../../../semantics/alt_semantics]0;Holmake: ../../../../../semantics/alt_semanticsFinished recursive invocation in ../../../../../semantics/alt_semantics
]0;Holmake: ../../../../../semantics/alt_semantics/proofsRecursively calling Holmake in ../../../../../semantics/proofs
]0;Holmake: ../../../../../semantics/proofs]0;Holmake: ../../../../../semantics/proofsFinished recursive invocation in ../../../../../semantics/proofs
]0;Holmake: ../../../../../semantics/alt_semantics/proofs]0;Holmake: ../../../../../semantics/alt_semantics/proofsFinished recursive invocation in ../../../../../semantics/alt_semantics/proofs
]0;Holmake: ../../../../../characteristicRecursively calling Holmake in ../../../../../translator
]0;Holmake: ../../../../../translator]0;Holmake: ../../../../../translatorFinished recursive invocation in ../../../../../translator
]0;Holmake: ../../../../../characteristic]0;Holmake: ../../../../../characteristicFinished recursive invocation in ../../../../../characteristic
]0;Holmake: ../../../../../basisRecursively calling Holmake in ../../../../../translator/monadic
]0;Holmake: ../../../../../translator/monadic]0;Holmake: ../../../../../translator/monadicFinished recursive invocation in ../../../../../translator/monadic
]0;Holmake: ../../../../../basis]0;Holmake: ../../../../../basisFinished recursive invocation in ../../../../../basis
]0;Holmake: .Recursively calling Holmake in ../../../..
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../backend
]0;Holmake: ../../../../backendRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/multiword
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/multiword]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/multiwordFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/multiword
]0;Holmake: ../../../../backendRecursively calling Holmake in ../../../../backend/reg_alloc
]0;Holmake: ../../../../backend/reg_allocRecursively calling Holmake in ../../../../../unverified/reg_alloc
]0;Holmake: ../../../../../unverified/reg_alloc]0;Holmake: ../../../../../unverified/reg_allocFinished recursive invocation in ../../../../../unverified/reg_alloc
]0;Holmake: ../../../../backend/reg_alloc]0;Holmake: ../../../../backend/reg_allocFinished recursive invocation in ../../../../backend/reg_alloc
]0;Holmake: ../../../../backendRecursively calling Holmake in ../../../../encoders
]0;Holmake: ../../../../encoders]0;Holmake: ../../../../encodersFinished recursive invocation in ../../../../encoders
]0;Holmake: ../../../../backendRecursively calling Holmake in ../../../../encoders/asm
]0;Holmake: ../../../../encoders/asmRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/common
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/commonFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/common
]0;Holmake: ../../../../encoders/asm]0;Holmake: ../../../../encoders/asmFinished recursive invocation in ../../../../encoders/asm
]0;Holmake: ../../../../backend]0;Holmake: ../../../../backendFinished recursive invocation in ../../../../backend
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../backend/arm6
]0;Holmake: ../../../../backend/arm6Recursively calling Holmake in ../../../../encoders/arm6
]0;Holmake: ../../../../encoders/arm6Recursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/model
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/modelRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/libFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/model
]0;Holmake: ../../../../encoders/arm6Recursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/step
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/stepRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-codeRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/decompilerFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-codeFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm/step
]0;Holmake: ../../../../encoders/arm6]0;Holmake: ../../../../encoders/arm6Finished recursive invocation in ../../../../encoders/arm6
]0;Holmake: ../../../../backend/arm6]0;Holmake: ../../../../backend/arm6Finished recursive invocation in ../../../../backend/arm6
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../backend/arm8
]0;Holmake: ../../../../backend/arm8Recursively calling Holmake in ../../../../encoders/arm8
]0;Holmake: ../../../../encoders/arm8Recursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/model
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/model]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/model
]0;Holmake: ../../../../encoders/arm8Recursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/step
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/step]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/arm8/step
]0;Holmake: ../../../../encoders/arm8]0;Holmake: ../../../../encoders/arm8Finished recursive invocation in ../../../../encoders/arm8
]0;Holmake: ../../../../backend/arm8]0;Holmake: ../../../../backend/arm8Finished recursive invocation in ../../../../backend/arm8
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../backend/mips
]0;Holmake: ../../../../backend/mipsRecursively calling Holmake in ../../../../encoders/mips
]0;Holmake: ../../../../encoders/mipsRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/model
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/model]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/model
]0;Holmake: ../../../../encoders/mipsRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/step
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/step]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/mips/step
]0;Holmake: ../../../../encoders/mips]0;Holmake: ../../../../encoders/mipsFinished recursive invocation in ../../../../encoders/mips
]0;Holmake: ../../../../backend/mips]0;Holmake: ../../../../backend/mipsFinished recursive invocation in ../../../../backend/mips
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../backend/riscv
]0;Holmake: ../../../../backend/riscvRecursively calling Holmake in ../../../../encoders/riscv
]0;Holmake: ../../../../encoders/riscvRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/model
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/model]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/model
]0;Holmake: ../../../../encoders/riscvRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/step
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/step]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/riscv/step
]0;Holmake: ../../../../encoders/riscv]0;Holmake: ../../../../encoders/riscvFinished recursive invocation in ../../../../encoders/riscv
]0;Holmake: ../../../../backend/riscv]0;Holmake: ../../../../backend/riscvFinished recursive invocation in ../../../../backend/riscv
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../backend/x64
]0;Holmake: ../../../../backend/x64Recursively calling Holmake in ../../../../encoders/x64
]0;Holmake: ../../../../encoders/x64Recursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/model
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/model
]0;Holmake: ../../../../encoders/x64Recursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/step
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/l3-machine-code/x64/step
]0;Holmake: ../../../../encoders/x64]0;Holmake: ../../../../encoders/x64Finished recursive invocation in ../../../../encoders/x64
]0;Holmake: ../../../../backend/x64]0;Holmake: ../../../../backend/x64Finished recursive invocation in ../../../../backend/x64
]0;Holmake: ../../../..Recursively calling Holmake in ../../../../inference
]0;Holmake: ../../../../inferenceRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular/first-order
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular/first-orderRecursively calling Holmake in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangularFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular
]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular/first-orderFinished recursive invocation in /scratch/cakeml/regression/HOL-548346defe3bc02c0ddb0e9b9f7b663e03a54862/examples/unification/triangular/first-order
]0;Holmake: ../../../../inference]0;Holmake: ../../../../inferenceFinished recursive invocation in ../../../../inference
]0;Holmake: ../../../..]0;Holmake: ../../../..Finished recursive invocation in ../../../..
]0;Holmake: .Recursively calling Holmake in ../../../translation
]0;Holmake: ../../../translationRecursively calling Holmake in ../../../../backend/reg_alloc/proofs
]0;Holmake: ../../../../backend/reg_alloc/proofs]0;Holmake: ../../../../backend/reg_alloc/proofsFinished recursive invocation in ../../../../backend/reg_alloc/proofs
]0;Holmake: ../../../translationRecursively calling Holmake in ../../../../inference/proofs
]0;Holmake: ../../../../inference/proofs]0;Holmake: ../../../../inference/proofsFinished recursive invocation in ../../../../inference/proofs
]0;Holmake: ../../../translation]0;Holmake: ../../../translationFinished recursive invocation in ../../../translation
]0;Holmake: .]0;Holmake: .Starting work on heap
heap                                                                         OK
Starting work on to_dataBootstrapTheory
to_dataBootstrapTheory                                                       OK
Starting work on to_lab_x64BootstrapTheory
to_lab_x64BootstrapTheory                                                    OK
Starting work on x64BootstrapTheory
x64BootstrapTheory                                           FAILED! <Signal 9>
 <<HOL message: Created theory "x64Bootstrap">>