Ecosyste.ms: Issues

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

GitHub / digama0/frat issues and pull requests

#18 - Behavior difference between -ss and -s

Issue - State: open - Opened by m-fleury almost 2 years ago - 1 comment

#17 - Add build instructions for ascii & binary

Pull Request - State: closed - Opened by msoos almost 2 years ago - 1 comment

#16 - Binary vs non-binary file format

Issue - State: closed - Opened by msoos almost 2 years ago - 4 comments

#15 - As per discussion, LRAT/DIMACS file order has changed

Pull Request - State: closed - Opened by msoos almost 3 years ago - 1 comment

#14 - Finalization error seems incorrect

Issue - State: closed - Opened by msoos almost 3 years ago - 4 comments

#14 - Finalization error seems incorrect

Issue - State: closed - Opened by msoos almost 3 years ago - 4 comments

#13 - Empty clause cannot be proven -- potential bug

Issue - State: closed - Opened by msoos almost 3 years ago - 4 comments

#13 - Empty clause cannot be proven -- potential bug

Issue - State: closed - Opened by msoos almost 3 years ago - 4 comments

#12 - Issues since new code push

Issue - State: closed - Opened by msoos almost 3 years ago - 1 comment

#11 - [Enhancement ask] Display correct LRAT resolvents for each ID

Issue - State: closed - Opened by msoos almost 3 years ago - 9 comments

#10 - Strange behavior with `--full`

Issue - State: closed - Opened by msoos almost 3 years ago - 10 comments

#9 - Option `--full` not validating proof

Issue - State: closed - Opened by msoos almost 3 years ago - 2 comments

#8 - Error given by `frat-rs` under/overflows

Issue - State: closed - Opened by msoos almost 3 years ago - 1 comment

#7 - Strict mode `-s` option is accepted but does not do anything

Issue - State: closed - Opened by msoos almost 3 years ago - 4 comments

#6 - Verification & LRAT elaboration don't seem to care about the `l` part

Issue - State: closed - Opened by msoos almost 3 years ago - 2 comments

#3 - `fratchk` does not check FRAT proofs

Issue - State: closed - Opened by msoos almost 3 years ago - 7 comments

#2 - Added/Removed is switched up in debug print

Issue - State: closed - Opened by msoos almost 3 years ago - 3 comments

#1 - Build failure in master

Issue - State: closed - Opened by joehendrix almost 4 years ago - 1 comment