CHANGES.md

0.3.1 (2025-02-06)

• make offline lifter emit cvt-bool-bv instead of ite (now never emits IfExpr)
• remove eq_enum from offline lifter output

0.3.0 (2025-02-04)

• Partial evaluator and offline-lifter-generator

0.2.0 (2020-05-15)

• Handle more of Arm's specs (make grammar, etc. more flexible)
• Split libASL out from ASLi to make it easier to reuse parts of ASLi in other tools.
• Changed to semantic numbering system (i.e., 3-part format).
• Internal change to using Dune build system. This replaces the ocamlfind dependency with a dune dependency.

0.1 (2020-01-01)

• Added support for loading ELF files and executing binaries.

0.0 (2019-08-30)

Initial release of ASLi supporting

• loading ASL specifications
• evaluating expressions and statements