| Thu, 07 Jan 2010 12:24:35 +0100 |
blanchet |
reduced arity of Nitpick selectors associated with sets by 1, by using "Formula" instead of "Atom 2"
|
changeset |
files
|
| Thu, 07 Jan 2010 08:45:55 +0100 |
blanchet |
make Nitpick's tests not leave files in the temp directory
|
changeset |
files
|
| Wed, 06 Jan 2010 23:18:44 +0100 |
wenzelm |
more text edit operations;
|
changeset |
files
|
| Wed, 06 Jan 2010 23:18:12 +0100 |
wenzelm |
always report updates -- required has "handshake";
|
changeset |
files
|
| Wed, 06 Jan 2010 22:21:25 +0100 |
wenzelm |
tuned Isabelle/Scala build;
|
changeset |
files
|
| Wed, 06 Jan 2010 22:18:52 +0100 |
wenzelm |
simplified build/bootstrap of graph browser -- avoid make;
|
changeset |
files
|
| Wed, 06 Jan 2010 20:00:22 +0100 |
wenzelm |
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
|
changeset |
files
|
| Wed, 06 Jan 2010 18:22:43 +0100 |
wenzelm |
more robust cancelation, notably of passive futures without scheduler running;
|
changeset |
files
|
| Wed, 06 Jan 2010 18:14:16 +0100 |
wenzelm |
eliminated cache, which complicates the code without making a real difference (NB: deque_towards often disrupts caching, and daisy-chaining of workers already reduces queue overhead);
|
changeset |
files
|
| Wed, 06 Jan 2010 15:07:56 +0100 |
wenzelm |
tasks of canceled groups are considered "ready" -- enables to purge the queue from tasks depending on unfinished promises (also improves general reactivity);
|
changeset |
files
|
| Wed, 06 Jan 2010 13:14:28 +0100 |
wenzelm |
do not memoize interrupts;
|
changeset |
files
|
| Tue, 05 Jan 2010 23:38:10 +0100 |
wenzelm |
added Future.promise/fulfill -- promised futures that are fulfilled by external means;
|
changeset |
files
|