https://github.com/rari-capital/nova-invariants

Formal verification and fuzzing of Nova with DappTools.
https://github.com/rari-capital/nova-invariants

Last synced: 2 months ago
JSON representation

Formal verification and fuzzing of Nova with DappTools.

• Host: GitHub
• URL: https://github.com/rari-capital/nova-invariants
• Owner: Rari-Capital
• License: agpl-3.0
• Created: 2021-09-12T19:36:09.000Z (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2021-09-26T00:34:57.000Z (over 2 years ago)
• Last Synced: 2024-01-21T18:48:09.665Z (5 months ago)
• Language: Solidity
• Size: 20.5 KB
• Stars: 5
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-dapptools - Nova Invariants