projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0917a5c 320bf2f)
Merge pull request #1242 from jfng/fix-proc_prune-partial
authorwhitequark <whitequark@whitequark.org>
Sat, 3 Aug 2019 07:08:41 +0000 (07:08 +0000)
committerGitHub <noreply@github.com>
Sat, 3 Aug 2019 07:08:41 +0000 (07:08 +0000)
proc_prune: Promote partially redundant assignments.


Trivial merge