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
#50 - Fix AllSyms documentation and instances
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#50 - Fix AllSyms documentation and instances
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#49 - Add timeout to solver interface
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#49 - Add timeout to solver interface
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#48 - Add API to count term size for a complex type
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#48 - Add API to count term size for a complex type
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#47 - Remove ghc-HEAD from CI
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#47 - Remove ghc-HEAD from CI
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#46 - Add missing instances for new symirs
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#45 - Remove libncurses5 dependency for hlint
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#45 - Remove libncurses5 dependency for hlint
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#44 - Use codecov token
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#44 - Use codecov token
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#43 - Drop UAny merging result cache
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
Labels: bug
#42 - Update flake
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#42 - Update flake
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#41 - New bitvector interface with hidden type-level length
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#41 - New bitvector interface with hidden type-level length
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#40 - Add Cabal CI
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#40 - Add Cabal CI
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#39 - Update hie.yaml
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#39 - Update hie.yaml
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#38 - add vanilla cabal/ghc build matrix too?
Issue -
State: open - Opened by cartazio almost 2 years ago
- 3 comments
#38 - add vanilla cabal/ghc build matrix too?
Issue -
State: open - Opened by cartazio almost 2 years ago
- 3 comments
#37 - Drop the generic on symbolic boolean type
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#37 - Drop the generic on symbolic boolean type
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#36 - Making the type of fresh less specific to improve error messages
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#36 - Making the type of fresh less specific to improve error messages
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#35 - Introduce better formatting for UnionMBase
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#35 - Introduce better formatting for UnionMBase
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#34 - Rename some API for consistency
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#33 - Introduce onUnion combinator
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#33 - Introduce onUnion combinator
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#32 - Add missing dependencies to flake
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
Labels: bug
#32 - Add missing dependencies to flake
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
Labels: bug
#31 - Better development environment on NixOS
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#31 - Better development environment on NixOS
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#30 - Add GSubstituteSym instance for UnionMBase
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#30 - Add GSubstituteSym instance for UnionMBase
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#29 - Add ToCon (UnionMBase bool a) (UnionMBase bool b) instance
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#28 - Revert "Add ToCon (UnionMBase bool a) (UnionMBase bool b) instance"
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#27 - Add ToCon (UnionMBase bool a) (UnionMBase bool b) instance
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#26 - Rename builtin union wrappers
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#25 - Rename getSingle to simpleMerge
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#24 - Rename gmergingStrategy to grootStrategy
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#23 - Drop the grisette-lib package
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#22 - CEGIS with multiple inputs
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#21 - Fix signed bit vector division overflow
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
Labels: bug
#20 - Update haddock documents
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
Labels: documentation
#19 - More powerful CEGIS interface
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
Labels: feature request
#18 - Fix changelog path
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
- 1 comment
#17 - Reorganize changelogs and licenses
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#16 - Update synopsis and description for packages
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#15 - Fix the package version bounds
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#14 - :hammer: add hie.yaml
Pull Request -
State: closed - Opened by lsrcz almost 2 years ago
#13 - Update readme
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
- 1 comment
Labels: documentation
#12 - Shorten the API name for symbolic generation
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#11 - Continue on failures with nightly snapshots
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
- 1 comment
#10 - Print models in a better way
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
- 1 comment
#9 - Use codecov for coverage
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
- 1 comment
#8 - Fix coveralls coverage reporting
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#7 - Add specialized functions and constraints for some core type classes
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#6 - Introduce substitution API
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#5 - Introduce model construction using ModelRep
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#4 - Typed symbols
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#3 - Make the model argument the last in ModelOps
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#2 - Abstracting operations for models and symbol sets
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
#1 - New cegis api
Pull Request -
State: closed - Opened by lsrcz about 2 years ago
- 1 comment