Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Tue, 07 Jun 2011 15:53:20 +0200 | Gilles Duboscq | Merge |
Tue, 07 Jun 2011 15:52:55 +0200 | Gilles Duboscq | Reintroduce Logic subclasses, creating some Canonicalization related classes |
Tue, 07 Jun 2011 12:10:27 +0200 | Gilles Duboscq | Move TypeCHeck to floating nodes, rename Nodes to aboid using an *Op suffix |