From: Claire Xen <claire@clairexen.net>
Date: Fri, 11 Feb 2022 14:51:24 +0000 (+0100)
Subject: Merge pull request #2019 from boqwxp/glift
X-Git-Tag: yosys-0.15~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e0165188669fcef2c5784c9916683889a2164e5d;p=yosys.git

Merge pull request #2019 from boqwxp/glift

Add `glift` command for creating gate-level information flow tracking models and optimization problems
---

e0165188669fcef2c5784c9916683889a2164e5d
diff --cc CODEOWNERS
index 19b660dff,e3787e429..11a8cc026
--- a/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