What's Changed
- Ignore some tests with cvc5 because they now require
--arrays-expflag by @samuelchassot in #1763 - docs: add docs about refinement types by @kasiaMarek in #1760
- Add golden-file snapshots of generated C to GenCSuite by @mbovel in #1759
- Add a new UInt31 type in the library, add refinement types compilation option everywhere by @samuelchassot in #1761
- Add a CI job to build and publish the documentation by @samuelchassot in #1764
- bump solvers by @samuelchassot in #1767
Full Changelog: v0.10.0...v0.10.1