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 +10000 tip

limit reconstruction time of Z3 proof steps to be able to detect long-running reconstruction steps
2014-12-29, by boehmes
converse graph according to Graph_Display;
2014-12-31, by wenzelm
eliminated TTY/PG legacy;
2014-12-31, by wenzelm
clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);
2014-12-31, by wenzelm
tuned;
2014-12-31, by wenzelm
for graph display, prefer graph data structure over list with dependencies;
2014-12-31, by wenzelm
more explict and generic field names
2014-12-31, by wenzelm
uniform variable name for presentation graphs, to distinguish from values of type Graph.T
2014-12-31, by wenzelm
stripped ad-hoc diagnostic facility
2014-12-31, by wenzelm
update map definition in Prog_Prove for new datatype package
2014-12-31, by kleing
explicit message channel for "legacy", which is nonetheless a variant of "warning";
2014-12-30, by wenzelm
clarified source location;
2014-12-30, by wenzelm
added system property isabelle.laf, notably for initial system dialog;
2014-12-30, by wenzelm
NEWS;
2014-12-30, by wenzelm
tuned;
2014-12-29, by wenzelm
clarified execution graph traversal: stable imports are required to proceed, e.g. relevant to avoid crash of init_theory after discontinued execution;
2014-12-29, by wenzelm
tuned whitespace;
2014-12-29, by wenzelm
more toplevel pretty printing;
2014-12-29, by wenzelm
back to full synchronization (cf. eb3e399f5b9f);
2014-12-28, by wenzelm
proper sequential version;
2014-12-28, by wenzelm
eliminated Document.execution frontier (again, see 627fb639a2d9): just run into older execution, potentially stalling worker thread, but without global delay due to long-running tasks (notably sledgehammer);
2014-12-28, by wenzelm
modernized historic example;
2014-12-28, by wenzelm
more thorough Lazy.is_finished;
2014-12-28, by wenzelm
3 old example lemmas by Amine listed in the top 100 theorems
2014-12-28, by kleing
update_cartouches;
2014-12-27, by wenzelm
memo_fork without locking, to avoid rare deadlock in Event_Timer.request due to execution overrun;
2014-12-27, by wenzelm
typos
2014-12-24, by haftmann
unused;
2014-12-23, by wenzelm
tuned message;
2014-12-23, by wenzelm
explicit message channels for "state", "information";
2014-12-23, by wenzelm
imitate font more carefully: err on smaller size;
2014-12-23, by wenzelm
more accurate selection of sessions;
2014-12-22, by wenzelm
more accurate selection of sessions;
2014-12-22, by wenzelm
discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
2014-12-22, by wenzelm
more elementary Multithreading.synchronized;
2014-12-22, by wenzelm
proper Synchronized.var;
2014-12-22, by wenzelm
removed remains from Proof General;
2014-12-22, by wenzelm
obsolete;
2014-12-22, by wenzelm
system option "pretty_margin" is superseded by "thy_output_margin";
2014-12-22, by wenzelm
tuned;
2014-12-22, by wenzelm
proper Synchronized.var;
2014-12-22, by wenzelm
separate module Random;
2014-12-22, by wenzelm
tuned;
2014-12-21, by wenzelm
tuned signature;
2014-12-21, by wenzelm
proper context;
2014-12-21, by wenzelm
afford more heap;
2014-12-21, by wenzelm
increase chances of success;
2014-12-21, by wenzelm
recovered metis proof after 115965966e15 (Odd clash of type variables!?);
2014-12-21, by wenzelm
proper context;
2014-12-21, by wenzelm
proper context for "net" tactics;
2014-12-20, by wenzelm
tuned;
2014-12-20, by wenzelm
afford full test, with slightly improved scheduling order;
2014-12-20, by wenzelm
more generous timeout, to increase chances of at64-poly;
2014-12-19, by wenzelm
updated according to eb3e399f5b9f;
2014-12-19, by wenzelm
just one data slot per program unit;
2014-12-19, by wenzelm
tuned;
2014-12-19, by wenzelm
just one data slot per program unit;
2014-12-19, by wenzelm
more standard configuration options;
2014-12-19, by wenzelm
tuned;
2014-12-19, by wenzelm
just one data slot per program unit;
2014-12-19, by wenzelm

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

isabelle