Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Solidity syntax that supports all the example solidity files #3

Closed ovatman closed 1 month ago

ovatman commented 1 month ago

This PR contains a syntax module implementation to support all the solidity exxamples present in the solidity-examples repository

Also contained, a makefile to test with each set of examples, via standart kast and by generating a bison parser.