log

age author description
Wed, 11 Feb 2015 12:13:44 +0100 Christian Humer Truffle-DSL: fix invalid parameter order for executeWith with non-linear execution.
Wed, 11 Feb 2015 12:13:44 +0100 Christian Humer Truffle-DSL: implement new assumptions semantics.
Wed, 11 Feb 2015 12:13:44 +0100 Christian Humer Truffle-DSL: new test examples package to show and explain Truffle-DSL features.