Skip to content

2.1.0

Choose a tag to compare

View all tags
@aleksnanevski aleksnanevski released this 17 Jan 14:32
· 11 commits to master since this release
v2.1.0
b6c4102
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • A new minor release to support Hierarchy Builder 1.8 and coq-fcsl-pcm v2.1.0
  • Added lemma for backward symbolic execution (bnd_vrf) in htt/model.v
  • Added makefiles to build packages (suggested by Karl Palmskog).
Assets 2
Loading