mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-27 02:45:52 +00:00
Convert todo comments to directives
Could be left in for final version, but my current thinking is not?
This commit is contained in:
parent
ce9e56db47
commit
d8b8880ad6
18 changed files with 37 additions and 27 deletions
|
@ -74,7 +74,7 @@ This has three advantages:
|
|||
- First, it is impossible that an auto-generated identifier collides with an
|
||||
identifier that was provided by the user.
|
||||
|
||||
.. TODO: does opt_rmunused (still?) exist?
|
||||
.. todo:: does opt_rmunused (still?) exist?
|
||||
|
||||
- Second, the information about which identifiers were originally provided by
|
||||
the user is always available which can help guide some optimizations. For
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue