log

age author description
Mon, 24 Jun 2013 17:16:04 +0200 Andreas Woess PartialEvaluator: iterative version of expandTree
Tue, 25 Jun 2013 10:22:02 +0200 Lukas Stadler change to GC verification during gate: run in product, add after-GC verification
Tue, 25 Jun 2013 10:05:04 +0200 Lukas Stadler split PiNode into PiNode and GuardedValueNode