Adding benchmarks from Verus (a Rust Verification tool)#12

Merged

hansjoergschurr merged 6 commits into

SMT-LIB:mainfrom

Apr 17, 2025

Commits on Apr 13, 2025

adding Verus benchmarks
Amar Shah
committed
Merge branch 'SMT-LIB:main' into main
amarshah1
authored

Commits on Apr 16, 2025

reorganized folders
Amar Shah
committed
selected a third of the total benchmarks
Amar Shah
committed
Merge branch 'main' of github.com:amarshah1/benchmark-submission-2025 into main
Amar Shah
committed
removed one duplicated benchmark
Amar Shah
committed