ILAng is released under the MIT License, please ensure all use of this platform follows the requirements.
We welcome every contribution that makes this platform better. Please take a look at CONTRIBUTING and CODE_OF_CONDUCT.
Below is a selected list of features that we'd like to have in the future. Help wanted!
- Advanced AST expression optimization, e.g., functional reduction, equivalence merging, etc.
- Executable simulator generation of ILA models
- Python API for ILAng (along with the ItSy Python API)
- Support for more SMT solvers besides z3