Repository navigation
2.6.0 Preview 3
Pre-release
Pre-release
What's Changed
- Parametric Sort by @Shoooooon in #111
- ArraysEx and Parametric Sorts in Function Ranks by @kjcjohnson in #112
- Support "intrinsic" declarations by @kjcjohnson in #114
- Add option to disable legacy symbols in CHC JSON events by @kjcjohnson in #115
- Add the (experimental cvc5) theory of sequences by @kjcjohnson in #116
- Add option for term annotations in s-expression format by @kjcjohnson in #118
New Contributors
- @Shoooooon made their first contribution in #111
Full Changelog: v2.5.0...v2.6.0-preview3
Contributors
kjcjohnson and Shoooooon