Skip to content

feat: add external call return-value and returndata safety analysis - #110

Merged
Manuelshub merged 2 commits into
StellarChainproof:masterfrom
tunmisedasa:feat/returndata-safety-analysis-81
Aug 30, 2026
Merged

feat: add external call return-value and returndata safety analysis#110
Manuelshub merged 2 commits into
StellarChainproof:masterfrom
tunmisedasa:feat/returndata-safety-analysis-81

Merge branch 'master' into feat/returndata-safety-analysis-81

71bcc89
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Unit & Integration Tests
succeeded Aug 29, 2026 in 40s