| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, ↵ | Siesh1oo | 2014-03-12 | 1 | -5/+5 |
| | | | | | otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13). | ||||
| * | - libs/minisat/System.cc: fix definition/declaration mismatch for ↵ | Siesh1oo | 2014-03-12 | 1 | -3/+3 |
| | | | | | Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.) | ||||
| * | Added libs/minisat (copy of minisat git master) | Clifford Wolf | 2014-03-12 | 24 | -0/+5013 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |