lity
lity copied to clipboard
second-state
A rule-based contract-oriented high-level language.
### Checklist - [ ] Code compiles correctly - [ ] All tests are passing - [ ] New tests have been created which fail without the change (if possible)...
Does lity support centos 7? I am prompted to not support the Linux distribution when I install it. 
Should check EVM version parameter when codegen Lity-only instruction set. Currently, these functions have never been used. https://github.com/second-state/lity/blob/4f90b5fc93f7f87dd99c040df7ce0716ffd4b9c4/libsolidity/interface/EVMVersion.h#L80-L83
Metadata
Owner
Metadata
A rule-based contract-oriented high-level language.