commit | fd7c339603b7642a93db2b2dbb26e521a8f14790 | [log] [tgz] |
---|---|---|
author | bergmann <bergmann@mit.bme.hu> | Fri Jul 06 14:59:56 2018 +0200 |
committer | bergmann <bergmann@mit.bme.hu> | Fri Jul 06 14:59:56 2018 +0200 |
tree | 806f7c08c1685c6124f240098f9f22cc6adcaf28 | |
parent | 261132011b57c63c5d76cb2065bec2835566ba89 [diff] |
Demonstrate inline negation in CPS validation example
Please read the Contributing wiki page to understand our contribution process.
All code in this repository is available under the Eclipse Public License v1.0: http://www.eclipse.org/legal/epl-v10.html