Mercurial > hg > truffle
comparison mxtool/mx @ 16750:7b196e1c3fa0
Truffle-DSL: added experimental new implies annotation to declare implication relations on guards.
author | Christian Humer <christian.humer@gmail.com> |
---|---|
date | Mon, 11 Aug 2014 15:53:05 +0200 |
parents | 98918f518640 |
children | 841a9f98b97c |
comparison
equal
deleted
inserted
replaced
16749:80f9446d4c81 | 16750:7b196e1c3fa0 |
---|