Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 24 Apr 2013 17:44:57 +0200 | Christian Humer | Merge. |
Wed, 24 Apr 2013 17:44:15 +0200 | Christian Humer | Implemented basic support for assumptions for sourcecode generation. |
Wed, 24 Apr 2013 14:14:22 +0200 | Andreas Woess | Frame API: automatically change frame slot type for uninitialized slots |