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