projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fb64417 28c2dd4)
Merge pull request #2135 from boqwxp/qbfsat-timeinfo
authorclairexen <claire@symbioticeda.com>
Thu, 25 Jun 2020 16:18:09 +0000 (18:18 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jun 2020 16:18:09 +0000 (18:18 +0200)
log and qbfsat: Also include child process usage in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver


Trivial merge