lsrcz/grisette issues and pull requests

#286 - Rename deriveGADT back to derive

Pull Request - State: closed - Opened by lsrcz 23 days ago - 1 comment
Labels: breaking change (PVP major)

#285 - Improve the implementation for Template Haskell-based Mergeable derivation

Pull Request - State: closed - Opened by lsrcz 25 days ago - 1 comment
Labels: fix:performance

#284 - Make EvalModeConvertible reflexive

Pull Request - State: closed - Opened by lsrcz 25 days ago - 1 comment
Labels: API addition (PVP minor)

#283 - Feat choose should be in order

Pull Request - State: closed - Opened by lsrcz 25 days ago - 1 comment
Labels: fix:performance

#282 - Use treefmt and new build-env

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: build config

#281 - Add PPrint for Term and SomeTerm

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: API addition (PVP minor)

#280 - Provide better patterns for term analysis

Pull Request - State: closed - Opened by lsrcz about 1 month ago
Labels: API addition (PVP minor), breaking change (PVP major)

#279 - Cleanup redundant constraints caused by #278

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: cleanup

#278 - Improve SupportedNonFuncPrim/BasicSymPrim constraints

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: API addition (PVP minor)

#277 - Add Metadata pattern and AsMetadata type class

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: API addition (PVP minor)

#276 - Further improve the nix configurations

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: CI, build config

#275 - Update hlint CI

Pull Request - State: closed - Opened by lsrcz about 1 month ago
Labels: CI

#274 - Add build with nix

Pull Request - State: closed - Opened by lsrcz about 1 month ago - 1 comment
Labels: CI, build config

#273 - Allow unconstrained vars when deriving the instances

Pull Request - State: closed - Opened by lsrcz about 2 months ago - 1 comment
Labels: API addition (PVP minor), breaking change (PVP major)

#272 - Fix derivation for empty data types

Pull Request - State: closed - Opened by lsrcz about 2 months ago - 1 comment
Labels: bug

#271 - Add derivation for cereal and binary

Pull Request - State: closed - Opened by lsrcz about 2 months ago - 1 comment
Labels: API addition (PVP minor)

#270 - Add more list of classes

Pull Request - State: closed - Opened by lsrcz about 2 months ago - 1 comment
Labels: API addition (PVP minor)

#269 - Add derivation for Mergeable using NoStrategy

Pull Request - State: closed - Opened by lsrcz about 2 months ago
Labels: API addition (PVP minor)

#268 - Derivation of PPrint should not rely on OverloadedStrings

Pull Request - State: closed - Opened by lsrcz about 2 months ago - 1 comment
Labels: bug

#267 - Introduce a new derivation mechanism supporting GADTs

Pull Request - State: closed - Opened by lsrcz about 2 months ago - 1 comment
Labels: breaking change (PVP major)

#266 - Prepare for v0.10.0.0 release

Pull Request - State: closed - Opened by lsrcz 2 months ago - 1 comment
Labels: release

#265 - Add derive for GADTs

Pull Request - State: closed - Opened by lsrcz 2 months ago - 1 comment
Labels: API addition (PVP minor)

#264 - Add SymPrim constraint

Pull Request - State: closed - Opened by lsrcz 2 months ago
Labels: API addition (PVP minor), breaking change (PVP major)

#263 - Better interface to smart constructor generation with decapitalized names

Pull Request - State: closed - Opened by lsrcz 2 months ago
Labels: breaking change (PVP major)

#262 - Improve SymFiniteBits interface

Pull Request - State: closed - Opened by lsrcz 3 months ago - 1 comment
Labels: bug

#261 - Allow literal bvs to be used under conditionals

Pull Request - State: closed - Opened by lsrcz 3 months ago - 1 comment
Labels: API addition (PVP minor)

#260 - Make grisette compatible with sbv-11

Pull Request - State: closed - Opened by lsrcz 3 months ago
Labels: dependencies

#259 - Correctly do memoization for lowering

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: fix:performance

#258 - solverGenericCEGIS will only rerun possible verifiers

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: fix:performance

#257 - Add reporting for maybe no counter-example

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: breaking change (PVP major)

