Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. merged
  3. preload library;
  4. update to kodkodi-1.5.4-1;
  5. clarified signature;
  6. more realistic kodkod invocation, imitating command-line tool;
  7. update to kodkodi-1.5.4; more realistic kodkod invocation;
  8. rudiments of Scala interface for Kodkod;
  9. updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
  10. basic integration of Zipperposition 2.0
  11. tuned Mirabelle comments
  12. two more lex fixes
Changeset 72183:13dc5fe14a49 by wenzelm:
tuned;
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
Changeset 72182:1337904169d7 by wenzelm:
merged
Changeset 72181:6241cbbf5a58 by wenzelm:
preload library;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72180:f422efa3cca0 by wenzelm:
update to kodkodi-1.5.4-1;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72179:0841895ca438 by wenzelm:
clarified signature;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72178:2481cdb84832 by wenzelm:
more realistic kodkod invocation, imitating command-line tool;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72177:fbaa6b40b439 by wenzelm:
update to kodkodi-1.5.4;<br>more realistic kodkod invocation;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72176:22c11f65ddf9 by wenzelm:
rudiments of Scala interface for Kodkod;
The file was addedsrc/HOL/Tools/Nitpick/kodkod.scala
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72175:6d7cd8e7bc6d by wenzelm:
updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72174:585b877df698 by blanchet:
basic integration of Zipperposition 2.0
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 72173:618a0ab13868 by blanchet:
tuned Mirabelle comments
The file was modified src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML (diff)
Changeset 72172:6f20a44c3cb1 by paulson _lp15@cam.ac.uk_:
two more lex fixes
The file was modified src/Doc/Codegen/Inductive_Predicate.thy (diff)
The file was modified src/HOL/MicroJava/DFA/Kildall.thy (diff)