Ecosyste.ms: Issues

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

GitHub / master-keying/minisat issues and pull requests

#14 - add missing <limits> header that breaks compilation for gcc 11.2.1 an…

Pull Request - State: closed - Opened by dzosz about 3 years ago - 2 comments

#13 - fails to compile with recent gcc/clang

Issue - State: open - Opened by dzosz about 3 years ago

#12 - build.sh does not exist

Issue - State: closed - Opened by liffiton over 4 years ago - 1 comment

#11 - undefined reference with library usage

Issue - State: open - Opened by shubham19195 over 4 years ago

#10 - README: Update build instructions

Pull Request - State: closed - Opened by yati-sagade almost 5 years ago - 2 comments

#9 - Set up CI with Azure Pipelines

Pull Request - State: closed - Opened by azure-pipelines[bot] about 6 years ago - 1 comment

#8 - Improve Minisat::vec<T> implementation and usage

Pull Request - State: closed - Opened by horenmar about 6 years ago - 3 comments

#7 - Change our build over to CMake

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

#6 - How much should minisat be cleaned up?

Issue - State: open - Opened by horenmar over 6 years ago - 3 comments

#5 - Current make does not function as expected

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

#4 - Restore C++98 support

Pull Request - State: closed - Opened by cernoch almost 7 years ago - 2 comments

#2 - Fix compilation under MSVC by disabling signal handling

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

#1 - Fix warnings from -Wall -Wextra from gcc + clang

Pull Request - State: closed - Opened by horenmar almost 8 years ago