Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Mon, 15 Jul 2013 14:09:44 +0200 | Andreas Woess | Merge |
Thu, 11 Jul 2013 22:14:27 +0200 | Andreas Woess | Truffle: introduce profiling option |
Thu, 11 Jul 2013 19:34:27 +0200 | Andreas Woess | Truffle: change sorting of inlinable call sites |
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 |