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

more explicit treatment of interrupt;
2020-08-24, by wenzelm
tuned;
2020-08-24, by wenzelm
more flexible default for max_threads;
2020-08-24, by wenzelm
proper default for max_threads;
2020-08-24, by wenzelm
a proof of concept for generic conversions
2020-08-24, by haftmann
proper name (amending 742d94015918);
2020-08-22, by wenzelm
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
2020-08-22, by wenzelm
avoid odd PIDE markup, notably in kokodi input;
2020-08-22, by wenzelm
clarified names;
2020-08-22, by wenzelm
clarified signature;
2020-08-22, by wenzelm
clarified signature;
2020-08-22, by wenzelm
proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;
2020-08-22, by wenzelm
proper treatment of absolute deadline vs. relative timeout;
2020-08-22, by wenzelm
clarified session: no parent image for minor theory imports;
2020-08-22, by wenzelm
removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process;
2020-08-22, by wenzelm
more lemmas
2020-08-21, by haftmann
proper syntax declaration
2020-08-21, by haftmann
merged
2020-08-21, by paulson
reversing all the lex crap
2020-08-21, by paulson
tuned;
2020-08-20, by wenzelm
merged
2020-08-20, by wenzelm
preload library;
2020-08-20, by wenzelm
update to kodkodi-1.5.4-1;
2020-08-20, by wenzelm
clarified signature;
2020-08-20, by wenzelm
more realistic kodkod invocation, imitating command-line tool;
2020-08-19, by wenzelm
update to kodkodi-1.5.4;
2020-08-19, by wenzelm
rudiments of Scala interface for Kodkod;
2020-08-18, by wenzelm
updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
2020-08-18, by wenzelm
basic integration of Zipperposition 2.0
2020-08-20, by blanchet
tuned Mirabelle comments
2020-08-20, by blanchet
two more lex fixes
2020-08-20, by paulson
more lex fixes
2020-08-19, by paulson
Another go with lex: now lexordp back in class ord
2020-08-19, by paulson
List_Lexorder finally working
2020-08-18, by paulson
lexicographic ordering: new simp setup to prioritise the simpler "less_than" case
2020-08-18, by paulson
merged
2020-08-18, by paulson
fixed for new lex-order. And the effing indentation!
2020-08-18, by paulson
merged
2020-08-17, by paulson
S Holub's proposed generalisation of the lexicographic product of two orderings
2020-08-17, by paulson
allow user-defined server commands via isabelle_scala_service;
2020-08-17, by wenzelm
more systematic support for special directories;
2020-08-17, by wenzelm
proper init of cumulative settings;
2020-08-17, by wenzelm
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
2020-08-16, by wenzelm
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
2020-08-16, by wenzelm
proper protocol init (amending 065dcd80293e);
2020-08-15, by wenzelm
clarified names;
2020-08-15, by wenzelm
provide protocol handlers via isabelle_system_service;
2020-08-15, by wenzelm
prefer formal name;
2020-08-15, by wenzelm
clarified signature;
2020-08-14, by wenzelm
misc tuning;
2020-08-14, by wenzelm
clarified demo functions;
2020-08-14, by wenzelm
clarified protocol: ML worker thread blocks and awaits result from Scala, to avoid excessive replacement threads;
2020-08-14, by wenzelm
more documentation;
2020-08-13, by wenzelm
support JVM runtime statistics;
2020-08-13, by wenzelm
clarified worker threads;
2020-08-13, by wenzelm
misc tuning, based on hints by IntelliJ IDEA;
2020-08-13, by wenzelm
clarified GUI;
2020-08-13, by wenzelm
tuned GUI;
2020-08-13, by wenzelm
tuned GUI;
2020-08-13, by wenzelm
clarified order for GUI;
2020-08-13, by wenzelm

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

isabelle