Merge: Contract refactoring master
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