Look for benchmarks for IMP, python-esque language, Solidity, EVM.

[nishantjr]

• Supporting Vector Machine example in IMP
• Generate proof using the previous prototype.

[fiedlr]

The benchmarks from oopsla that we agreed to with @xc93 :

1. SUM
2. SVM
3. Solidity transfer function (we should do inlining because imp doesn't support function calls)

[fiedlr]

I started the implementation here:

https://github.com/fiedlr/k-proof-generation/tree/main/examples

[fiedlr]

Both SUM and SVM5 are working now, including proof generation. Tested in the Docker version for the OOPSLA publication.