Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wkschwartz/pigosat issues and pull requests
#30 - Simplification: Remove SemanticVersion type
Issue -
State: closed - Opened by wkschwartz over 7 years ago
#29 - Data race: leaking goroutine in cFileWriterWrapper
Issue -
State: closed - Opened by wkschwartz over 7 years ago
Labels: bug
#28 - Rename AddClauses to Add
Issue -
State: closed - Opened by wkschwartz over 7 years ago
Labels: enhancement
#27 - Implement picosat_set_interrupt
Issue -
State: open - Opened by wkschwartz over 7 years ago
- 2 comments
Labels: enhancement
#26 - Replace use of equal with reflect.DeepEqual in tests
Issue -
State: closed - Opened by wkschwartz over 7 years ago
Labels: enhancement
#25 - Improve documentation descriptions of how to use SAT solvers
Issue -
State: closed - Opened by wkschwartz over 7 years ago
- 1 comment
Labels: bug
#24 - Clarify tests with subtest structure
Issue -
State: closed - Opened by wkschwartz over 7 years ago
Labels: enhancement
#23 - Implement phase-setting methods or options
Issue -
State: open - Opened by wkschwartz over 7 years ago
Labels: enhancement
#22 - Remove BlockSolution call in Solve
Issue -
State: closed - Opened by wkschwartz almost 8 years ago
Labels: enhancement
#21 - Upgrade to Picosat 965
Issue -
State: closed - Opened by wkschwartz about 8 years ago
Labels: enhancement
#20 - Create internal non-locking Pigosat.Res
Issue -
State: closed - Opened by wkschwartz about 8 years ago
Labels: enhancement
#19 - Remove goroutines from Minimize to prevent goroutine leaks
Issue -
State: closed - Opened by wkschwartz about 8 years ago
Labels: bug, enhancement
#18 - Harmonize Pigosat's finalizer with Go convention
Issue -
State: closed - Opened by wkschwartz about 8 years ago
Labels: bug
#17 - Close OutputFile
Issue -
State: closed - Opened by wkschwartz about 8 years ago
- 1 comment
Labels: bug
#16 - Test Go/Cgo pointer compatibility under new Go 1.6 rules
Issue -
State: closed - Opened by wkschwartz almost 9 years ago
- 1 comment
#15 - Empty Clauses
Pull Request -
State: closed - Opened by sacado about 9 years ago
- 3 comments
Labels: bug
#14 - Empty clauses are ignored
Issue -
State: closed - Opened by sacado over 9 years ago
- 5 comments
#13 - Add Write clausal core / traces and support io.Writer interface
Pull Request -
State: closed - Opened by justinfx over 9 years ago
- 19 comments
Labels: enhancement
#12 - Added Assume() + companion methods
Pull Request -
State: closed - Opened by justinfx over 9 years ago
- 14 comments
Labels: enhancement
#11 - Implement picosat_inconsistent
Pull Request -
State: open - Opened by wkschwartz over 9 years ago
Labels: enhancement
#10 - Switch order or return values from Solve
Issue -
State: closed - Opened by wkschwartz over 9 years ago
Labels: enhancement
#9 - Types
Pull Request -
State: closed - Opened by wkschwartz over 9 years ago
- 4 comments
#8 - Make Pigosat-specific types for literals, etc
Issue -
State: closed - Opened by wkschwartz over 9 years ago
- 1 comment
Labels: enhancement
#7 - Rename NewPigosat to New
Issue -
State: closed - Opened by wkschwartz over 9 years ago
#6 - Panic when trying to use uninitialized or deleted Pigosat objects
Pull Request -
State: closed - Opened by wkschwartz over 9 years ago
- 2 comments
#5 - Factor out is-nil method guard
Pull Request -
State: closed - Opened by wkschwartz over 9 years ago
#4 - Flatten and simplify the picosat C lib (make go-gettable)
Pull Request -
State: closed - Opened by wkschwartz over 9 years ago
- 5 comments
#3 - Pass entire int array to picosat_add_lits once per clause, in AddClauses()
Pull Request -
State: closed - Opened by justinfx about 10 years ago
- 5 comments
#2 - Flatten and simplify the picosat C lib (make go-gettable)
Pull Request -
State: closed - Opened by justinfx about 10 years ago
- 4 comments
#1 - Flatten and simplify the picosat C lib (make go-gettable)
Pull Request -
State: closed - Opened by justinfx about 10 years ago
- 7 comments