Enable contracts in associated functions#3363

Merged

celinval merged 21 commits intomodel-checking:mainfrom celinval:issue-3206-contract-method

Aug 1, 2024

+1,849-1,458

Commits on Jul 8, 2024

Initial refactoring of contracts
celinval
committed

Commits on Jul 9, 2024

Implement multiple attributes
celinval
committed

Commits on Jul 10, 2024

Add replace / check closures to the main body
celinval
committed

Commits on Jul 11, 2024

Handle static reentry and end-2-end flow
celinval
committed

Commits on Jul 12, 2024

Commits on Jul 19, 2024

Commits on Jul 20, 2024

Commits on Jul 22, 2024

Commits on Jul 25, 2024

Commits on Jul 26, 2024

Fix contract for std constant functions
celinval
committed

Commits on Jul 31, 2024

Address PR comments
celinval
committed

Commits on Aug 1, 2024

Merge remote-tracking branch 'origin/main' into issue-3206-contract-method
celinval
committed