projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c8903e7 bbfa2d6)
Merge pull request #2019 from boqwxp/glift
authorClaire Xen <claire@clairexen.net>
Fri, 11 Feb 2022 14:51:24 +0000 (15:51 +0100)
committerGitHub <noreply@github.com>
Fri, 11 Feb 2022 14:51:24 +0000 (15:51 +0100)
Add `glift` command for creating gate-level information flow tracking models and optimization problems

1  2 
CODEOWNERS patch | diff1 | diff2 | blob | history
passes/cmds/Makefile.inc patch | diff1 | diff2 | blob | history

diff --cc CODEOWNERS
index 19b660dff7b61f2a90f1e4c99a27eb62ff3b67f8,e3787e4294c974e4725a50af42d939e559b9cdf6..11a8cc0262e6a01ec3b167b594f7ada29b279ede
--- 1/CODEOWNERS
--- 2/CODEOWNERS
+++ b/CODEOWNERS
@@@ -40,6 -33,6 +40,7 @@@ misc/*.py                      @btu
  backends/firrtl                @ucbjrl @azidar
  
  passes/sat/qbfsat.cc           @boqwxp
 +passes/sat/qbfsat.h            @boqwxp
  passes/cmds/exec.cc            @boqwxp
+ passes/cmds/glift.cc           @boqwxp
  passes/cmds/printattrs.cc      @boqwxp
diff --cc passes/cmds/Makefile.inc
Simple merge