Sat, 07 Apr 2012 16:41:59 +0200 | wenzelm | explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions; | file | diff | annotate |
Thu, 05 Apr 2012 13:01:54 +0200 | wenzelm | more explicit memo_eval vs. memo_result, to enforce bottom-up execution; | file | diff | annotate |
Thu, 05 Apr 2012 11:58:46 +0200 | wenzelm | Command.memo including physical interrupts (unlike Lazy.lazy); | file | diff | annotate |
Wed, 04 Apr 2012 14:19:47 +0200 | wenzelm | separate module for prover command execution; | file | diff | annotate |