Timeout
Solver verit: Solver terminated abnormally with error code 127 At command "by" (line 834 of "~~/dirs/AFP/thys/Difference_Bound_Matrices/DBM_Constraint_Systems.thy")
Timeout
Timeout
Timeout
Failed to load theory "Padic_Field.Padic_Semialgebraic_Function_Ring" (unresolved "Padic_Field.Padic_Field_Powers")
SMT: Solver "z3": Timed out (setting the configuration option "smt_timeout" might help) At command "by" (line 9415 of "~~/dirs/AFP/thys/Padic_Field/Padic_Field_Powers.thy")
Timeout
Timeout
Timeout
Timeout
Timeout
Timeout
Timeout
Compilation failed (line 28 of "~~/dirs/AFP/thys/PAC_Checker/PAC_Checker_MLton.thy"):
can't use native codegen on ARM64 target
usage: mlton [option ...] file.{c|mlb|o|sml} [file.{c|o|s|S} ...]
-align {8|4} object alignment
-as-opt <opt> pass option to assembler
-cc <cc> executable for C compiler
-cc-opt <opt> pass option to C compiler
-codegen {c|llvm} which code generator to use
-const '<name> <value>' set compile-time constant
-default-ann <ann> set annotation default for mlb files
-default-type '<ty><N>' set default type
-disable-ann <ann> disable annotation in mlb files
-export-header <file> write C header file for _export's
-ieee-fp {false|true} use strict IEEE floating-point
-inline <n> set inlining threshold
-keep {g|o} save intermediate files
-link-opt <opt> pass option to linker
-llvm-as <llvm-as> executable for llvm .ll -> .bc assembler
-llvm-as-opt <opt> pass option to llvm assembler
-llvm-llc <llc> executable for llvm .bc -> .o system compiler
-llvm-llc-opt <opt> pass option to llvm compiler
-llvm-opt <opt> executable for llvm .bc -> .bc optimizer
-llvm-opt-opt <opt> pass option to llvm optimizer
-mlb-path-map <file> additional MLB path map
-mlb-path-var '<name> <value>' additional MLB path var
-output <file> name of output file
-profile {no|alloc|count|time} produce executable suitable for profiling
-profile-branch {false|true} profile branches in addition to functions
-profile-stack {false|true} profile the stack
-profile-val {false|true} profile val bindings in addition to functions
-runtime <arg> pass arg to runtime via @MLton
-show-basis <file> write final basis environment
-show-def-use <file> write def-use information
-stop {f|g|o|tc} when to stop
-target {self} platform that executable will run on
-target-as-opt <target> <opt> target-dependent assembler option
-target-cc-opt <target> <opt> target-dependent C compiler option
-target-link-opt <target> <opt> target-dependent linker option
-verbose {0|1|2|3} how verbose to be
At command "compile_generated_files" (line 19 of "~~/dirs/AFP/thys/PAC_Checker/PAC_Checker_MLton.thy")
Timeout
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 1406 of "~~/src/HOL/Library/Finite_Map.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script84430485891286242: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 27 of "~~/src/HOL/Predicate_Compile_Examples/List_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12662211399083039856: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 82 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script4549167410789427068: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 98 of "~~/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script14828175402020432005: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 39 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script15414555102208570343: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 21 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 1406 of "~~/src/HOL/Library/Finite_Map.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 98 of "~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 1406 of "~~/src/HOL/Library/Finite_Map.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script5880126811393994447: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 98 of "~~/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script1897938372700617060: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 27 of "~~/src/HOL/Predicate_Compile_Examples/List_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script4795320285536529805: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 154 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script11771009089734680305: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 137 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script10426693668961783418: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 118 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script664646994314725359: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 105 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script7784311735031267809: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 90 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script4791283755356742370: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 82 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script5042894553236149640: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 162 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12558533091280500020: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 228 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script16568519599575130774: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 119 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script9363692793065158653: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 220 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12624278979013727871: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 97 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script18267096307997197566: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 214 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script169068828890266959: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 73 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script9271452869479687971: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 39 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script16442581172224246291: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 196 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script8608078049990483557: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 195 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12843610863878011017: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 194 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script8291884896532798439: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 193 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script17971064936426869244: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 103 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script10110218210656936229: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 35 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script2199816214784516993: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 25 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script16628290268609068280: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 23 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script13665525442990936653: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 21 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 1406 of "~~/src/HOL/Library/Finite_Map.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 98 of "~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 1406 of "~~/src/HOL/Library/Finite_Map.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script2809381216721493414: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 154 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script8704297158465311758: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 196 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script3931141339763739063: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 228 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12022344066025730303: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 220 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script734835875462377155: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 214 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script17870031329780633979: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 195 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script2011425391561975135: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 194 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script14068105565640006078: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 137 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script13744316421218122331: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 193 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script11507757001549355350: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 118 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script202382211279138656: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 105 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script6718228446943526722: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 90 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script14138371034931880960: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 82 of "~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script16369868975984898454: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 27 of "~~/src/HOL/Predicate_Compile_Examples/List_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script16652587908200931892: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 98 of "~~/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script10539288079007274274: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 162 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script381179939109778262: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 119 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script13871332596432851610: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 97 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script10939873899127817372: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 73 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12036810017704414103: line 1: /usr/local/bin/swipl: No such file or directory At command "quickcheck" (line 39 of "~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script9137508299371391443: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 103 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script5153690067066876665: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 35 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script4763235545074126570: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 25 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script12631178384426118144: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 23 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Error caused by prolog system ISABELLE_SWIPL: return code 127 /tmp/isabelle-isatest/bash_script16137624254470103522: line 1: /usr/local/bin/swipl: No such file or directory At command "values_prolog" (line 21 of "~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 1406 of "~~/src/HOL/Library/Finite_Map.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w -p-u -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 98 of "~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thy")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 39 of "~~/src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 17 of "~~/src/HOL/Codegenerator_Test/Generate_Abstract_Char.thy")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 18 of "~~/src/HOL/Codegenerator_Test/Generate.thy")