log

age author description
Wed, 11 Feb 2015 21:51:26 +0100 Christian Humer Truffle-DSL: assumptions javadoc fixes.
Wed, 11 Feb 2015 19:29:35 +0100 Christian Humer Truffle-DSL: fix function call example can throw a guard assertion.