summaryrefslogtreecommitdiff
path: root/libs/minisat
Commit message (Collapse)AuthorAge
* Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2019-10-18
| | | | | "__linux__", to select code appropriate for Unix-like systems. This has been tested with Clang 3.5 and GCC 4.6, 4.8, and 4.9 on Linux, and Clang 3.5 and GCC 4.9 on kFreeBSD. Gbp-Pq: Name kfreebsd-support.patch
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-06
|
* Removed Minisat dependency on zlibClifford Wolf2014-07-25
|
* Updated minisatClifford Wolf2014-07-21
|
* Using relative path names in minisat headersClifford Wolf2014-07-21
|
* minisat compile fixClifford Wolf2014-04-20
|
* POSIX find requires a path argument.Anthony J. Bentley2014-04-04
|
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-12
|
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-12