Solidity Frontend

[ChenfengWei1]

The solidity front-end has a lot of TODOs at the moment, which will obviously affect the progress of this project. The TODOs:

• Type Conversion: almost done
• Bytes and memory: important yet not easy to construct
• Built-in Functions: most important. It might take a lot of time to construct. Is there a way to directly use the definition in the library? Otherwise it will be tough to construct.
• Pattern-based filter: easy to construct but very very useful

[ChenfengWei0]

highest priority: https://github.com/JohnLindonRobinson/esbmc-sbms