Releases: gipsyh/rIC3
Releases · gipsyh/rIC3
v1.3.5
What's Changed
- Update shadow-rs requirement from 0.38.0 to 1.0.0 by @dependabot in #17
- Refactor Transys by @gipsyh in #18
- bump to rust 2024 edition by @gipsyh in #20
- feat(bmc): add bound limit for BMC search by @SeddonShen in #22
New Contributors
- @SeddonShen made their first contribution in #22
Full Changelog: v1.3.4...v1.3.5
Contributors
dependabot, gipsyh, and SeddonShen
Assets 2
v1.3.4
What's Changed
- support simple path constraint in k-ind by @gipsyh in #15
- Support old version aiger by @Gy-Hu in #12
- Update shadow-rs requirement from 0.37.0 to 0.38.0 by @dependabot in #13
- Update rand requirement from 0.8.5 to 0.9.0 by @dependabot in #14
- Support compiling on MacOS
Full Changelog: v1.3.3...v1.3.4
Contributors
dependabot, gipsyh, and Gy-Hu
Assets 2
v1.3.3
What's Changed
- Update shadow-rs requirement from 0.34.0 to 0.37.0 by @dependabot in #10
- Update nix requirement from 0.27.1 to 0.29.0 by @dependabot in #9
- Update bitfield-struct requirement from 0.8.0 to 0.10.0 by @dependabot in #8
- Update process_control requirement from 4.1.0 to 5.0.0 by @dependabot in #7
New Contributors
- @dependabot made their first contribution in #10
Full Changelog: v1.3.2...v1.3.3
Contributors
dependabot