What's Changed
- Remove DiscreteDomain undefined behavior by @tpadioleau in #853
- Add an explanation about the multiple licenses by @tpadioleau in #859
- Include headers relative to -I by @tpadioleau in #675
- Add assertions when slicing by @tpadioleau in #860
- Update first_steps.md by @tpadioleau in #863
Full Changelog: v0.7.0...v0.8.0
Contributors
tpadioleau