Development

License

ILAng is released under the MIT License, please ensure all use of this platform follows the requirements.

Contribute

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