Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Thu, 02 Apr 2015 14:55:51 +0200 | Lukas Stadler | non-iterative PEA during partial evaluation |
Thu, 02 Apr 2015 14:55:50 +0200 | Lukas Stadler | canonicalize during PEA |
Thu, 02 Apr 2015 14:50:16 +0200 | Lukas Stadler | test for PEA canonicalization |