What's Changed
- Fix UB from precondition violations caught in rust 1.78 by @tirix in #159
- Update cli help by @icecream17 in #158
- List stmt by @tirix in #150
- HTML validation in verify markup by @digama0 in #157
- Upd cli help by @tirix in #167
- dump formulas as s-exprs by @digama0 in #169
- --verify-parse-stmt does nothing by @digama0 in #171
Full Changelog: v0.3.8...v0.3.9
Contributors
digama0, tirix, and icecream17