Skip to content

Releases: ChristianMoesl/btor2tools-sys

Release list

v1.1.0

v1.1.0 Latest
Latest

Choose a tag to compare

View all tags
@ChristianMoesl ChristianMoesl released this 09 Nov 14:26
v1.1.0
8c034e5

What's Changed

  • fix: rust-bindgen ident issue by @NgaiJustin in #2
  • feat: update btor2tools to latest version

Full Changelog: v1.0.0...v1.1.0

Contributors

NgaiJustin
Assets 2
Loading

v1.0.0

v1.0.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 Nov 16:38
v1.0.0
c0c3e7b

1.0.0 (2020-11-15)

Features

  • export parser FFI bindings only for the moment (c4f08dc)
Loading