Sat, 10 Jan 2009 16:54:55 +0100 | wenzelm | added pending_groups -- accumulates task groups of local derivations only; | changeset | files |
Sat, 10 Jan 2009 16:53:12 +0100 | wenzelm | added cancel_group; | changeset | files |
Sat, 10 Jan 2009 16:00:34 +0100 | wenzelm | merged | changeset | files |
Sat, 10 Jan 2009 13:11:56 +0100 | wenzelm | schedule_futures: tuned final consolidation, explicit after_load phase; | changeset | files |
Sat, 10 Jan 2009 13:10:38 +0100 | wenzelm | load_thy: explicit after_load phase for presentation; | changeset | files |
Sat, 10 Jan 2009 13:10:07 +0100 | wenzelm | excursion: commit_exit internally -- checkpoints are fully persistent now; | changeset | files |