[#821] Update reference contracts
Description
Update reference contracts contracts/tezos_examples
to their state in https://gitlab.com/tezos/tezos/-/tree/cb9f439e58c761e76ade589d1cdbd2abb737dc68/tests_python/contracts_013 (= tezos release 13.0, with jakarta support).
Additionally:
- Moves reference contracts spread over morley repo to agree with their placement in the reference repo
- (mostly unparsable-by-morley contracts get moved from
unparsable
totezos_examples/ill-typed
) - Drops some copyright headers not present in the original
- Documents unavoided discrepancies
- (mostly unparsable-by-morley contracts get moved from
- Documents how to deal with unparsable and incorrectly typechecked contracts
Related issue(s)
Resolves #821 (closed)
✅ Checklist for your Merge Request
Related changes (conditional)
-
Tests (see short guidelines)
-
If I added new functionality, I added tests covering it. -
If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
-
-
Documentation
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by —