Merge pull request #410 from azonenberg/opt_demorgan
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Sep 2017 19:42:34 +0000 (21:42 +0200)
committerGitHub <noreply@github.com>
Thu, 14 Sep 2017 19:42:34 +0000 (21:42 +0200)
commitb0b2f3fe29e5937cd1948640e0bb5fc1338bcc6a
tree9e82f49f5b4f4dd6ed7d8a7619cec5a96e798556
parentf9d023c53fedd96ec1b9d3a93d0448291a1f2527
parent66e8986ae7655f56881eb664a5919eac4dfd06a3
Merge pull request #410 from azonenberg/opt_demorgan

Added "opt_demorgan" pass (fixes #408)