A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
We don't have any news articles linked to SAW yet. If you know of an article or resource about this project, let us know.
Last 6 months · Weekly commits
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Parser for the llvm bitcode format
Top-level repository including all relevant BESSPIN repository
Repository for the HARDENS project
Helps you trek through your code forest and generate logs.
Benchmark suite for helping evaluate how AIs perform on formal verification related tasks