Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / shnarazk/splr issues and pull requests
#155 - 20211019 revise vivification targets
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
- 1 comment
Labels: bug, idea
#154 - 20211017 suppress_reason_chain
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
Labels: idea
#153 - 20211017 suppress binary link
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
Labels: idea, wrong target
#152 - Add feature 'deterministic_iterator'
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
Labels: enhancement, type system
#151 - `locked` is only used in `reduce_db`
Issue -
State: closed - Opened by shnarazk almost 3 years ago
#150 - Make Splr deterministic by sorting HashMap.keys()
Issue -
State: closed - Opened by shnarazk almost 3 years ago
Labels: type system
#149 - dev-0.14.0
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
- 6 comments
Labels: bug, type system, parameter tuning, idea
#148 - `ConflictContext` uses `AssignReason` to capture the context
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
Labels: type system
#147 - Dev 0.14.0
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
Labels: type system
#146 - Which vars in conflict side deserve to reward?
Issue -
State: closed - Opened by shnarazk almost 3 years ago
Labels: parameter tuning
#145 - Replace binary clauses to binary Links
Issue -
State: closed - Opened by shnarazk almost 3 years ago
- 1 comment
Labels: enhancement
#144 - Trail saving
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
- 3 comments
Labels: new scheme
#143 - dev-0.13.0
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
Labels: new scheme
#142 - Trail Saving
Issue -
State: closed - Opened by shnarazk almost 3 years ago
Labels: new scheme
#141 - UNSAT certificate still broken
Issue -
State: closed - Opened by shnarazk almost 3 years ago
- 1 comment
Labels: bug
#140 - 20210920 clause reward and var reward
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
- 1 comment
#139 - 20210913 revise crw
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
#138 - 20210913 crw sparse
Pull Request -
State: closed - Opened by shnarazk almost 3 years ago
#137 - 20210907 window for var rewarding
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
#133 - 20210822 adjust restart parameters
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
- 1 comment
Labels: enhancement
#132 - Dev 0.12.0
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
- 3 comments
Labels: bug, idea
#131 - Revise learning rate reward
Issue -
State: closed - Opened by shnarazk about 3 years ago
#130 - 20210809-decrease-rlt (restart_lbd_threshold)
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
Labels: enhancement
#129 - 20210809-decrease-rlt (restart_lbd_threshold)
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
#128 - Too big restart threshold stops updating stabilization modes
Issue -
State: closed - Opened by shnarazk about 3 years ago
Labels: enhancement
#127 - 20210723 stabilize by clause reduction
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
Labels: idea
#126 - Dev 0.10.1
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
#123 - 20210606 watch cache optimization
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
Labels: bug
#120 - Assignment traversing needs a special handling for ChronoBT
Issue -
State: closed - Opened by shnarazk about 3 years ago
- 2 comments
Labels: bug
#119 - Some transition fails to update watch literal pairs rigidly
Issue -
State: closed - Opened by shnarazk about 3 years ago
- 1 comment
Labels: bug
#118 - 20210622 chrono-BT again
Pull Request -
State: closed - Opened by shnarazk about 3 years ago
- 1 comment
Labels: bug
#112 - Replace list append operation with in-place update operation under the hood
Issue -
State: closed - Opened by shnarazk over 3 years ago
- 1 comment
Labels: enhancement
#111 - 20210530 cpr doubling
Pull Request -
State: closed - Opened by shnarazk over 3 years ago
- 1 comment
#88 - dev-0.10.0 (was dev-0.8.0 (was dev-0.7.1))
Pull Request -
State: closed - Opened by shnarazk over 3 years ago
- 7 comments
Labels: bug
#39 - walknonstable -- walk in non-stabilizing phase
Issue -
State: closed - Opened by shnarazk over 4 years ago
Labels: new scheme
#38 - walk -- enable random walks
Issue -
State: closed - Opened by shnarazk over 4 years ago
Labels: new scheme