Ecosyste.ms: Issues

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

GitHub / doyougnu/vsat issues and pull requests

#23 - Choices ignored with emptyConf

Issue - State: closed - Opened by doyougnu almost 6 years ago
Labels: bug

#22 - Increase Hygeine and Modularity of UnSat Tracking

Issue - State: closed - Opened by doyougnu almost 6 years ago - 1 comment
Labels: DesignFlaw

#21 - UnsatCore is a [String]

Issue - State: open - Opened by doyougnu almost 6 years ago
Labels: technology_restriction

#20 - Verify Correctness of Test Data

Issue - State: closed - Opened by doyougnu about 6 years ago - 2 comments
Labels: bug

#19 - Prove atomization minimizes formulas in coq

Issue - State: open - Opened by doyougnu about 6 years ago
Labels: enhancement

#18 - wrap solver monad in writer for debugging messages and implement the debugging interface

Issue - State: open - Opened by doyougnu about 6 years ago
Labels: enhancement

#17 - integrate the pipes library to allow the solver to return results more lazily

Issue - State: open - Opened by doyougnu about 6 years ago
Labels: feature_request

#16 - allow solver to solveWith or solveAssuming some config

Issue - State: closed - Opened by doyougnu about 6 years ago - 1 comment
Labels: feature_request

#15 - modularize V and publish to hackage

Issue - State: closed - Opened by doyougnu about 6 years ago - 1 comment
Labels: communityEnhancement

#14 - Variables that are not considered in a prop up in models

Issue - State: closed - Opened by doyougnu about 6 years ago - 2 comments
Labels: bug, technology_restriction

#13 - convert a choice of models to a model of choices

Issue - State: closed - Opened by doyougnu about 6 years ago - 1 comment
Labels: enhancement

#12 - Fix quickcheck bug where results are deemed not equal because of order of dimensions

Issue - State: closed - Opened by doyougnu about 6 years ago - 1 comment
Labels: bug

#11 - Write frontend to web server

Issue - State: open - Opened by doyougnu about 6 years ago
Labels: feature_request

#10 - Write generic parser for web interface

Issue - State: closed - Opened by doyougnu about 6 years ago - 1 comment
Labels: feature_request

#9 - Implement choices in arithmetic

Issue - State: open - Opened by doyougnu about 6 years ago
Labels: feature_request

#8 - Fix bug where BF shows choices in models

Issue - State: closed - Opened by doyougnu about 6 years ago - 1 comment
Labels: bug

#7 - more bug fixes with indeterminate operators

Pull Request - State: closed - Opened by doyougnu over 6 years ago

#6 - Vsmt

Pull Request - State: closed - Opened by doyougnu over 6 years ago

#5 - Refactor

Pull Request - State: closed - Opened by doyougnu over 6 years ago

#4 - No sbv

Pull Request - State: closed - Opened by doyougnu almost 7 years ago

#3 - No sbv

Pull Request - State: closed - Opened by doyougnu almost 7 years ago

#2 - A simple Or returns a nothing

Issue - State: closed - Opened by doyougnu about 7 years ago

#1 - Warning Dimacs header wrong number of vars

Issue - State: closed - Opened by doyougnu about 7 years ago - 1 comment
Labels: bug