Add incremental SMT2 sort checked construction of bit vector predicate application and application of core theory functions#6256
Merged
thomasspriggs merged 10 commits intodiffblue:developfrom Aug 4, 2021
Commits
Commits on Jul 30, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
