Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: GaloisInc/bv-sized

Tags

1.0.6

Toggle 1.0.6's commit message
Bump release version to 1.0.6

1.0.5

Toggle 1.0.5's commit message
Bump version to 1.0.5 for release

1.0.4

Toggle 1.0.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #22 from GaloisInc/release_1_0_4

Updates cabal file and changelog for release

v1.0.3

Toggle v1.0.3's commit message
bv-sized Release 1.0.3

help

Toggle help's commit message
removes -Werror from cabal file

1.0.2

Toggle 1.0.2's commit message
Updates changelog and cabal file for version bump

1.0.1

Toggle 1.0.1's commit message
added note to changelog

1.0.0

Toggle 1.0.0's commit message
added serialization to bytes

0.7.0

Toggle 0.7.0's commit message
added changelog to cabal file

0.6.0

Toggle 0.6.0's commit message
removed -Werror