Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Thu, 16 Oct 2014 15:31:36 +0200 | Andreas Woess | Truffle: relax assertion for non-int values in int phi |
Thu, 16 Oct 2014 15:31:34 +0200 | Andreas Woess | Truffle: relax assertions for object state entries of int kind |
Wed, 15 Oct 2014 19:20:25 +0200 | Andreas Woess | Truffle: use long constants for offset calculation |