nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d30382e b9833d8)
Merge: Contract refactoring
authorJean Privat <jean@pryen.org>
Tue, 26 May 2020 19:26:30 +0000 (15:26 -0400)
committerJean Privat <jean@pryen.org>
Tue, 26 May 2020 19:26:30 +0000 (15:26 -0400)
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

Pull-Request: #2822


Trivial merge
Nit language project; an oo programing language and its tool suite.