Skip to content

v0.2
Compare
Choose a tag to compare
@ivg ivg released this 16 May 15:53
· 22 commits to master since this release
v0.2
06ad225
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

  • modifies the small step operational semantics to enable progression
    Some of the rules were expecting a one step transformation to a value, that let to their stucking.
    This is fixed by providing corresponding step rules. (see #2 for more information)

  • simplifies the environment handling.
    Now let expressions do not update the environment but are expressed via substitution (that corresponds directly to the current implementation in bap)

  • new ~>* rule that is a closure of ~> to make it easy to use reduction on the stmt level
    (also introduced in #2)

  • compatibility with the new version of ott (#1)

  • revamped build system (#1)

Big thanks to @ccasin, for the contribution.

Assets 3
Loading