3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
yosys/passes
Claire Xenia Wolf 57a22f348c Revert "Merge pull request #641 from tklam/master"
This reverts commit 08be796cb8, reversing
changes made to 38dbb44fa0.

This fixes #2728. PR #641 did not actually "fix" #639.

The actual issue in #639 is not equiv_make, but assumptions in equiv_simple
that are not true for the test case provided in #639.
2021-06-18 03:23:45 +02:00
..
cmds Merge pull request #2817 from YosysHQ/claire/fixemails 2021-06-09 13:22:52 +02:00
equiv Revert "Merge pull request #641 from tklam/master" 2021-06-18 03:23:45 +02:00
fsm Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
hierarchy Move interface expansion in hierarchy.cc into a helper class 2021-06-16 21:48:18 -04:00
memory Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
opt opt_muxtree: Update port_off and port_idx even for constant bits 2021-06-11 12:06:35 +01:00
pmgen Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
proc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
sat Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
techmap Fix deadname SVN links 2021-06-09 12:44:37 +02:00
tests Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00