Skip to content

Covenant Declarations #47

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

Merged
someone235 merged 40 commits into from
Mar 9, 2026
Merged

Covenant Declarations #47

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
c269f11
covenant declaration proposal md
michaelsutton Feb 23, 2026
2fc1afb
fix for loops
michaelsutton Feb 23, 2026
3f9248f
use ```js
michaelsutton Feb 23, 2026
9186501
cargo lock
michaelsutton Mar 1, 2026
b898cd7
allow args on predicate mode
michaelsutton Mar 1, 2026
5e24e9f
wip
michaelsutton Mar 4, 2026
78403e1
improve defaults so only num ins/outs is needed
michaelsutton Mar 5, 2026
2adf199
singleton/fanout as sugar
michaelsutton Mar 5, 2026
b56210e
security tests (wip)
michaelsutton Mar 5, 2026
7130ae7
more tests + compiler fix
michaelsutton Mar 5, 2026
1fa8e9e
test(compiler): add regression for selector dispatch with contract fi…
michaelsutton Mar 5, 2026
a67d636
impl full validateOutputState checks
michaelsutton Mar 5, 2026
5561f7a
fmt
michaelsutton Mar 5, 2026
46ef618
minimize delegate logic and change ast tests to verify against expect…
michaelsutton Mar 5, 2026
296bb68
predicate -> verification
michaelsutton Mar 5, 2026
df546ad
impl proper transition
michaelsutton Mar 5, 2026
7552f9d
termination
michaelsutton Mar 5, 2026
d6d8447
verify verification shape
michaelsutton Mar 5, 2026
b06de51
verify transition shape
michaelsutton Mar 5, 2026
7f36b81
restructure modules
michaelsutton Mar 5, 2026
a44ae46
Merge remote-tracking branch 'origin/master' into decl
michaelsutton Mar 5, 2026
c73503c
cleanup 4-args for prep
michaelsutton Mar 5, 2026
c8bdec4
fix merge artifact
michaelsutton Mar 5, 2026
3ca549a
cleanup DECL
michaelsutton Mar 5, 2026
3474a7b
cleanup security tests
michaelsutton Mar 5, 2026
efc94ae
refactor shapes and extend ast tests
michaelsutton Mar 5, 2026
ea1c36b
add extended ast tests
michaelsutton Mar 5, 2026
a9d20cc
minor
michaelsutton Mar 5, 2026
650e1c2
clippy fixes
michaelsutton Mar 5, 2026
59252e0
fix debug tests
michaelsutton Mar 5, 2026
e3e9220
Merge remote-tracking branch 'origin/master' into decl
michaelsutton Mar 6, 2026
5fb112e
implement ast visitor (as useful utility) and use it for robust ast c…
michaelsutton Mar 8, 2026
aea8aef
Merge branch 'master' into decl
michaelsutton Mar 8, 2026
57e0924
clippy
michaelsutton Mar 8, 2026
cd76d05
Merge remote-tracking branch 'origin/master' into decl
someone235 Mar 8, 2026
dddfd71
Use State structs for cov declarations
someone235 Mar 8, 2026
6e26c9f
Add lowers_many_covenant_declarations_in_one_contract_to_expected_wra…
someone235 Mar 8, 2026
33ea9da
Make more native AST struct support and add build_sig_script_for_cove…
someone235 Mar 9, 2026
64e75dc
Change __leader and __delegate to be prefix instead of suffix
someone235 Mar 9, 2026
2c65c78
fmt
someone235 Mar 9, 2026
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
59 changes: 29 additions & 30 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading