Changes

Version 0.2.0.0

Feature

• 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)

Bugfix

• 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)

Version 0.1.0.0

Initial release.