Skip to content
Open
Changes from 1 commit
Commits
Show all changes
112 commits
Select commit Hold shift + click to select a range
983e275
chore: add full invariant suite (handlers, hooks, specs, replays, REA…
vnmrtz Oct 8, 2025
25693d4
chore: failing replays, adnvanced setup, ci workflow, coverage
vnmrtz Oct 23, 2025
43b4ddd
Merge branch 'main' into enigma-dark-invariant-suite
vnmrtz Oct 23, 2025
576020e
chore: test ci gh app setup
vnmrtz Oct 23, 2025
ca48003
chore: change corpus repo
vnmrtz Oct 23, 2025
f89d40d
chore: change corpus repo
vnmrtz Oct 23, 2025
3e95511
fix: set x-access-token
vnmrtz Oct 23, 2025
ac2583d
fix: typo on compile path
vnmrtz Oct 23, 2025
a8b91ce
fix: crytic args
vnmrtz Oct 23, 2025
b73826d
chore: move crytic-args to config file
vnmrtz Oct 23, 2025
4f063ff
chore: add --ignore-compile flag
vnmrtz Oct 23, 2025
4b69f73
chore: optimize ci workflowe
vnmrtz Oct 23, 2025
f6f6956
chore: optimize workflow
vnmrtz Oct 23, 2025
d840de9
chore: change workflow name
vnmrtz Oct 23, 2025
346931d
chore: integrate configurators, filter replays
vnmrtz Oct 24, 2025
35388da
fix: change ci corpus reference
vnmrtz Oct 24, 2025
8a48e88
fix: change ci corpus reference
vnmrtz Oct 24, 2025
768112f
fix: switch runner to aave-latest
vnmrtz Oct 24, 2025
7fcec49
chore: refactor
vnmrtz Dec 21, 2025
f400956
chore: hub suite
vnmrtz Dec 22, 2025
fbde0fe
chore: fix wrong reserveid invariants wrapper
vnmrtz Dec 22, 2025
8f1a43b
Merge v0.5.6 into enigma-dark-invariant-suite
vnmrtz Dec 22, 2025
05a0e1e
rebase
vnmrtz Dec 22, 2025
dce578e
chore: coverage restore, refreshpremium, reportdeficit
vnmrtz Dec 23, 2025
1e3aadf
chore: swep and reclaim coverage
vnmrtz Dec 23, 2025
96572e9
chore: add 4626, roundtrip and availability properties
vnmrtz Dec 27, 2025
ac737c6
chore: add hub suite rountrip replays
vnmrtz Dec 27, 2025
eaa7ce7
chore: debug replays_6 and fix hub handler assertions
vnmrtz Dec 28, 2025
b14a08e
chore: fix invariant assertions
vnmrtz Jan 8, 2026
caec11b
chore: cleanup debug artifacts
vnmrtz Jan 8, 2026
ded9a96
chore: invariants tightening
vnmrtz Jan 13, 2026
f110334
chore: debug replays
vnmrtz Jan 15, 2026
2cc3e90
chore: clean up replays
vnmrtz Jan 15, 2026
66ec557
chore: improve test_replay_7_repay description
vnmrtz Jan 15, 2026
b051328
Merge remote-tracking branch 'aave/main' into enigma-dark-invariant-s…
DhairyaSethi Feb 10, 2026
d0012be
chore: lint
DhairyaSethi Feb 10, 2026
d8ab561
Merge remote-tracking branch 'aave/main' into enigma-dark-invariant-s…
DhairyaSethi Feb 17, 2026
a26d6a7
chore: checkpoint
DhairyaSethi Feb 17, 2026
1a02aa7
chore: debug
DhairyaSethi Feb 17, 2026
f909853
feat: foundry-invariants working
DhairyaSethi Feb 17, 2026
00e460f
chore: lint
DhairyaSethi Feb 17, 2026
5e612c7
chore: move invariants to separate dir, hopefully tmp
DhairyaSethi Feb 17, 2026
701b7bb
fix: cleanup, new inv, medusa fixes
DhairyaSethi Feb 24, 2026
047c518
chore: ci cleanup
DhairyaSethi Feb 24, 2026
1f36d03
chore: ci cleanup
DhairyaSethi Feb 24, 2026
defc15c
chore: ci cleanup
DhairyaSethi Feb 24, 2026
f881f98
chore: revert deploy utils, target ci
DhairyaSethi Feb 25, 2026
8d35446
chore: run specified file
DhairyaSethi Mar 2, 2026
1460bbb
chore: force precompile so it picks up correct profile
DhairyaSethi Mar 2, 2026
33c5dc7
Merge remote-tracking branch 'aave/main' into test/inv
DhairyaSethi Mar 2, 2026
358cf00
chore: adapt to latest
DhairyaSethi Mar 2, 2026
5ab024e
chore: rm unnecessary
DhairyaSethi Mar 2, 2026
c623ef3
chore: rm create2
DhairyaSethi Mar 2, 2026
e9f047c
chore: typo
DhairyaSethi Mar 2, 2026
3759bf0
chore: fix failing hub invariants
DhairyaSethi Mar 2, 2026
5acd24e
chore: grant spoke3 deficit eliminator role
DhairyaSethi Mar 2, 2026
2d560be
fix: more inv
DhairyaSethi Mar 2, 2026
9e2ae79
fix: sum of all invariants by accounting for burnt interest
DhairyaSethi Mar 2, 2026
bf392bc
chore: fix premium cond
DhairyaSethi Mar 2, 2026
ef40cc7
feat: broader refresh premium target
DhairyaSethi Mar 2, 2026
f2a8d4d
temp: clamp ci normal tests
DhairyaSethi Mar 2, 2026
2e8c353
feat: fuzz parser utility
DhairyaSethi Mar 2, 2026
7ccbdb4
feat: run for longer
DhairyaSethi Mar 2, 2026
e6a663f
fix: update workflow name to Echidna-Invariants-Hub
DhairyaSethi Mar 2, 2026
2a3f7bc
feat: hub cleanup
DhairyaSethi Mar 3, 2026
e4e835b
feat: begin protocol suite cleanup
DhairyaSethi Mar 3, 2026
2d7ac81
chore: fix compile
DhairyaSethi Mar 3, 2026
07fdc96
feat: cleanup + new users invariant
DhairyaSethi Mar 4, 2026
5586fba
chore: update docs
DhairyaSethi Mar 4, 2026
8720895
feat: fix 4626 rt handlers
DhairyaSethi Mar 4, 2026
dc112ba
fix: liq fee handler
DhairyaSethi Mar 4, 2026
ec164d6
chore: fix minting
DhairyaSethi Mar 4, 2026
17d3dc9
fix: unnecessary cached target asset id
DhairyaSethi Mar 4, 2026
644ed1a
chore: reword low level ret vars
DhairyaSethi Mar 4, 2026
7a2c1bb
chore: minor cleanup
DhairyaSethi Mar 4, 2026
385a675
feat: safe mint for spoke
DhairyaSethi Mar 4, 2026
2fea6f3
chore: group invariants
DhairyaSethi Mar 4, 2026
b620f5a
chore: suppress compiler warning
DhairyaSethi Mar 4, 2026
83769cc
chore: naming consistency
DhairyaSethi Mar 4, 2026
18cc79f
chore: fill interfaces
DhairyaSethi Mar 4, 2026
cdd364d
chore: fix configurator roles
DhairyaSethi Mar 4, 2026
6427e1c
fix: add new solvency invariants
DhairyaSethi Mar 4, 2026
9d83eea
chore: fix compile
DhairyaSethi Mar 4, 2026
5b33ae4
feat: set user posm to handler
DhairyaSethi Mar 4, 2026
03c8bfc
chore: abstract duplicated helpers
DhairyaSethi Mar 4, 2026
15f1c05
fix: use premiumRay
DhairyaSethi Mar 4, 2026
c3e8026
chore: cleanup
DhairyaSethi Mar 4, 2026
5a26b20
feat: expand spoke configurator
DhairyaSethi Mar 4, 2026
9a92a86
fix: include deficit in drawCap
DhairyaSethi Mar 4, 2026
5400b4c
feat: bound and improve fuzzer capacity on hub configurator handler a…
DhairyaSethi Mar 4, 2026
ecfaaa5
chore: fix compile
DhairyaSethi Mar 4, 2026
fe5f6bb
chore: cleanup
DhairyaSethi Mar 4, 2026
7406934
ci: run echidna in exploration mode as well
DhairyaSethi Mar 4, 2026
f8325f2
ci: add medusa
DhairyaSethi Mar 4, 2026
4ac3dba
ci: install slither
DhairyaSethi Mar 4, 2026
4b2fb0d
fix: failing post hook
DhairyaSethi Mar 4, 2026
98a3122
ci: inc medusa runs
DhairyaSethi Mar 4, 2026
8970059
ci: run on 5h timeout
DhairyaSethi Mar 4, 2026
add9c16
chore: cleanup
DhairyaSethi Mar 4, 2026
a8f06ce
ci: fix echidna run
DhairyaSethi Mar 4, 2026
f2bfede
chore: license cleanup
DhairyaSethi Mar 5, 2026
5daa74d
fix: mint fee shares handler
DhairyaSethi Mar 5, 2026
30ce5d5
fix: treasury spoke handler
DhairyaSethi Mar 5, 2026
83023af
feat: hub admin handler
DhairyaSethi Mar 5, 2026
2349920
Merge remote-tracking branch 'aave/main' into test/inv
DhairyaSethi Mar 5, 2026
5135794
chore: adapt to latest
DhairyaSethi Mar 5, 2026
ff8da5e
chore: upload artifacts
DhairyaSethi Mar 6, 2026
6e95358
fix: setUserPositionManager handler
DhairyaSethi Mar 6, 2026
6e3b200
tmp: run ci for 1 hour
DhairyaSethi Mar 6, 2026
849af57
chore: whitespace
DhairyaSethi Mar 6, 2026
5fa65fe
feat: run invariants with foundry
DhairyaSethi Mar 6, 2026
f80ad64
chore: reduce foundry runs to be under 6h run
DhairyaSethi Mar 11, 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
Prev Previous commit
Next Next commit
fix: change ci corpus reference
  • Loading branch information
vnmrtz committed Oct 24, 2025
commit 35388da4d45e176f70ecfc973a629181ef77d69d
2 changes: 1 addition & 1 deletion .github/workflows/enigma-dark-invariants.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:
- name: Clone Corpus
id: clone-corpus
run: |
git clone https://x-access-token:${{ steps.app-token.outputs.token }}@github.com/Enigma-Dark/aave-v4-invariants-corpus.git corpus
git clone https://x-access-token:${{ steps.app-token.outputs.token }}@github.com/${{ github.repository_owner }}/aave-v4-invariants-corpus.git corpus
echo "sha=$(git -C corpus rev-parse HEAD)" >> $GITHUB_OUTPUT

- name: Cache corpus
Expand Down