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)
commit3f58b4fa8b53a60b9c0cbc0ca8dd0284d3ff65d5
treea3267a4591381767e9ef024f5bbfd3a98ae7942d
parentd30382e96f0ffca468e71914f6aa37bffd6083ef
parentb9833d87be7a747afa0685fac4defe1e6829335e
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