Skip to content

Pull requests: niklasso/minisat

New pull request New
19 Open 6 Closed
19 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Address a g++ compiler error and various warnings
#50 opened Feb 2, 2024 by spakin Loading…
Moved definition of 'hash()' before use as it was causing some issues.
#49 opened Nov 14, 2023 by isma-3788 Loading…
Rename Readme to readme.md
#47 opened Apr 2, 2023 by haris-khan1596 Loading…
Added spaces around PRIu64 macro to suppress C++11 warnings
#42 opened Jan 8, 2021 by yberman Loading…
Fix compilation errors
#36 opened Jun 7, 2019 by jordi-petit Loading…
Update README
#35 opened Apr 6, 2019 by yadamit Loading…
fix c++11 std compliance
#33 opened Sep 14, 2018 by Udopia Loading…
Solution to issue #16 #1 on MacOX
#31 opened Aug 6, 2017 by zhzdeng Loading…
Moved default argument from friend declaration to function declaration
#28 opened Jul 13, 2016 by zaddach Loading…
Specify default argument in the declaration not the friend declaration
#27 opened Mar 19, 2016 by msoos Loading…
3
Makefile: fix lib rule
#25 opened Oct 11, 2015 by jirislaby Loading…
Fixing problems with compilation using C++11 compilers
#24 opened Apr 1, 2015 by msoos Loading…
Make the default binary statically linked.
#23 opened Mar 27, 2015 by ntc2 Loading…
Fix compilation for non-linux OS's
#18 opened May 8, 2014 by jbransen Loading…
Solution to issue #16 (illegal friend declaration of mkLit)
#17 opened Apr 28, 2014 by fniksic Loading…
2
Resolution for bug tracker issues #1, #4, #9, #10, #12, #13, #14.
#14 opened Mar 10, 2014 by Siesh1oo Loading…
2
Fixed "memUsedPeak not defined" bug on Mac OSX
#10 opened Nov 12, 2013 by thejoelw Loading…
5
Allow '-' to be passed as input and output.
#8 opened Sep 19, 2013 by vstakhov Loading…
Using std::numeric_limits<> instead of macros INT32/INT64_MAX/MIN
#7 opened Sep 8, 2013 by msoos Loading…
ProTip! Exclude everything labeled bug with -label:bug.