Jingchen 7281e0606a feat: Add vault invariants (#7732) ...

Co-authored-by: Vito Tumas <5780819+Tapanito@users.noreply.github.com>
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

2026-08-27 17:15:17 +00:00

..

invariants

feat: Add vault invariants (#7732)

2026-08-27 17:15:17 +00:00

paths

fix: Assorted MPT/DEX fixes (#7299)

2026-08-11 18:15:51 +00:00

transactors

fix: Check credential for LoanBrokerCoverWithdraw and VaultWithdraw (#7107)

2026-08-20 15:33:46 +00:00

apply.h

style: Unify style for all Doxygen comments (#7776)

2026-07-13 10:40:40 +00:00

ApplyContext.h

refactor: Extract invariant invocation into free checkInvariants runner (#7404)

2026-08-19 14:10:11 +00:00

applySteps.h

style: Unify style for all Doxygen comments (#7776)

2026-07-13 10:40:40 +00:00

SignerEntries.h

build: Add verify-headers target to cleanup headers (#7670)

2026-07-01 23:14:17 +00:00

Transactor.h

refactor: Extract invariant invocation into free checkInvariants runner (#7404)

2026-08-19 14:10:11 +00:00