search

zmughal / treaty

Automatically exported from code.google.com/p/treaty
0 stars 0 forks source link

missing support for negation #1

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Contract language does not support negation.

TODO:

add negation to treaty schema
add support to verifier
add support to parser

Not difficult, this is explicit negation, there are no variable in contract
rules when verification is executed

Original issue reported on code.google.com by jens.dietrich on 6 Oct 2008 at 12:23

GoogleCodeExporter commented 9 years ago 
solved in v 1.0.25

Original comment by jens.dietrich on 31 Oct 2008 at 1:33