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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
more on conversions
20 months ago, by haftmann
merged
20 months ago, by paulson
quite a bit of tidying
20 months ago, by paulson
more robust interpretation of data;
21 months ago, by wenzelm
merged
21 months ago, by paulson
small quantifier fixes
21 months ago, by paulson
just a bit of streamlining
21 months ago, by paulson
but not the [cong] rule
21 months ago, by paulson
tidying up some theorem statements
21 months ago, by paulson
initial Kodkod.warmup: preloading and basic integrity test;
21 months ago, by wenzelm
strict init of protocol handlers;
21 months ago, by wenzelm
clarified treatment of add-on prover_options;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tiny tidy-up of proofs
21 months ago, by paulson
updated to scala-2.12.12;
21 months ago, by wenzelm
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
21 months ago, by wenzelm
NEWS;
21 months ago, by wenzelm
test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;
21 months ago, by wenzelm
updated to kodkodi-1.5.6: more robust treatment of interrupt;
21 months ago, by wenzelm
removed pointless version checks: Isabelle component integration does the job already;
21 months ago, by wenzelm
more robust treatment of execution with interrupts;
21 months ago, by wenzelm
suppress odd warning for context.exit();
21 months ago, by wenzelm
more explicit treatment of interrupt;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
more flexible default for max_threads;
21 months ago, by wenzelm
proper default for max_threads;
21 months ago, by wenzelm
a proof of concept for generic conversions
21 months ago, by haftmann
proper name (amending 742d94015918);
21 months ago, by wenzelm
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
21 months ago, by wenzelm
avoid odd PIDE markup, notably in kokodi input;
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;
21 months ago, by wenzelm
proper treatment of absolute deadline vs. relative timeout;
21 months ago, by wenzelm
clarified session: no parent image for minor theory imports;
21 months ago, by wenzelm
removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process;
21 months ago, by wenzelm
more lemmas
21 months ago, by haftmann
proper syntax declaration
21 months ago, by haftmann
merged
21 months ago, by paulson
reversing all the lex crap
21 months ago, by paulson
tuned;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
preload library;
21 months ago, by wenzelm
update to kodkodi-1.5.4-1;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
more realistic kodkod invocation, imitating command-line tool;
21 months ago, by wenzelm
update to kodkodi-1.5.4;
21 months ago, by wenzelm
rudiments of Scala interface for Kodkod;
21 months ago, by wenzelm
updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
21 months ago, by wenzelm
basic integration of Zipperposition 2.0
21 months ago, by blanchet
tuned Mirabelle comments
21 months ago, by blanchet
two more lex fixes
21 months ago, by paulson
more lex fixes
21 months ago, by paulson
Another go with lex: now lexordp back in class ord
21 months ago, by paulson
List_Lexorder finally working
21 months ago, by paulson
lexicographic ordering: new simp setup to prioritise the simpler "less_than" case
21 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip