Releases: cvc5/cvc5-rs
Releases · cvc5/cvc5-rs
v0.3.2
What's Changed
- improve parser organization by @HuStmpHrrr in #33
- bump version 0.3.2 by @HuStmpHrrr in #34
- fix release script by @HuStmpHrrr in #36
Full Changelog: v0.3.1...v0.3.2
v0.3.1
What's Changed
- add functions that could take NULL string by @HuStmpHrrr in #26
- bump version 0.3.1 by @HuStmpHrrr in #27
- Update cvc5-sys build.rs to simply copy over prebuilt bindings when building on doc.rs by @chaluli in #29
- properly bump the version by @HuStmpHrrr in #30
This release should also fix doc.rs.
New Contributors
Full Changelog: v0.3.0...v0.3.1
v0.3.0
What's Changed
- return Options for functions that are documented to return NULL pointers by @HuStmpHrrr in #24
- export missing symbols by @HuStmpHrrr in #22
- bump version to 0.3 by @HuStmpHrrr in #23
Full Changelog: v0.2.0...v0.3.0
v0.2.0
What's Changed
- make the crates actually publishable to crates.io by @HuStmpHrrr in #17
- use interior mutability for TermManager by @HuStmpHrrr in #18
- allow to take prebuilt cvc5 by @HuStmpHrrr in #19
- bump version by @HuStmpHrrr in #20
- Update cvc5-rs dependency version in README by @HuStmpHrrr in #21
Full Changelog: https://github.com/cvc5/cvc5-rs/commits/v0.2.0