Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Fri, 16 Aug 2013 12:09:36 +0200 | Thomas Wuerthinger | New constructor for ConditionalNode. Made CustomTypeCheck node a LogicNode. |
Fri, 16 Aug 2013 01:12:34 +0200 | Thomas Wuerthinger | Remove test file. |
Fri, 16 Aug 2013 01:09:03 +0200 | Thomas Wuerthinger | Restructure Truffle API node intrinsics and introduce new intrinsics for type system modelling. |
Fri, 16 Aug 2013 00:29:30 +0200 | Thomas Wuerthinger | Move lowering of arithmetic exact nodes to second lowering phase. |
Thu, 15 Aug 2013 19:46:05 +0200 | Thomas Wuerthinger | Fix unused import. |
Thu, 15 Aug 2013 19:42:47 +0200 | Thomas Wuerthinger | Fix anchoring in ConditionalEliminationPhase when simplifying an IfNode. |