Skip to content

Latest commit

 

History

History
23 lines (15 loc) · 541 Bytes

CHANGES.md

File metadata and controls

23 lines (15 loc) · 541 Bytes
Raw

0.1.1 (unreleased)

  • 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.
  • Split libASL out from ASLi to make it easier to reuse parts of ASLi in other tools.

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