aboutsummaryrefslogtreecommitdiffstats
path: root/CODEOWNERS
Commit message (Collapse)AuthorAgeFilesLines
* codeowners: adopt ABC9 and update intel_alm usernameLofty2022-06-201-2/+2
|
* Merge pull request #2019 from boqwxp/gliftClaire Xen2022-02-111-0/+1
|\ | | | | Add `glift` command for creating gate-level information flow tracking models and optimization problems
| * glift: Add CODEOWNERS entry.Alberto Gonzalez2020-07-011-0/+1
| |
* | Update CHANGELOG and CODEOWNERSMiodrag Milanovic2021-12-011-0/+1
| |
* | Update CODEOWNERSMiodrag Milanović2021-11-081-0/+1
| |
* | abc9: fix SCC issues (#2694)Eddie Hung2021-03-291-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * xilinx: add SCC test for DSP48E1 * xilinx: Gate DSP48E1 being a whitebox behind ALLOW_WHITEBOX_DSP48E1 Have a test that checks it works through ABC9 when enabled * abc9 to break SCCs using $__ABC9_SCC_BREAKER module * Add test * abc9_ops: remove refs to (* abc9_keep *) on wires * abc9_ops: do not bypass cells in an SCC * Add myself to CODEOWNERS for abc9* * Fix compile * abc9_ops: run -prep_hier before scc * Fix tests * Remove bug reference pending fix * abc9: fix for -prep_hier -dff * xaiger: restore PI handling * abc9_ops: -prep_xaiger sigmap * abc9_ops: -mark_scc -> -break_scc * abc9: eliminate hard-coded abc9.box from tests Also tidy up * Address review
* | CODEOWNERS: add @zachjs as Verilog/AST frontend ownerwhitequark2020-12-271-0/+3
| |
* | qbfsat: Clean up and refactor data structures into `qbfsat.h`.Alberto Gonzalez2020-07-011-0/+1
|/
* Add codeowners file (#2098)N. Engelhardt2020-06-041-0/+37