nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(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)
commit3f58b4fa8b53a60b9c0cbc0ca8dd0284d3ff65d5
treea3267a4591381767e9ef024f5bbfd3a98ae7942dtree | snapshot
parentd30382e96f0ffca468e71914f6aa37bffd6083efcommit | diff
parentb9833d87be7a747afa0685fac4defe1e6829335ecommit | diff
Merge: Contract refactoring

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
Nit language project; an oo programing language and its tool suite.