Development
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
Last updated -8