projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62a9e62) | patch
log, qbfsat: Include child process time in `PerformanceTimer::query()` and report...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Sun, 7 Jun 2020 07:45:24 +0000 (07:45 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sun, 21 Jun 2020 02:16:52 +0000 (02:16 +0000)
commita564cc806f2e710b9cbb8365fd63587351bf3040
tree8104a60e1882530305cec6f898f04af5a53ecc7atree
parent62a9e62a1bc016122c2224bb157e86d8dbad5613commit | diff
log, qbfsat: Include child process time in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver.
kernel/log.h diff | blob | history
passes/sat/qbfsat.cc diff | blob | history