ILAng is released under the MIT License, please ensure all use of this platform follows the requirements.
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