mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 13:18:56 +00:00
Code Activity

qbfsat: Clean up and refactor data structures into qbfsat.h.

Browse source
This commit is contained in:
Alberto Gonzalez 2020-06-29 22:06:43 +00:00
parent 7450ee7f8a
commit 8cd60be654
No known key found for this signature in database
GPG key ID: 8395A8BA109708B2
3 changed files with 266 additions and 248 deletions
Download patch file Download diff file Expand all files Collapse all files

1
CODEOWNERS
View file

@ -33,5 +33,6 @@ misc/*.py @btut
backends/firrtl @ucbjrl @azidar
passes/sat/qbfsat.cc @boqwxp
passes/sat/qbfsat.h @boqwxp
passes/cmds/exec.cc @boqwxp
passes/cmds/printattrs.cc @boqwxp