Contract refactoring - Githubissues

nitlang / nit

Nit language

http://nitlanguage.org

Apache License 2.0

238 stars 64 forks source link

Closed Delja closed 4 years ago

Delja commented 4 years ago

This pr integrate:

Minor documentation changes
Addition of the in_contract attribute to disable verification of contracts when we are already in verification.
Improved signature management

This pr depends of #2815 #2816 #2817 #2820