projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e308091) | patch
- libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPe...
authorSiesh1oo <siesh1oo@siesh1oo.no>
Wed, 12 Mar 2014 13:12:52 +0000 (14:12 +0100)
committerSiesh1oo <siesh1oo@siesh1oo.no>
Wed, 12 Mar 2014 13:15:25 +0000 (14:15 +0100)
commit948d04c06c181a1c270017b6d7c819426a360303
tree32dd58755df18be6766f625a822c9d02347c1bd8tree
parente308091529d302da84ec4304ca30d09bcfdf0440commit | diff
 - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)
libs/minisat/System.cc diff | blob | history