Job 237

CakeML:1ce14b047dff57fa8d460042d912381ae956a08b
  Port the tutorial exercise generator to CakeML [Feb 22 23:48:29]
#459 (issue380)
Merging into:78a58694402dc04c3291458d9c91eb1daef723d7
  Again move preamble to be last open [Feb 24 05:25:10]
HOL:bb8718e25c79755dfae141521dc625be831d4a40
  tactictoe: evaluation warnings [Feb 23 08:18:45]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Feb 24 06:54:12 Claimed job
Feb 24 06:54:20 Building HOL
Feb 24 07:06:43 Starting semantics/ffi
Feb 24 07:07:53 Finished semantics/ffi                                         1m07s 501MB
Feb 24 07:07:55 Starting semantics
Feb 24 07:10:35 Finished semantics                                             2m37s   1GB
Feb 24 07:10:36 Starting semantics/proofs
Feb 24 07:14:11 Finished semantics/proofs                                      3m32s   1GB
Feb 24 07:14:13 Starting basis/pure
Feb 24 07:20:36 Finished basis/pure                                            6m21s 617MB
Feb 24 07:20:38 Starting translator
Feb 24 07:27:53 Finished translator                                            7m12s 959MB
Feb 24 07:27:55 Starting compiler/parsing
Feb 24 07:30:24 Finished compiler/parsing                                      2m26s   1GB
Feb 24 07:30:26 Starting characteristic
Feb 24 07:35:18 Finished characteristic                                        4m50s   1GB
Feb 24 07:35:20 Starting basis
Feb 24 08:11:00 Finished basis                                                35m38s   2GB
Feb 24 08:11:02 Starting translator/monadic
Feb 24 08:11:06 Finished translator/monadic                                       1s  33MB
Feb 24 08:11:08 Starting compiler/inference
Feb 24 08:14:03 Finished compiler/inference                                    2m53s   1GB
Feb 24 08:14:05 Starting compiler/backend/reg_alloc
Feb 24 08:14:56 Finished compiler/backend/reg_alloc                              49s 648MB
Feb 24 08:14:58 Starting compiler/backend/gc
Feb 24 08:31:24 Finished compiler/backend/gc                                  16m23s   3GB
Feb 24 08:31:26 Starting compiler/backend
Feb 24 08:31:30 Finished compiler/backend                                         2s  16MB
Feb 24 08:31:32 Starting compiler/encoders/asm
Feb 24 08:31:35 Finished compiler/encoders/asm                                    0s  13MB
Feb 24 08:31:37 Starting compiler/encoders/x64
Feb 24 08:33:22 Finished compiler/encoders/x64                                 1m42s 500MB
Feb 24 08:33:24 Starting compiler/encoders/arm6
Feb 24 08:36:48 Finished compiler/encoders/arm6                                3m22s   1GB
Feb 24 08:36:50 Starting compiler/encoders/arm8
Feb 24 08:37:41 Finished compiler/encoders/arm8                                  48s 426MB
Feb 24 08:37:43 Starting compiler/encoders/mips
Feb 24 08:39:11 Finished compiler/encoders/mips                                1m26s 607MB
Feb 24 08:39:13 Starting compiler/encoders/riscv
Feb 24 08:40:50 Finished compiler/encoders/riscv                               1m34s 424MB
Feb 24 08:40:52 Starting compiler/backend/x64
Feb 24 08:41:37 Finished compiler/backend/x64                                    43s 854MB
Feb 24 08:41:39 Starting compiler/backend/arm6
Feb 24 08:42:29 Finished compiler/backend/arm6                                   48s   1GB
Feb 24 08:42:31 Starting compiler/backend/arm8
Feb 24 08:43:17 Finished compiler/backend/arm8                                   43s   1GB
Feb 24 08:43:19 Starting compiler/backend/mips
Feb 24 08:44:03 Finished compiler/backend/mips                                   42s   1GB
Feb 24 08:44:05 Starting compiler/backend/riscv
Feb 24 08:44:50 Finished compiler/backend/riscv                                  43s 989MB
Feb 24 08:44:52 Starting compiler/parsing/proofs
Feb 24 08:49:30 Finished compiler/parsing/proofs                               4m35s 848MB
Feb 24 08:49:32 Starting compiler/inference/proofs
Feb 24 08:54:05 Finished compiler/inference/proofs                             4m31s   1GB
Feb 24 08:54:06 Starting compiler/backend/semantics
Feb 24 09:14:45 Finished compiler/backend/semantics                           20m35s   3GB
Feb 24 09:14:46 Starting compiler/backend/reg_alloc/proofs
Feb 24 09:16:06 Finished compiler/backend/reg_alloc/proofs                     1m17s 470MB
Feb 24 09:16:08 Starting compiler/backend/proofs
Feb 24 10:27:30 Finished compiler/backend/proofs                            1h11m20s   6GB
Feb 24 10:27:32 Starting compiler/encoders/x64/proofs
Feb 24 10:41:25 Finished compiler/encoders/x64/proofs                         13m51s   1GB
Feb 24 10:41:27 Starting compiler/encoders/arm6/proofs
Feb 24 10:55:33 Finished compiler/encoders/arm6/proofs                        14m03s   2GB
Feb 24 10:55:35 Starting compiler/encoders/arm8/proofs
Feb 24 11:05:12 Finished compiler/encoders/arm8/proofs                         9m35s   1GB
Feb 24 11:05:14 Starting compiler/encoders/mips/proofs
Feb 24 11:18:34 Finished compiler/encoders/mips/proofs                        13m17s   2GB
Feb 24 11:18:35 Starting compiler/encoders/riscv/proofs
Feb 24 11:32:50 Finished compiler/encoders/riscv/proofs                       14m12s   1GB
Feb 24 11:32:52 Starting compiler/backend/x64/proofs
Feb 24 11:33:48 Finished compiler/backend/x64/proofs                             53s   1GB
Feb 24 11:33:50 Starting compiler/backend/arm6/proofs
Feb 24 11:34:49 Finished compiler/backend/arm6/proofs                            57s   1GB
Feb 24 11:34:51 Starting compiler/backend/arm8/proofs
Feb 24 11:35:46 Finished compiler/backend/arm8/proofs                            52s   1GB
Feb 24 11:35:48 Starting compiler/backend/mips/proofs
Feb 24 11:36:44 Finished compiler/backend/mips/proofs                            54s   1GB
Feb 24 11:36:46 Starting compiler/backend/riscv/proofs
Feb 24 11:37:42 Finished compiler/backend/riscv/proofs                           54s   1GB
Feb 24 11:37:44 Starting compiler/proofs
Feb 24 11:40:38 Finished compiler/proofs                                       2m52s   2GB
Feb 24 11:40:40 Starting candle/set-theory
Feb 24 11:42:25 Finished candle/set-theory                                     1m42s 549MB
Feb 24 11:42:27 Starting candle/syntax-lib
Feb 24 11:42:48 Finished candle/syntax-lib                                       19s 389MB
Feb 24 11:42:50 Starting candle/standard/syntax
Feb 24 11:45:51 Finished candle/standard/syntax                                2m58s 618MB
Feb 24 11:45:52 Starting candle/standard/semantics
Feb 24 11:48:20 Finished candle/standard/semantics                             2m25s 876MB
Feb 24 11:48:22 Starting candle/standard/monadic
Feb 24 11:51:08 Finished candle/standard/monadic                               2m44s 897MB
Feb 24 11:51:10 Starting candle/standard/ml_kernel
Feb 24 12:02:32 Finished candle/standard/ml_kernel                            11m20s   2GB
Feb 24 12:02:34 Starting candle/standard/opentheory
Feb 24 12:03:06 Finished candle/standard/opentheory                              30s 678MB
Feb 24 12:03:08 Starting characteristic/examples
Feb 24 12:05:50 Finished characteristic/examples                               2m40s   1GB
Feb 24 12:05:52 Starting tutorial/solutions
Feb 26 02:03:09 FAILED: tutorial/solutions
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/balanced_bst]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/balanced_bstFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/balanced_bst
]0;Holmake: .Recursively calling Holmake in ../../basis
]0;Holmake: ../../basisRecursively calling Holmake in ../../basis/pure
]0;Holmake: ../../basis/pureRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/regular
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languagesFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/regularFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/formal-languages/regular
]0;Holmake: ../../basis/pureRecursively calling Holmake in ../../misc
]0;Holmake: ../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/fun-op-sem/lprefix_lub
]0;Holmake: ../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/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 ../../compiler
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/backend
]0;Holmake: ../../compiler/backendRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/multiword
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/multiword]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/multiwordFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/multiword
]0;Holmake: ../../compiler/backendRecursively calling Holmake in ../../compiler/backend/reg_alloc
]0;Holmake: ../../compiler/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: ../../compiler/backend/reg_alloc]0;Holmake: ../../compiler/backend/reg_allocFinished recursive invocation in ../../compiler/backend/reg_alloc
]0;Holmake: ../../compiler/backendRecursively calling Holmake in ../../compiler/encoders
]0;Holmake: ../../compiler/encoders]0;Holmake: ../../compiler/encodersFinished recursive invocation in ../../compiler/encoders
]0;Holmake: ../../compiler/backendRecursively calling Holmake in ../../compiler/encoders/asm
]0;Holmake: ../../compiler/encoders/asmRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/common
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/commonFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/common
]0;Holmake: ../../compiler/encoders/asm]0;Holmake: ../../compiler/encoders/asmFinished recursive invocation in ../../compiler/encoders/asm
]0;Holmake: ../../compiler/backend]0;Holmake: ../../compiler/backendFinished recursive invocation in ../../compiler/backend
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/backend/arm6
]0;Holmake: ../../compiler/backend/arm6Recursively calling Holmake in ../../compiler/encoders/arm6
]0;Holmake: ../../compiler/encoders/arm6Recursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/model
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/modelRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/libFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/model
]0;Holmake: ../../compiler/encoders/arm6Recursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/step
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/stepRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-codeRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/decompilerFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-codeFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm/step
]0;Holmake: ../../compiler/encoders/arm6]0;Holmake: ../../compiler/encoders/arm6Finished recursive invocation in ../../compiler/encoders/arm6
]0;Holmake: ../../compiler/backend/arm6]0;Holmake: ../../compiler/backend/arm6Finished recursive invocation in ../../compiler/backend/arm6
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/backend/arm8
]0;Holmake: ../../compiler/backend/arm8Recursively calling Holmake in ../../compiler/encoders/arm8
]0;Holmake: ../../compiler/encoders/arm8Recursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/model
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/model]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/model
]0;Holmake: ../../compiler/encoders/arm8Recursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/step
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/step]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/arm8/step
]0;Holmake: ../../compiler/encoders/arm8]0;Holmake: ../../compiler/encoders/arm8Finished recursive invocation in ../../compiler/encoders/arm8
]0;Holmake: ../../compiler/backend/arm8]0;Holmake: ../../compiler/backend/arm8Finished recursive invocation in ../../compiler/backend/arm8
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/backend/mips
]0;Holmake: ../../compiler/backend/mipsRecursively calling Holmake in ../../compiler/encoders/mips
]0;Holmake: ../../compiler/encoders/mipsRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/model
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/model]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/model
]0;Holmake: ../../compiler/encoders/mipsRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/step
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/step]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/mips/step
]0;Holmake: ../../compiler/encoders/mips]0;Holmake: ../../compiler/encoders/mipsFinished recursive invocation in ../../compiler/encoders/mips
]0;Holmake: ../../compiler/backend/mips]0;Holmake: ../../compiler/backend/mipsFinished recursive invocation in ../../compiler/backend/mips
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/backend/riscv
]0;Holmake: ../../compiler/backend/riscvRecursively calling Holmake in ../../compiler/encoders/riscv
]0;Holmake: ../../compiler/encoders/riscvRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/model
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/model]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/model
]0;Holmake: ../../compiler/encoders/riscvRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/step
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/step]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/riscv/step
]0;Holmake: ../../compiler/encoders/riscv]0;Holmake: ../../compiler/encoders/riscvFinished recursive invocation in ../../compiler/encoders/riscv
]0;Holmake: ../../compiler/backend/riscv]0;Holmake: ../../compiler/backend/riscvFinished recursive invocation in ../../compiler/backend/riscv
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/backend/x64
]0;Holmake: ../../compiler/backend/x64Recursively calling Holmake in ../../compiler/encoders/x64
]0;Holmake: ../../compiler/encoders/x64Recursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/model
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/model
]0;Holmake: ../../compiler/encoders/x64Recursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/step
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/step
]0;Holmake: ../../compiler/encoders/x64]0;Holmake: ../../compiler/encoders/x64Finished recursive invocation in ../../compiler/encoders/x64
]0;Holmake: ../../compiler/backend/x64]0;Holmake: ../../compiler/backend/x64Finished recursive invocation in ../../compiler/backend/x64
]0;Holmake: ../../compilerRecursively calling Holmake in ../../compiler/inference
]0;Holmake: ../../compiler/inferenceRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular/first-order
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular/first-orderRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangularFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular/first-orderFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/unification/triangular/first-order
]0;Holmake: ../../compiler/inference]0;Holmake: ../../compiler/inferenceFinished recursive invocation in ../../compiler/inference
]0;Holmake: ../../compiler]0;Holmake: ../../compilerFinished recursive invocation in ../../compiler
]0;Holmake: .Recursively calling Holmake in ../../compiler/backend/proofs
]0;Holmake: ../../compiler/backend/proofsRecursively calling Holmake in ../../compiler/backend/gc
]0;Holmake: ../../compiler/backend/gc]0;Holmake: ../../compiler/backend/gcFinished recursive invocation in ../../compiler/backend/gc
]0;Holmake: ../../compiler/backend/proofsRecursively calling Holmake in ../../compiler/backend/reg_alloc/proofs
]0;Holmake: ../../compiler/backend/reg_alloc/proofs]0;Holmake: ../../compiler/backend/reg_alloc/proofsFinished recursive invocation in ../../compiler/backend/reg_alloc/proofs
]0;Holmake: ../../compiler/backend/proofsRecursively calling Holmake in ../../compiler/backend/semantics
]0;Holmake: ../../compiler/backend/semantics]0;Holmake: ../../compiler/backend/semanticsFinished recursive invocation in ../../compiler/backend/semantics
]0;Holmake: ../../compiler/backend/proofs]0;Holmake: ../../compiler/backend/proofsFinished recursive invocation in ../../compiler/backend/proofs
]0;Holmake: .Recursively calling Holmake in ../../compiler/backend/x64/proofs
]0;Holmake: ../../compiler/backend/x64/proofsRecursively calling Holmake in ../../compiler/encoders/x64/proofs
]0;Holmake: ../../compiler/encoders/x64/proofsRecursively calling Holmake in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/prog
]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/prog]0;Holmake: /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/progFinished recursive invocation in /scratch/cakeml/regression/HOL-bb8718e25c79755dfae141521dc625be831d4a40/examples/l3-machine-code/x64/prog
]0;Holmake: ../../compiler/encoders/x64/proofs]0;Holmake: ../../compiler/encoders/x64/proofsFinished recursive invocation in ../../compiler/encoders/x64/proofs
]0;Holmake: ../../compiler/backend/x64/proofs]0;Holmake: ../../compiler/backend/x64/proofsFinished recursive invocation in ../../compiler/backend/x64/proofs
]0;Holmake: .Recursively calling Holmake in ../../developers/cml_utils
]0;Holmake: ../../developers/cml_utilsRecursively calling Holmake in ../../compiler/bootstrap/compilation/x64/64
]0;Holmake: ../../compiler/bootstrap/compilation/x64/64Recursively calling Holmake in ../../compiler/bootstrap/translation
]0;Holmake: ../../compiler/bootstrap/translationRecursively calling Holmake in ../../compiler/inference/proofs
]0;Holmake: ../../compiler/inference/proofs]0;Holmake: ../../compiler/inference/proofsFinished recursive invocation in ../../compiler/inference/proofs
]0;Holmake: ../../compiler/bootstrap/translation]0;Holmake: ../../compiler/bootstrap/translationStarting 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 inferProgTheory
inferProgTheory                                                              OK
Starting work on reg_allocProgTheory
reg_allocProgTheory                                                          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_word32ProgTheory                                                          OK
Starting work on to_target32ProgTheory
to_word64ProgTheory                                                          OK
Starting work on to_target64ProgTheory
to_target32ProgTheory                                                        OK
Starting work on arm6ProgTheory
to_target64ProgTheory                                                        OK
Starting work on x64ProgTheory
arm6ProgTheory                                                               OK
Starting work on compiler32ProgTheory
x64ProgTheory                                                                OK
Starting work on arm8ProgTheory
arm8ProgTheory                                                               OK
Starting work on riscvProgTheory
riscvProgTheory                                                              OK
Starting work on mipsProgTheory
mipsProgTheory                                                               OK
Starting work on compiler64ProgTheory
compiler32ProgTheory                                                         OK
compiler64ProgTheory                                                         OK
Finished recursive invocation in ../../compiler/bootstrap/translation
]0;Holmake: ../../compiler/bootstrap/compilation/x64/64]0;Holmake: ../../compiler/bootstrap/compilation/x64/64Starting 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">>
Don't know how to build necessary target(s): exec_text
Finished recursive invocation in ../../compiler/bootstrap/compilation/x64/64
]0;Holmake: ../../developers/cml_utilsFinished recursive invocation in ../../developers/cml_utils
]0;Holmake: .