v3.22.0

shashi released this 24 Mar 06:03

· 687 commits to master since this release

4fa6e63

SymbolicUtils v3.22.0

Diff since v3.21.0

Merged pull requests:

fix: remove Metatheory from benchmark environment (#721) (@AayushSabharwal)
feat: optimize small arrays in BasicSymbolic (#723) (@AayushSabharwal)
Bump minor (#724) (@bowenszhu)

Contributors

AayushSabharwal and bowenszhu

Assets 2