isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

tuned
2022-04-01, by haftmann
tuned
2022-04-01, by haftmann
merge
2022-04-01, by blanchet
tuned slices to get the fifth Zipperposition slice in a typical run
2022-04-01, by blanchet
merged
2022-04-01, by desharna
tuned sledgehammer documentation
2022-04-01, by desharna
tuned spelling;
2022-04-01, by wenzelm
merged
2022-04-01, by wenzelm
updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
2022-04-01, by wenzelm
clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
2022-04-01, by wenzelm
tuned: eliminted do-while for the sake of scala3;
2022-03-31, by wenzelm
prefer scala 3.0.x, for option "-source 3.0-migration";
2022-03-31, by wenzelm
tuned: avoid problems with scala3;
2022-03-31, by wenzelm
tuned: avoid problems with scala3;
2022-03-31, by wenzelm
provide SCALA_INTERFACES for isabelle_setup;
2022-03-30, by wenzelm
build Isabelle Scala component from official downloads (for scala-3.1.1);
2022-03-26, by wenzelm
added documentation
2022-04-01, by desharna
merged
2022-04-01, by desharna
tuned sledehammer to return best succeeding preplay method
2022-03-31, by desharna
expanded sledgehammer's expect option with some_preplayed
2022-03-30, by desharna
added preplay results to sledgehammer_output
2022-03-29, by desharna
tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3
2022-03-31, by desharna
further tweaked E's setup
2022-03-31, by blanchet
tweaked E setup
2022-03-31, by blanchet
merged
2022-03-29, by desharna
post-merged into new Lethe code
2022-03-29, by desharna
merged
2022-03-29, by desharna
fixed generation of Isar proofs e89709b80b6e
2022-03-28, by desharna
NEWS and CONTRIBUTORS
2022-03-29, by haftmann
nicer TPTP output
2022-03-29, by blanchet
regenerated
2022-03-29, by haftmann
tighter check to ensure that patterns remain left-linear, previous implementation was overcautious
2022-03-29, by haftmann
tuned
2022-03-29, by haftmann
tuned
2022-03-29, by haftmann
separated treatment of undefined bodys
2022-03-28, by haftmann
tuned arguments
2022-03-28, by haftmann
modernized handling of variables
2022-03-28, by haftmann
structurally tuned
2022-03-27, by haftmann
tuned names
2022-03-27, by haftmann
prefer build combinator
2022-03-27, by haftmann
tuned whitespace
2022-03-27, by haftmann
proper option argument;
2022-03-25, by wenzelm
prefer Isabelle shasum over the old command-line tool with its extra marker character;
2022-03-25, by wenzelm
tuned signature;
2022-03-25, by wenzelm
tuned signature;
2022-03-25, by wenzelm
tuned text, without update of component for now;
2022-03-25, by wenzelm
omit somewhat pointless integrity check;
2022-03-25, by wenzelm
tuned;
2022-03-25, by wenzelm
compile TPTP module
2022-03-25, by blanchet
compile mirabelle
2022-03-25, by blanchet
further modernized E setup
2022-03-25, by blanchet
cleaned up obsolete E setup and a bit of SPASS
2022-03-25, by blanchet
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
2022-03-25, by blanchet
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
2022-03-25, by blanchet
updated vscode_extension;
2022-03-25, by wenzelm
added parentheses in TPTP output -- seem necessary for some provers
2022-03-25, by blanchet
merged
2022-03-24, by wenzelm
provide pre-built vscodium-1.65.2 for all platforms;
2022-03-24, by wenzelm
tuned;
2022-03-24, by wenzelm
provide vscode_extension via component, thus users don't need Node.js development tools;
2022-03-24, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle