GaloisInc/bv-sized issues and pull requests

#30 - please allow random-1.3

Issue - State: open - Opened by juhp about 1 month ago - 1 comment

#29 - Allow building with `bytestring-0.12.`, `deepseq-1.5.`, and `tasty-1.5.*`

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#28 - Bump version to 1.0.5 for release

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago

#27 - Support building with GHC 9.4

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago

#26 - Allow MonadRandom 0.6

Pull Request - State: closed - Opened by felixonmars over 2 years ago

#25 - Adds Lift, NFData and Hashable instances for SignedBV and UnsignedBV

Pull Request - State: closed - Opened by lsrcz over 2 years ago - 1 comment

#24 - Update tasty-hedgehog

Pull Request - State: closed - Opened by travitch over 2 years ago - 1 comment

#23 - Support `tasty-hedgehog-1.2.*`

Issue - State: closed - Opened by RyanGlScott almost 3 years ago

#22 - Updates cabal file and changelog for release

Pull Request - State: closed - Opened by benjaminselfridge almost 3 years ago

#21 - Allow building with GHC 9.2

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#20 - Make BV a newtype

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment

#19 - Unsigned/Signed functions

Pull Request - State: open - Opened by benjaminselfridge almost 4 years ago - 1 comment

#18 - re-add Enum and Ix instances for BV

Pull Request - State: closed - Opened by Ptival almost 4 years ago - 2 comments

#17 - add concatMany

Pull Request - State: open - Opened by Ptival almost 4 years ago - 4 comments

#16 - remove redundant parentheses

Pull Request - State: closed - Opened by Ptival almost 4 years ago - 1 comment

#15 - Deprecate trunc' in favor of zresize and sresize

Pull Request - State: closed - Opened by benjaminselfridge almost 4 years ago - 2 comments

#14 - Release 1.0.3

Pull Request - State: closed - Opened by benjaminselfridge almost 4 years ago

#13 - Random instance and other tweaks

Pull Request - State: closed - Opened by benjaminselfridge almost 4 years ago - 1 comment

#12 - various linting suggestions

Pull Request - State: closed - Opened by Ptival almost 4 years ago

#11 - tighter, cleaner imports

Pull Request - State: closed - Opened by Ptival almost 4 years ago - 1 comment

#10 - Allow tasty-hedgehog 1.1

Pull Request - State: closed - Opened by felixonmars almost 4 years ago - 1 comment

#9 - Allow tasty 1.4

Pull Request - State: closed - Opened by felixonmars almost 4 years ago - 1 comment

#8 - Adds NFData instance

Pull Request - State: closed - Opened by benjaminselfridge about 4 years ago

#7 - Add sanity checks for all function outputs to test suite

Issue - State: closed - Opened by benjaminselfridge over 4 years ago - 1 comment

#6 - Fixes signedClamp bug.

Pull Request - State: closed - Opened by benjaminselfridge over 4 years ago - 1 comment

#5 - Allow tasty 1.3

Pull Request - State: closed - Opened by felixonmars over 4 years ago - 1 comment

#4 - toUnsigned should be asUnsigned in docs

Issue - State: closed - Opened by kquick over 4 years ago - 1 comment

#3 - Update for parameterized-utils release 2.1.0.

Pull Request - State: closed - Opened by kquick almost 5 years ago

#2 - Remove runtime QuickCheck dependency.