log

age author description
Mon, 05 May 2014 18:39:29 +0200 Lukas Stadler Merge ([flow-sensitive] refactoring, factor out evidence-search)
Mon, 05 May 2014 18:39:09 +0200 Lukas Stadler Merge (update state flag after initialization to allow other compiler threads to execute)
Mon, 05 May 2014 18:38:43 +0200 Lukas Stadler Merge (Merge)
Mon, 05 May 2014 18:38:13 +0200 Lukas Stadler Merge (Truffle: fix javadoc)
Mon, 05 May 2014 18:37:27 +0200 Lukas Stadler Merge (clean phase within PartialEscapePhase)
Mon, 05 May 2014 18:36:01 +0200 Lukas Stadler fix block probabilities
Mon, 05 May 2014 18:03:50 +0200 Bernhard Urban gate: make unittests verbose