Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sun, 04 May 2014 16:12:44 +0200 | Miguel Garcia | [flow-sensitive] refactoring, factor out evidence-search |
Sat, 03 May 2014 16:19:43 +0200 | Miguel Garcia | [flow-sensitive] simplify to nullConstant |