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