Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lsrcz/grisette issues and pull requests
#260 - Make grisette compatible with sbv-11
Pull Request -
State: closed - Opened by lsrcz 22 days ago
Labels: dependencies
#259 - Correctly do memoization for lowering
Pull Request -
State: closed - Opened by lsrcz about 1 month ago
- 1 comment
Labels: fix:performance
#258 - solverGenericCEGIS will only rerun possible verifiers
Pull Request -
State: closed - Opened by lsrcz about 1 month ago
- 1 comment
Labels: fix:performance
#257 - Add reporting for maybe no counter-example
Pull Request -
State: closed - Opened by lsrcz about 1 month 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 about 1 month ago
- 1 comment
Labels: bug
#255 - :bug: Fix printing of bvselect/bvsext/bvzext terms
Pull Request -
State: closed - Opened by lsrcz about 1 month ago
- 1 comment
Labels: bug
#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 over 1 year ago
#70 - Fix missing UndecidableInstances extension on GHC 9.4+
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#70 - Fix missing UndecidableInstances extension on GHC 9.4+
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#69 - Sign conversion of bitvectors
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#69 - Sign conversion of bitvectors
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#68 - Fix 8.10 build error
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#68 - Fix 8.10 build error
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#67 - Use quantified constraints for BV terms
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#67 - Use quantified constraints for BV terms
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#66 - Fix compatibility with sbv 10+
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#66 - Fix compatibility with sbv 10+
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#65 - Dynamic sized bitvector
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#65 - Dynamic sized bitvector
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#64 - Prepare for release v0.2.0.0
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#64 - Prepare for release v0.2.0.0
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#63 - Add ghc-9.6 to CI matrix
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#63 - Add ghc-9.6 to CI matrix
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#62 - Add popl paper link
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#62 - Add popl paper link
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
- 1 comment
#61 - Add Read instance for bit vectors
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#61 - Add Read instance for bit vectors
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#60 - Allow lowering in subsequent solver calls in cegis
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#60 - Allow lowering in subsequent solver calls in cegis
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#59 - Add missing instances for FreshT and MonadFresh for other transformers
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#59 - Add missing instances for FreshT and MonadFresh for other transformers
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#58 - support lowering of uninterpreted functions for up to 7 arguments
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#58 - support lowering of uninterpreted functions for up to 7 arguments
Pull Request -
State: closed - Opened by lsrcz over 1 year ago
#57 - Fix lowering for uninterpreted functions
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#57 - Fix lowering for uninterpreted functions
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#56 - Introduce SafeDivision and SafeLinearArith
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#56 - Introduce SafeDivision and SafeLinearArith
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#55 - Implement missing type class instances for concrete bit vectors
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#55 - Implement missing type class instances for concrete bit vectors
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#54 - Use incoherent instances for ToSym and ToCon
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#54 - Use incoherent instances for ToSym and ToCon
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#53 - Operator for measuring sizes of unions
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#52 - Make cegis work like solve when no symbolic input is present
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#52 - Make cegis work like solve when no symbolic input is present
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#51 - Parallel do
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#51 - Parallel do
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment