Job 101

CakeML:01553d674eef9ade4c6f93df6af0875fef20c59c
  Update patchProg [Dec 21 12:35:28]
#412 (cleanup-basis)
Merging into:5a615647a8e5d50d633b288acd22eb2e8b580f37
  Include stdlib explicitly in basis_ffi [Dec 14 00:19:23]
HOL:cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a
  Merge pull request #502 from marioxcc/master [Dec 21 04:20:24]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux

Dec 21 13:55:27 Claimed job
Dec 21 13:55:37 Building HOL
Dec 21 14:08:17 Starting semantics/ffi
Dec 21 14:09:27 Finished semantics/ffi                                         1m07s 330MB
Dec 21 14:09:29 Starting semantics
Dec 21 14:12:10 Finished semantics                                             2m39s 736MB
Dec 21 14:12:12 Starting semantics/proofs
Dec 21 14:15:52 Finished semantics/proofs                                      3m37s   1GB
Dec 21 14:15:54 Starting basis/pure
Dec 21 14:22:05 Finished basis/pure                                            6m08s 668MB
Dec 21 14:22:07 Starting translator
Dec 21 14:29:32 Finished translator                                            7m22s 912MB
Dec 21 14:29:34 Starting compiler/parsing
Dec 21 14:32:01 Finished compiler/parsing                                      2m24s   1GB
Dec 21 14:32:03 Starting characteristic
Dec 21 14:36:52 Finished characteristic                                        4m46s   1GB
Dec 21 14:36:54 Starting basis
Dec 21 15:04:54 Finished basis                                                27m58s   2GB
Dec 21 15:04:56 Starting translator/monadic
Dec 21 15:08:33 Finished translator/monadic                                    3m34s   1GB
Dec 21 15:08:35 Starting compiler/inference
Dec 21 15:11:28 Finished compiler/inference                                    2m50s   1GB
Dec 21 15:11:30 Starting compiler/backend/reg_alloc
Dec 21 15:12:21 Finished compiler/backend/reg_alloc                              48s 981MB
Dec 21 15:12:23 Starting compiler/backend/gc
Dec 21 15:29:16 Finished compiler/backend/gc                                  16m51s   2GB
Dec 21 15:29:18 Starting compiler/backend
Dec 21 15:29:22 Finished compiler/backend                                         1s  14MB
Dec 21 15:29:24 Starting compiler/encoders/asm
Dec 21 15:29:27 Finished compiler/encoders/asm                                    0s  19MB
Dec 21 15:29:29 Starting compiler/encoders/x64
Dec 21 15:30:43 Finished compiler/encoders/x64                                 1m11s 406MB
Dec 21 15:30:45 Starting compiler/encoders/arm6
Dec 21 15:33:47 Finished compiler/encoders/arm6                                3m00s   1GB
Dec 21 15:33:49 Starting compiler/encoders/arm8
Dec 21 15:34:38 Finished compiler/encoders/arm8                                  46s 461MB
Dec 21 15:34:40 Starting compiler/encoders/mips
Dec 21 15:36:05 Finished compiler/encoders/mips                                1m23s 705MB
Dec 21 15:36:07 Starting compiler/encoders/riscv
Dec 21 15:37:42 Finished compiler/encoders/riscv                               1m33s 419MB
Dec 21 15:37:45 Starting compiler/backend/x64
Dec 21 15:38:30 Finished compiler/backend/x64                                    43s   1GB
Dec 21 15:38:32 Starting compiler/backend/arm6
Dec 21 15:39:21 Finished compiler/backend/arm6                                   47s   1GB
Dec 21 15:39:23 Starting compiler/backend/arm8
Dec 21 15:40:09 Finished compiler/backend/arm8                                   44s   1GB
Dec 21 15:40:11 Starting compiler/backend/mips
Dec 21 15:40:58 Finished compiler/backend/mips                                   44s   1GB
Dec 21 15:41:00 Starting compiler/backend/riscv
Dec 21 15:41:46 Finished compiler/backend/riscv                                  43s   1GB
Dec 21 15:41:48 Starting compiler/parsing/proofs
Dec 21 15:46:37 Finished compiler/parsing/proofs                               4m47s 654MB
Dec 21 15:46:39 Starting compiler/inference/proofs
Dec 21 15:51:03 Finished compiler/inference/proofs                             4m21s   1GB
Dec 21 15:51:05 Starting compiler/backend/semantics
Dec 21 16:10:39 Finished compiler/backend/semantics                           19m31s   4GB
Dec 21 16:10:41 Starting compiler/backend/reg_alloc/proofs
Dec 21 16:11:58 Finished compiler/backend/reg_alloc/proofs                     1m15s 384MB
Dec 21 16:12:00 Starting compiler/backend/proofs
Dec 21 17:24:38 Finished compiler/backend/proofs                            1h12m35s   3GB
Dec 21 17:24:40 Starting compiler/encoders/x64/proofs
Dec 21 17:36:08 Finished compiler/encoders/x64/proofs                         11m24s   1GB
Dec 21 17:36:10 Starting compiler/encoders/arm6/proofs
Dec 21 17:50:09 Finished compiler/encoders/arm6/proofs                        13m56s   3GB
Dec 21 17:50:11 Starting compiler/encoders/arm8/proofs
Dec 21 17:59:47 Finished compiler/encoders/arm8/proofs                         9m33s   1GB
Dec 21 17:59:49 Starting compiler/encoders/mips/proofs
Dec 21 18:13:27 Finished compiler/encoders/mips/proofs                        13m36s   1GB
Dec 21 18:13:29 Starting compiler/encoders/riscv/proofs
Dec 21 18:28:02 Finished compiler/encoders/riscv/proofs                       14m30s 802MB
Dec 21 18:28:04 Starting compiler/backend/x64/proofs
Dec 21 18:28:58 Finished compiler/backend/x64/proofs                             52s   1GB
Dec 21 18:29:00 Starting compiler/backend/arm6/proofs
Dec 21 18:30:01 Finished compiler/backend/arm6/proofs                            58s   1GB
Dec 21 18:30:03 Starting compiler/backend/arm8/proofs
Dec 21 18:30:57 Finished compiler/backend/arm8/proofs                            51s   1GB
Dec 21 18:30:59 Starting compiler/backend/mips/proofs
Dec 21 18:31:55 Finished compiler/backend/mips/proofs                            53s   1GB
Dec 21 18:31:57 Starting compiler/backend/riscv/proofs
Dec 21 18:32:53 Finished compiler/backend/riscv/proofs                           54s   1GB
Dec 21 18:32:55 Starting compiler/proofs
Dec 21 18:35:26 Finished compiler/proofs                                       2m28s   1GB
Dec 21 18:35:28 Starting candle/set-theory
Dec 21 18:37:15 Finished candle/set-theory                                     1m45s 571MB
Dec 21 18:37:17 Starting candle/syntax-lib
Dec 21 18:37:39 Finished candle/syntax-lib                                       19s 403MB
Dec 21 18:37:41 Starting candle/standard/syntax
Dec 21 18:40:39 Finished candle/standard/syntax                                2m56s 610MB
Dec 21 18:40:41 Starting candle/standard/semantics
Dec 21 18:43:11 Finished candle/standard/semantics                             2m27s 911MB
Dec 21 18:43:13 Starting candle/standard/monadic
Dec 21 18:45:56 Finished candle/standard/monadic                               2m41s   1GB
Dec 21 18:45:58 Starting candle/standard/ml_kernel
Dec 21 18:57:33 Finished candle/standard/ml_kernel                            11m32s   2GB
Dec 21 18:57:35 Starting candle/standard/opentheory
Dec 21 18:58:08 Finished candle/standard/opentheory                              30s 596MB
Dec 21 18:58:10 Starting characteristic/examples
Dec 21 19:00:28 Finished characteristic/examples                               2m16s   1GB
Dec 21 19:00:31 Starting tutorial/solutions
Dec 21 19:35:11 Finished tutorial/solutions                                   34m38s  10GB
Dec 21 19:35:13 Starting examples
Dec 21 19:43:09 Finished examples                                              7m53s   2GB
Dec 21 19:43:11 Starting examples/compilation
Dec 22 00:39:16 Finished examples/compilation                               4h56m01s  13GB
Dec 22 00:39:18 Starting examples/compilation/proofs
Dec 22 00:45:39 Finished examples/compilation/proofs                           6m18s   4GB
Dec 22 00:45:41 Starting compiler/benchmarks
Dec 22 02:33:26 Finished compiler/benchmarks                                1h47m42s  16GB
Dec 22 02:33:28 Starting translator/okasaki-examples
Dec 22 02:40:57 Finished translator/okasaki-examples                           7m26s   1GB
Dec 22 02:40:59 Starting translator/other-examples
Dec 22 02:48:03 Finished translator/other-examples                             7m02s 960MB
Dec 22 02:48:05 Starting compiler/parsing/tests
Dec 22 02:48:45 Finished compiler/parsing/tests                                  38s 415MB
Dec 22 02:48:47 Starting compiler/bootstrap/translation
Dec 22 10:39:03 FAILED: compiler/bootstrap/translation
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/context-free
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/model
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/modelRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/common
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/commonRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/commonFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/common
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/modelRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/libFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/model
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/model
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/model]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/model
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/model
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/model]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/model
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/model
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/model]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/model
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/model
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/modelFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/model
]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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/regular
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/balanced_bst
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/balanced_bst]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/balanced_bstFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/balanced_bst
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languagesFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/regularFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/formal-languages/regular
]0;Holmake: ../../../basis/pureRecursively calling Holmake in ../../../misc
]0;Holmake: ../../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/fun-op-sem/lprefix_lub
]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: ../../../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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/multiword
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/multiword]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/multiwordFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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/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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/step
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/stepRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-codeRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/decompilerFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-codeFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/step
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/step]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/arm8/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/step
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/step]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/mips/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/step
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/step]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/riscv/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/step
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/l3-machine-code/x64/stepFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular/first-order
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular/first-orderRecursively calling Holmake in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangularFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular
]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/examples/unification/triangular/first-orderFinished recursive invocation in /scratch/cakeml/regression/HOL-cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a/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 ../../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: .Recursively calling Holmake in ../../inference/proofs
]0;Holmake: ../../inference/proofs]0;Holmake: ../../inference/proofsFinished recursive invocation in ../../inference/proofs
]0;Holmake: .]0;Holmake: .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 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_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! <1>
 Saved theorem _____ "nsLookup_auto_env_72"
 Saved theorem _____ "compiler_print_option_v_thm"
 Translating compiler_current_build_info_str
 Saved theorem _____ "nsLookup_auto_env_73"
 Saved theorem _____ "compiler_current_build_info_str_v_thm"
 Saved theorem _____ "nsLookup_auto_env_74"
 Saved definition __ "full_compile_32_def"
 error in quse /scratch/cakeml/regression/cakeml-101/compiler/bootstrap/translation/compiler32ProgScript.sml : HOL_ERR {message = "No consistent parse", origin_function = "typed_parse_in_context", origin_structure = "Parse"}
 error in load compiler32ProgScript : HOL_ERR {message = "No consistent parse", origin_function = "typed_parse_in_context", origin_structure = "Parse"}
 Uncaught exception: HOL_ERR {message = "No consistent parse", origin_function = "typed_parse_in_context", origin_structure = "Parse"}
compiler64ProgTheory                                                   M-KILLED