Skip to content

v0.3.1.0
Compare
Choose a tag to compare
@lsrcz lsrcz released this 20 Jul 05:46
· 596 commits to main since this release
v0.3.1.0
824abd9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Added

  • Added support to Data.Text. (#95)
  • Added Arbitrary instances for bit vectors. (#97)
  • Added pretty printers for Grisette data types. (#101)
  • Added ExtractSymbolics instances for tuples longer than 2. (#103)

Fixed

  • Fixed the Read instance for bit vectors. (#99, #100)
Assets 2
Loading