shnarazk/mios issues and pull requests

#89 - Segmentation fault when used as a library

Issue - State: open - Opened by potocpav over 5 years ago

#88 - 160fix1

Pull Request - State: closed - Opened by shnarazk over 6 years ago
Labels: packaging

#87 - The timeout doesn't work in some cases.

Issue - State: closed - Opened by shnarazk over 6 years ago - 1 comment

#86 - Discord interface

Issue - State: closed - Opened by shnarazk over 6 years ago - 1 comment

#85 - 2018-04 recycle proxy

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

#84 - sort clauses without proxy vectors

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 2 comments

#83 - cherry picking 1.6.1

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

#82 - cherry picking from WIP-for-1.6.1

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

#81 - the second branch for 1.6.1

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 7 comments
Labels: not for merge

#80 - comparison of clause layouts

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 6 comments
Labels: not for merge

#79 - ACIDS

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 1 comment

#78 - a comparison of IO layer

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 3 comments

#77 - revising memory management

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 3 comments

#76 - A new clause criterion

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 1 comment

#75 - Iceberg!

Pull Request - State: closed - Opened by shnarazk over 6 years ago
Labels: research project, not for merge

#74 - start a new branch: 2018-01-NDL

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 1 comment

#73 - drop the first restart mode

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 2 comments

#72 - preparation for revising EMA-based Glucose Heuristics

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

#71 - Mios version 1.6.1

Pull Request - State: closed - Opened by shnarazk over 6 years ago - 2 comments
Labels: packaging

#70 - better EMA computation

Pull Request - State: closed - Opened by shnarazk over 6 years ago
Labels: not for merge

#69 - abort handling

Pull Request - State: closed - Opened by shnarazk over 6 years ago
Labels: evalutaion, not for merge

#68 - mios version 1.6.0

Pull Request - State: closed - Opened by shnarazk almost 7 years ago
Labels: packaging

#67 - mios version 1.5.4

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

#66 - 128bit sort key

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 3 comments

#65 - A new branch bitvector256 to evaluate decision level's window size fo…

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 1 comment
Labels: not for merge

#64 - a new branch: define a new type representing solver's result

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 1 comment

#63 - parse on fd

Pull Request - State: closed - Opened by shnarazk almost 7 years ago
Labels: evalutaion, new implementation, not for merge

#62 - EMA restart

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 10 comments
Labels: research project, catch up, GLUCOSE

#61 - mios version 1.5.3

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 3 comments
Labels: packaging

#60 - Placing biclauses at the head of Watch lists

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 4 comments
Labels: new implementation

#59 - ERA: experimentation on reset variable/clause activity

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 4 comments
Labels: research project

#58 - Sync with mvar

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 1 comment
Labels: Haskell

#57 - EXPERIMENTAL BRANCH on clause weight (activity)

Pull Request - State: closed - Opened by shnarazk almost 7 years ago
Labels: research project

#56 - add options for benchmark

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

#55 - Binary clause implementation 2017-11

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 2 comments
Labels: catch up, MiniSat2

#54 - merge-biclause

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

#53 - clauseNew: fix the initial blocker values

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 3 comments
Labels: bug

#52 - Fix bugs in simplifyDB and analyze in 1.5.0

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 5 comments
Labels: bug

#51 - Biclause comparison on itox

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 9 comments
Labels: not for merge

#50 - fix crashes by SC17main/mp1-21.*.cnf

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

#49 - Investigate biclause distribution and contribution (not-for-merge)

Pull Request - State: closed - Opened by shnarazk almost 7 years ago
Labels: evalutaion, not for merge

#48 - Biclause optimization

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 8 comments
Labels: MiniSat2

#47 - mios version 1.5.1 #47

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 1 comment
Labels: packaging

#46 - mios version 1.5.1

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 1 comment
Labels: research project, MiniSat2

#45 - Optimization on SLA-ordering

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 5 comments
Labels: research project, MiniSat2

#44 - Compare with 8232f99

Pull Request - State: closed - Opened by shnarazk almost 7 years ago - 7 comments
Labels: bug, evalutaion, MiniSat2, GLUCOSE

#43 - Update learnt DB's size as same as MiniSat 2.2 does

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 2 comments
Labels: MiniSat2

#42 - sort clauses by size-lbd-activity

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 18 comments
Labels: MiniSat2, GLUCOSE

#41 - 1.4.2: Catch up MiniSat 2 mostly (41)

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 4 comments
Labels: packaging, MiniSat2, GLUCOSE

#40 - toggle phases after restart (alternative of `Solver::rebuildOrderHeap`)

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 3 comments

#39 - Implement Luby sequence

Pull Request - State: closed - Opened by shnarazk about 7 years ago

#38 - Validate FirstUIP

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 2 comments
Labels: bug

#37 - Validate LBD implementation

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 4 comments
Labels: bug

#36 - Implement LBD again (4.1.2)

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 12 comments
Labels: new implementation

#35 - merge clause-recycle into WIP-for-1.4.2

Pull Request - State: closed - Opened by shnarazk about 7 years ago

#34 - merge clause-recycler into WIP-for-1.4.2

Pull Request - State: closed - Opened by shnarazk about 7 years ago - 1 comment

#33 - merge 'WIP-for-1.4.1' into master (again)

Pull Request - State: closed - Opened by shnarazk about 7 years ago

#32 - Wip for 1.4.1

Pull Request - State: closed - Opened by shnarazk about 7 years ago

#31 - Is 'msse' useful with llvm?

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

#30 - regression in 1.5 candidate

Issue - State: closed - Opened by shnarazk about 7 years ago - 6 comments
Labels: packaging

#29 - Wip for 1.5.0

Pull Request - State: closed - Opened by shnarazk over 7 years ago

#28 - GADTs and Kind

Issue - State: closed - Opened by shnarazk almost 8 years ago
Labels: Haskell

#27 - more types

Issue - State: closed - Opened by shnarazk almost 8 years ago - 2 comments
Labels: Haskell