#256 - Fix solverGenericCEGIS and make it also return the last failing cex

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: bug

#255 - :bug: Fix printing of bvselect/bvsext/bvzext terms

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: bug

#186 - Add support for microlens

Pull Request - State: open - Opened by lsrcz 11 months ago - 1 comment
Labels: API addition (PVP minor)

#100 - Fix bit vector read on older GHCs

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

#100 - Fix bit vector read on older GHCs

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

#99 - Fix bit vector binary representation reads

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#99 - Fix bit vector binary representation reads

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#98 - Cannot read bit vectors from binary representation

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: bug

#98 - Cannot read bit vectors from binary representation

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: bug

#97 - Add QuickCheck generator instances for bit vectors

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

#97 - Add QuickCheck generator instances for bit vectors

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

#96 - Fix the link to grisette GitHub page

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

#96 - Fix the link to grisette GitHub page

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

#95 - Add support for Data.Text

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

#95 - Add support for Data.Text

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

#94 - Add support for Data.Text

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: feature request

#94 - Add support for Data.Text

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: feature request

#93 - The links to GitHub in the metadata isn't correct

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: bug

#93 - The links to GitHub in the metadata isn't correct

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: bug

#92 - Implement pretty printer for Grisette-introduced types

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: feature request

#91 - Add QuickCheck generator instances for bit vectors

Issue - State: closed - Opened by lsrcz over 1 year ago
Labels: feature request

#90 - Cleanup for v0.3.0.0 release

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#89 - Introduce experimental GenSymConstrained type class

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

#89 - Introduce experimental GenSymConstrained type class

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

#88 - Update stack.yaml files

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

#88 - Update stack.yaml files

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

#87 - Remove the once dependency

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

#87 - Remove the once dependency

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

#86 - Fix nix installation in CI

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

#86 - Fix nix installation in CI

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

#85 - Upgrade dependencies to the newest version

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

#85 - Upgrade dependencies to the newest version

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

#84 - More flexible symbolic generation for common types

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

#84 - More flexible symbolic generation for common types

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

#83 - FiniteBits for SomeSymIntN and SomeSymWordN

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

#83 - FiniteBits for SomeSymIntN and SomeSymWordN

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

#82 - Update changelog

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#82 - Update changelog

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#81 - Update license year

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#81 - Update license year

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#80 - Fix version bounds for base package

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#80 - Fix version bounds for base package

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#79 - Bump version to 0.3.0.0

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#79 - Bump version to 0.3.0.0

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#78 - Upgrade dependencies

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

#77 - Fix CI failures

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

#77 - Fix CI failures

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

#76 - Add instructions to stack templates

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#76 - Add instructions to stack templates

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#75 - Update README.md

Pull Request - State: open - Opened by rbodik over 1 year ago - 1 comment

#75 - Update README.md

Pull Request - State: open - Opened by rbodik over 1 year ago - 1 comment

#74 - Return false instead of crash on different bit width SomeBV

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

#74 - Return false instead of crash on different bit width SomeBV

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

#73 - Generating SomeSymBV from Int

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#73 - Generating SomeSymBV from Int

Pull Request - State: closed - Opened by lsrcz over 1 year ago

#72 - Fix merging for SomeSymBV

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

#72 - Fix merging for SomeSymBV

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

#71 - Dynamic operations on somebv

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#70 - Fix missing UndecidableInstances extension on GHC 9.4+

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#70 - Fix missing UndecidableInstances extension on GHC 9.4+

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#69 - Sign conversion of bitvectors

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#69 - Sign conversion of bitvectors

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#68 - Fix 8.10 build error

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#68 - Fix 8.10 build error

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#67 - Use quantified constraints for BV terms

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#67 - Use quantified constraints for BV terms

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#66 - Fix compatibility with sbv 10+

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#66 - Fix compatibility with sbv 10+

Pull Request - State: closed - Opened by lsrcz almost 2 years ago

#65 - Dynamic sized bitvector

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

#65 - Dynamic sized bitvector

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

GitHub / lsrcz/grisette issues and pull requests