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

Support for user-defined preconditions #662

Draft
wants to merge 28 commits into
base: master
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
44c6e7d
First draft for precondition parsing
palinatolmach Jul 2, 2024
5049c82
Set Version: 0.1.332
Jul 2, 2024
37aa648
Merge branch 'master' into natspec-precondition
palinatolmach Jul 2, 2024
b024611
Fixing some code quality issues
palinatolmach Jul 2, 2024
339b8f8
Merge branch 'master' into natspec-precondition
palinatolmach Jul 3, 2024
d92e45c
Set Version: 0.1.334
Jul 3, 2024
d4ba930
Merge branch 'master' into natspec-precondition
palinatolmach Jul 5, 2024
be44d64
Set Version: 0.1.341
Jul 5, 2024
685771b
Merge branch 'master' into natspec-precondition
palinatolmach Jul 8, 2024
b66afd8
Set Version: 0.1.345
Jul 8, 2024
faefd9e
Merge branch 'master' into natspec-precondition
palinatolmach Jul 30, 2024
b8090a6
Merge branch 'master' into natspec-precondition
palinatolmach Jul 31, 2024
200c627
Init antlr4 grammar for parsing annotations
palinatolmach Aug 1, 2024
8d1130a
Merge branch 'master' into natspec-precondition
palinatolmach Aug 1, 2024
ce6ae3d
Update `poetry.lock`, silence mypy warnings
palinatolmach Aug 1, 2024
5444f37
Add a simple precondition test
palinatolmach Aug 1, 2024
3d54e0d
More code quality fixes
palinatolmach Aug 1, 2024
a49c2fa
Minor comment cleanup
palinatolmach Aug 2, 2024
8561233
Merge branch 'master' into natspec-precondition
palinatolmach Aug 5, 2024
2e9ae80
Merge branch 'master' into natspec-precondition
palinatolmach Aug 7, 2024
f389f89
Merge branch 'master' into natspec-precondition
palinatolmach Aug 7, 2024
efdbded
Updated grammar to include `contractName.varName`; moved annotation p…
palinatolmach Aug 7, 2024
94c4873
Support `contractName.variableName` constraints
palinatolmach Aug 7, 2024
92326a7
Added support for `**` and a few more arithmetic ops
palinatolmach Aug 7, 2024
656f213
Merge branch 'master' into natspec-precondition
palinatolmach Aug 9, 2024
f0c310b
`poetry lock` update
palinatolmach Aug 9, 2024
fbc481c
Merge branch 'master' into natspec-precondition
palinatolmach Aug 9, 2024
76e9428
Merge branch 'master' into natspec-precondition
palinatolmach Aug 11, 2024
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
Next Next commit
Merge branch 'master' into natspec-precondition
  • Loading branch information
palinatolmach committed Jul 2, 2024
commit 37aa648b8fe84d249e9358eb080552953b50709c

This merge commit was added into this branch cleanly.

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