diff options
author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-29 22:06:43 +0000 |
---|---|---|
committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:55:16 +0000 |
commit | 8cd60be654c60b1242ea7fc166b2f1a18c1a59c5 (patch) | |
tree | 33a48dc009b5a9475df45b69c0401d8a04a8bbcf /CODEOWNERS | |
parent | 7450ee7f8a547aa72d3afa0638af2190cc52c6a9 (diff) | |
download | yosys-8cd60be654c60b1242ea7fc166b2f1a18c1a59c5.tar.gz yosys-8cd60be654c60b1242ea7fc166b2f1a18c1a59c5.tar.bz2 yosys-8cd60be654c60b1242ea7fc166b2f1a18c1a59c5.zip |
qbfsat: Clean up and refactor data structures into `qbfsat.h`.
Diffstat (limited to 'CODEOWNERS')
-rw-r--r-- | CODEOWNERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CODEOWNERS b/CODEOWNERS index a73779920..350a62120 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -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 |