Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add plugin to create wrapper functions/methods to check contracts at runtime #2712

Merged
merged 38 commits into from
Sep 27, 2022
Merged
Changes from 1 commit
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
5f4fd13
Basic contract-checking wrapper generator
atomb Jul 30, 2022
e9f9f39
Start implementing redirection to wrappers
atomb Aug 15, 2022
86b5e0a
Various cleanups
atomb Aug 22, 2022
5036db9
More cleanup
atomb Aug 22, 2022
5e6d886
Further redirection progress
atomb Aug 22, 2022
2c0df47
Tiny tweak
atomb Aug 25, 2022
e151a6b
Functional but messy call redirection
atomb Aug 26, 2022
c10d268
Clean up wrapper call redirection
atomb Sep 1, 2022
7ce5197
Add /testContracts command-line option
atomb Sep 1, 2022
60929b7
Merge branch 'master' into contract-wrappers
atomb Sep 8, 2022
1dbf4e9
Move wrapper generation to a later phase
atomb Sep 8, 2022
dc81692
Update Options.txt
atomb Sep 8, 2022
2c9a9a2
Test on real-world example
atomb Sep 8, 2022
2e4b424
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb Sep 16, 2022
759c745
Improve warnings about testing ghost expressions
atomb Sep 16, 2022
aa0d31a
Update options and logic for which calls to wrap
atomb Sep 19, 2022
a478ece
Minor code cleanups
atomb Sep 19, 2022
90660fc
Update Options.txt
atomb Sep 19, 2022
e141a12
Add tests for contract-checking wrappers
atomb Sep 19, 2022
4e2e6bd
Add previously-omitted C# files for contract-wrappers tests
atomb Sep 19, 2022
10f2274
Add successful runtime contract checking test
atomb Sep 19, 2022
d58329b
Rearrange files to get tests to pass
atomb Sep 19, 2022
efdbfc6
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb Sep 19, 2022
853a778
Warn if :extern not tested with ExternsInTests
atomb Sep 21, 2022
52d7f34
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb Sep 21, 2022
18ff188
Small cleanups
atomb Sep 22, 2022
17b8f3a
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb Sep 22, 2022
39212b2
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb Sep 22, 2022
3635bbc
Update tests to match wrapper name change
atomb Sep 22, 2022
8247175
Add a release notes entry
atomb Sep 22, 2022
f7d9a1d
Change `/testContracts` arguments, update docs
atomb Sep 26, 2022
84947a1
Add class-level documentation comments
atomb Sep 26, 2022
8f7496a
Add RM entry for `/testContracts`
atomb Sep 26, 2022
ca6eb3b
Move `MakeApplySuffix` to Expressions.cs
atomb Sep 26, 2022
252dc6e
Rename the internal constructor for the Externs mode
atomb Sep 26, 2022
49f68ba
Finesse the help text for /testContracts
atomb Sep 26, 2022
d69a1b3
Update Options.txt
atomb Sep 26, 2022
eedefdd
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb Sep 26, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge remote-tracking branch 'upstream/master' into contract-wrappers
atomb committed Sep 26, 2022
commit eedefddbb50465e8808ab9f2fd74ab852152109b

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.