3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 01:54:10 +00:00
yosys/frontends
Marcelina Kościelnicka a651204efa Fix handling of unique/unique0/priority cases in the frontend.
Basically:

- priority converts to (* full_case *)
- unique0 converts to (* parallel_case *)
- unique converts to (* parallel_case, full_case *)

Fixes #2596.
2021-02-25 21:53:58 +01:00
..
aiger Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). 2020-06-19 15:48:58 +00:00
ast frontend: Make helper functions for printing locations. 2021-02-23 23:51:52 +01:00
blif Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
json frontend: json: parse negative values 2021-02-23 00:26:11 +01:00
liberty Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
rpc Fix argument handling in connect_rpc 2020-10-19 13:40:57 +02:00
rtlil rtlil: remove dotted identifiers. 2020-11-25 16:47:20 +00:00
verific Merge pull request #2574 from dh73/master 2021-02-15 17:49:11 +01:00
verilog Fix handling of unique/unique0/priority cases in the frontend. 2021-02-25 21:53:58 +01:00