Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/what4-serialize issues and pull requests

#20 - Deprecate this library

Issue - State: closed - Opened by RyanGlScott about 2 years ago - 1 comment

#19 - Allow building with GHC 9.2 without warnings

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

#18 - Update the version bounds on what4

Pull Request - State: closed - Opened by travitch over 3 years ago

#17 - Update to the newest release of what4

Pull Request - State: closed - Opened by travitch over 3 years ago

#16 - Update to what4 1.1

Issue - State: closed - Opened by travitch over 3 years ago

#15 - Add print/parse support for bvfill

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

#14 - Updates for the App refactor in What4

Pull Request - State: closed - Opened by kquick over 4 years ago

#13 - update to what4 master

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

#12 - update to what4 master

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

#11 - Tr/full arm intrinsics

Pull Request - State: closed - Opened by travitch over 4 years ago

#10 - Increase upper bounds for parameterized-utils release 2.1.0

Pull Request - State: closed - Opened by kquick over 4 years ago

#9 - Feature/fast parser

Pull Request - State: closed - Opened by travitch over 4 years ago

#8 - Add support for GHC 8.4.

Pull Request - State: closed - Opened by kquick over 4 years ago

#7 - Fix haddock (indentation).

Pull Request - State: closed - Opened by kquick over 4 years ago

#6 - have submodules use https

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#5 - Ci test -- ignore

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#4 - small refactor, add testing, tweak atom parsing

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#3 - features: initial string serialization, orp added back for convenience

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

#2 - Orderfixes

Pull Request - State: closed - Opened by danmatichuk over 4 years ago

#1 - feature: use user-provided lookup fns for deserialization

Pull Request - State: closed - Opened by pnwamk over 4 years ago