log

age author description
Mon, 15 Jul 2013 13:36:59 +0200 Lukas Stadler test for nullness and disjunctive conditions in ConditionalEliminationPhase
Mon, 15 Jul 2013 13:36:41 +0200 Lukas Stadler record disjunctive conditions in ConditionalEliminationPhase
Mon, 15 Jul 2013 13:11:34 +0200 Lukas Stadler fix nullness for not-equals in ConditionalEliminationPhase
Mon, 15 Jul 2013 12:02:15 +0200 Roland Schatz Do not re-compress oops that are already compressed.
Mon, 15 Jul 2013 10:59:14 +0200 Christos Kotselidis Merge
Mon, 15 Jul 2013 10:50:33 +0200 Christos Kotselidis Method renaming
Mon, 15 Jul 2013 10:48:10 +0200 Christos Kotselidis Add assertions