| Thu, 05 Apr 2012 14:34:54 +0200 | wenzelm | less ambitious memo_eval, since memo_result is still not robust here; | changeset | files |
| Thu, 05 Apr 2012 14:14:51 +0200 | wenzelm | less aggressive discontinue_execution before document update, to avoid unstable execs that need to be re-assigned; | changeset | files |
| Thu, 05 Apr 2012 13:01:54 +0200 | wenzelm | more explicit memo_eval vs. memo_result, to enforce bottom-up execution; | changeset | files |
| Thu, 05 Apr 2012 11:58:46 +0200 | wenzelm | Command.memo including physical interrupts (unlike Lazy.lazy); | changeset | files |
| Thu, 05 Apr 2012 10:45:53 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 04 Apr 2012 21:03:30 +0200 | wenzelm | tuned -- NB: get_theory still needs to apply Lazy.force due to interrupt instabilities; | changeset | files |
| Wed, 04 Apr 2012 17:21:39 +0200 | wenzelm | proper signature constraint; | changeset | files |
| Wed, 04 Apr 2012 17:14:19 +0200 | wenzelm | tuned comments; | changeset | files |