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.