Changelog of @hackage/grisette 0.2.0.0

Changes

Redesigned symbolic value interface.
- Sym Bool/Sym Integer, etc., are no longer available and are replaced with SymBool and SymInteger. (#41)
- New symbolic bit vector interface. Added unsized bit vector. (#41)
Add term size count API. (#48, #53)
Add timeout to solver interface. (#49, #50)
Add parallel do-notation for parallel symbolic compilation. (#51)
New safe operator interfaces. (#56)

Dropped merging cache for UnionM. This fixed some segmentation fault errors. (#43)
Added some missing instances for symbolic values and bit vectors. (#46, #61)
Fix CEGIS when no symbolic input is present. (#52)
Fix overlapping ToSym and ToCon instances. (#54)
Fix uninterpreted function lowering. (#57, #58)
Add missing instances for MonadFresh and FreshT. (#59)
Fix CEGIS crash when subsequent solver calls introduces new symbolic constant. (#60)

Initial release.