Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Mon, 11 Aug 2014 15:53:05 +0200 | Christian Humer | Truffle-DSL: added experimental new implies annotation to declare implication relations on guards. |
age | author | description |
---|---|---|
Mon, 11 Aug 2014 15:53:05 +0200 | Christian Humer | Truffle-DSL: added experimental new implies annotation to declare implication relations on guards. |