search

fsainas / contracts-verification-benchmark

An open benchmark for evaluating smart contracts verification tools.
10 stars 5 forks source link

Halmos, hevm? Also, there's another benchmark set that could be integrated I think! #67

Open msooseth opened 6 months ago

msooseth commented 6 months ago

Hi,

I saw your paper, nice! I think it's missing hevm and Halmos as a comparison, even though I think they are interesting?

https://github.com/a16z/halmos/ https://github.com/ethereum/hevm

Also, we have a benchmark set here:

https://github.com/eth-sc-comp/benchmarks

Maybe it'd be possible to merge/integrate the two?

Mate

fsainas commented 6 months ago

Hi Mate,

Both projects look interesting, it'd be great to see them integrated into the benchmark.

We'll certainly explore your benchmark further to understand how we can merge them effectively.

Thank you!