7. CHANGELOGΒΆ

This project adheres to Semantic Versioning.

[0.2.0] - 2020-11-10

  • initial draft of CTG

  • parallelization support added

  • random solvers can be used

  • support rv32/64imc instructions

  • docs updated

[0.1.0] - 2020-07025

  • initial draft