diff options
| author | clairexen <claire@symbioticeda.com> | 2020-07-02 17:48:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-02 17:48:37 +0200 |
| commit | e4b9e64d1b356b690140dd41d836bc4d5c368234 (patch) | |
| tree | 0e9df1960bed02188e379f2c83a341b543c6473e /CODEOWNERS | |
| parent | 5428666151be2010a7f5aa3d588dc88306dde354 (diff) | |
| parent | 56f98b9e3d9489503b11e3a406bc3a81c6feb62c (diff) | |
| download | yosys-e4b9e64d1b356b690140dd41d836bc4d5c368234.tar.gz yosys-e4b9e64d1b356b690140dd41d836bc4d5c368234.tar.bz2 yosys-e4b9e64d1b356b690140dd41d836bc4d5c368234.zip | |
Merge pull request #2208 from boqwxp/qbfsat-cleanup
qbfsat: Cleanup and refactoring
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 |