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
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.
retired wwwfind
2014-04-26, by kleing
use right set of variables for recursive check
2014-04-26, by blanchet
merged
2014-04-26, by wenzelm
tuned -- potentially more robust;
2014-04-26, by wenzelm
suppress potential dangerous option (see 1baa5d19ac44);
2014-04-25, by wenzelm
manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
2014-04-25, by wenzelm
modernized theory setup;
2014-04-25, by wenzelm
just one default thread pool (which is hardwired to Runtime.availableProcessors);
2014-04-25, by wenzelm
tuned signature -- separate pool for JFuture tasks, which can be canceled;
2014-04-25, by wenzelm
prefer Isabelle/Scala operations;
2014-04-25, by wenzelm
unused;
2014-04-25, by wenzelm
use Z3 4.3.2 to fix most FIXMEs
2014-04-25, by blanchet
added Z3 4.3.2 (unstable) component
2014-04-25, by blanchet
updated Z3 version number
2014-04-25, by blanchet
use Z3 4.3.2 syntax
2014-04-25, by blanchet
subscription as target-specific implementation device
2014-04-25, by haftmann
make SML/NJ happier;
2014-04-25, by wenzelm
merged
2014-04-25, by wenzelm
updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML;
2014-04-25, by wenzelm
simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post;
2014-04-25, by wenzelm
replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;
2014-04-25, by wenzelm
tuned whitespace;
2014-04-25, by wenzelm
obsolete;
2014-04-25, by wenzelm
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
2014-04-25, by wenzelm
tuned comments;
2014-04-25, by wenzelm
more robust prover termination;
2014-04-25, by wenzelm
more explicit checks;
2014-04-25, by wenzelm
tuned signature;
2014-04-24, by wenzelm
more uniform warning/error handling, potentially with propagation to send_wait caller;
2014-04-24, by wenzelm
more careful shutdown (amending f2f53f7046f4);
2014-04-24, by wenzelm
misc tuning;
2014-04-24, by wenzelm
obsolete;
2014-04-24, by wenzelm
converted main session manager to Consumer_Thread: messages need to be consumed immediately, postponed_changes replaces implicit actor mailbox scanning;
2014-04-24, by wenzelm
simplified commands_changed_buffer (in contrast to a8331fb5c959): rely on better performance of Consumer_Thread/Mailbox and more direct Timer (like session_actor.receiver);
2014-04-24, by wenzelm
simplified -- prefer Consumer_Thread over Actor;
2014-04-24, by wenzelm
tuned imports;
2014-04-24, by wenzelm
support for requests with explicit acknowledgment (and exception propagation);
2014-04-24, by wenzelm
more robust thread: continue after failure;
2014-04-24, by wenzelm
clarified command_input: Consumer_Thread;
2014-04-24, by wenzelm
further robustification wrt. unclear ranges;
2014-04-24, by wenzelm
allow more control of main loop;
2014-04-24, by wenzelm
eliminated pointless output actors;
2014-04-24, by wenzelm
more robust shutdown;
2014-04-24, by wenzelm
consumer thread with unbounded queueing of requests (similar to Message_Channel in ML);
2014-04-24, by wenzelm
proper signaling after each state update (NB: ML version does this uniformly via timed_access);
2014-04-24, by wenzelm
added Mailbox, as in ML;
2014-04-24, by wenzelm
synchronized access, similar to ML version;
2014-04-24, by wenzelm
tuned signature, in accordance to ML version;
2014-04-24, by wenzelm
eliminated redundant Volatile;
2014-04-24, by wenzelm
retain canonical reverse order;
2014-04-24, by wenzelm
more canonical list operations;
2014-04-24, by wenzelm
tuned signature in accordance to ML version;
2014-04-24, by wenzelm
canonical list operations, as in ML;
2014-04-24, by wenzelm
more uniform synchronized variables;
2014-04-24, by wenzelm
more unfolding and more folding in size equations, to look more natural in the nested case
2014-04-25, by blanchet
reintroduced '...' (nonexhaustive) syntax for SPASS-Pirate
2014-04-25, by blanchet
really unfold
2014-04-24, by blanchet
avoid non-standard simp default rule
2014-04-24, by haftmann
now covered by AFP 3ddac3e572cf
2014-04-24, by haftmann
avoid name shadowing
2014-04-24, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip