| Sat, 06 Dec 2008 00:08:07 +0100 | wenzelm | finish_thy: to not collapse checkpoints -- allows future proofs to be deferred indefinitely (performance tradeoff: 5-15% slowdown in sequential batch jobs); | changeset | files |
| Sat, 06 Dec 2008 00:04:44 +0100 | wenzelm | improved future_schedule: more robust handling of failed parents (explicit join), final join of all futures, including Exn.release_all; | changeset | files |
| Sat, 06 Dec 2008 00:03:28 +0100 | wenzelm | excursion: improve parallelism by not joining proofs here (depends on persistent checkpoints); | changeset | files |
| Sat, 06 Dec 2008 00:02:11 +0100 | wenzelm | added new_task; | changeset | files |
| Sat, 06 Dec 2008 00:01:57 +0100 | wenzelm | added constant value; | changeset | files |
| Fri, 05 Dec 2008 20:38:40 +0100 | wenzelm | refined type deriv: replaced all_promises by max_promise (dependency limit) and open_promises (potentially unfinished/failed promises); | changeset | files |