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.

List of TODO features

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