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.

Sign up for GitHub

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

Jump to bottom

RFC Function Contracts #2620

Merged
merged 41 commits into from
Aug 25, 2023
Merged

RFC Function Contracts #2620

Show file tree
Hide file tree
Changes from 36 commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
306faeb
Function contract RFC first draft
JustusAdam Jul 24, 2023
b027cce
Minor Fixes
JustusAdam Jul 25, 2023
2da02a9
Began rewrite
JustusAdam Jul 26, 2023
10707b6
User experience Section rewrite
JustusAdam Jul 27, 2023
7d837ef
Work on design section
JustusAdam Jul 27, 2023
eeaa4e4
Pass over design
JustusAdam Jul 27, 2023
59909c7
Pass over whole document
JustusAdam Jul 27, 2023
6a79ca1
Conversation fixes
JustusAdam Jul 27, 2023
b4a3d8c
Hopefully all non-assigns/mem-predicates comments
JustusAdam Aug 1, 2023
d0a8a3f
Apply suggestions from code review
JustusAdam Aug 1, 2023
5c11c38
Apply suggestions from code review
JustusAdam Aug 1, 2023
7ea0f5b
A few more I forgot
JustusAdam Aug 1, 2023
1e9c9c9
Memory sections rewritten
JustusAdam Aug 2, 2023
293205a
Rephrase the recursion part
JustusAdam Aug 2, 2023
90280b4
Apply suggestions from code review
JustusAdam Aug 9, 2023
474afc6
Addressing more comments
JustusAdam Aug 9, 2023
c0f08b8
Rename file
JustusAdam Aug 9, 2023
21f3c37
Edit summary
JustusAdam Aug 9, 2023
29b862b
Minor fixes
JustusAdam Aug 9, 2023
43d60c1
More small fixes
JustusAdam Aug 9, 2023
92fbc0e
Added workflow to open questions
JustusAdam Aug 9, 2023
1c3048e
Discussing side effects and expanding on memory predicates
JustusAdam Aug 10, 2023
1212653
Fixing my hasty mistakes
JustusAdam Aug 10, 2023
fb5654d
Expand compositional contracts
JustusAdam Aug 10, 2023
ec5b26d
Addressing the bulk of the comments
JustusAdam Aug 10, 2023
e37d23e
Spellcheck
JustusAdam Aug 16, 2023
61f956a
Spell checks and suggestions
JustusAdam Aug 16, 2023
6b6d371
Apply suggestions from code review
JustusAdam Aug 16, 2023
8dee5ca
Suggestions and expansions
JustusAdam Aug 16, 2023
e76d9e2
More suggestions from review
JustusAdam Aug 17, 2023
728b271
Update rfc/src/rfcs/0009-function-contracts.md
JustusAdam Aug 17, 2023
333ae99
Add the two concerns raised by celina
JustusAdam Aug 17, 2023
439e98b
Merge remote-tracking branch 'fork/main' into contracts-rfc
JustusAdam Aug 17, 2023
472a06e
Merge remote-tracking branch 'origin/contracts-rfc' into contracts-rfc
JustusAdam Aug 17, 2023
bfe8922
Merge remote-tracking branch 'fork/main' into contracts-rfc
JustusAdam Aug 17, 2023
d4e5fdd
Add a comment about `modifies` clauses and patterns
JustusAdam Aug 18, 2023
aa9fba9
Addressing Remi's comments
JustusAdam Aug 19, 2023
a700cd4
Folding in the last comments
JustusAdam Aug 24, 2023
03370a4
Merge branch 'main' into contracts-rfc
JustusAdam Aug 24, 2023
800defe
Rename history variables to history expressions
JustusAdam Aug 24, 2023
8130435
Merge branch 'main' into contracts-rfc
JustusAdam Aug 24, 2023
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
1 change: 1 addition & 0 deletions rfc/src/SUMMARY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,4 @@
- [0006-unstable-api](rfcs/0006-unstable-api.md)
- [0007-global-conditions](rfcs/0007-global-conditions.md)
- [0008-line-coverage](rfcs/0008-line-coverage.md)
- [0009-function-contracts](rfcs/0009-function-contracts.md)
JustusAdam marked this conversation as resolved.
Show resolved Hide resolved
Loading
Loading