Skip to content

feat(contracts): implement overflow-safe math library with formal ver…#544

Merged
Smartdevs17 merged 1 commit into
Smartdevs17:mainfrom
bashir1738:feat/overflow-safe-math-library
Jun 28, 2026
Merged

feat(contracts): implement overflow-safe math library with formal ver…#544
Smartdevs17 merged 1 commit into
Smartdevs17:mainfrom
bashir1738:feat/overflow-safe-math-library

feat(contracts): implement overflow-safe math library with formal ver…

f300cc3
Select commit
Loading
Failed to load commit list.
GitGuardian / GitGuardian Security Checks succeeded Jun 26, 2026 in 32s

No secrets detected ✅

1 commit was scanned without uncovering any secrets.

Details

Commit scanned: 1

  • Pull request #544: feat/overflow-safe-math-library 👉 main

🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.