Release v1.1.4 - Renaming AbsKnob namespace

• Renaming Absknob to absknob
• Ilator bug fix

Release v1.1.3 - ILA unroller with unified SMT support

• New PathUnroller that takes templated SmtShim for broader SMT support
• Bug fixes in smt-switch interface

Release v1.1.2 - unified SMT interface

• New SmtShim to provide a unified interface for both z3 and smt-switch.
• Update smt-switch interface for their new releases.
• New pass SanityCheckAndFix for checking instruction set completeness and determinism (hierarchically).
• Unify ExprFuse and ast_fuse into namespace asthub

v1.1.1

• New pass SimplifySyntactic
• ILAtor support for initial condition setup using SMT queries
• ILAtor bug fix in cascaded conditional memory update
• Unroller support external interpretation of uninterpreted function
• Redesign expression node hashing (ExprMngr)

Scalable SysC sim. gen. and SMT unrolling

• New SystemC simulator generator for larger-scaled ILA models.
• More utilities for program fragment unrolling.

ILAtor CMake support

• Support CMake build system for ILAtor generated simulators.
• Performance profiling and improvements.
• Regular maintenance and bug fixes.

Release version 1.0.0

The first release of ILAng. Including

• ILA modeling
• Importing from ItSy (synthesized abstraction)
• Importing/exporting ILA portables
• Exporting ILA to Verilog
• Unrolling and exporting ILA to SMT
• Generate verification targets based on the provided refinement relation

pre-release of v1.0.0

This pre-release is meant for a checkpoint as published in the TACAS19 paper. There should only be minor differences (no additional key feature supports) w.r.t. the coming v1.0.0 release.