3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-11 00:22:10 +00:00
yosys/frontends
Emil J. Tywoniak 0aaf46c692 verific: use SyncActions
(cherry picked from commit f4a69805ae)
2026-07-20 15:01:30 +02:00
..
aiger aigerparse: better twines 2026-07-20 13:57:10 +02:00
aiger2 aiger2: fix twines 2026-07-20 13:57:10 +02:00
ast rtlil: add source tracking to CaseRule actions 2026-07-20 15:01:30 +02:00
blif WIP migration to twine 2026-07-20 12:27:18 +02:00
json twine: fix replayability, reduce TwineSearch usage 2026-07-20 13:57:10 +02:00
liberty WIP migration to twine 2026-07-20 13:57:10 +02:00
rpc WIP migration to twine 2026-07-20 12:27:18 +02:00
rtlil rtlil: add source tracking to CaseRule actions 2026-07-20 15:01:30 +02:00
slang Use system libs when available 2026-07-13 15:26:00 +02:00
verific verific: use SyncActions 2026-07-20 15:01:30 +02:00
verilog verilog: fix case location 2026-07-20 15:01:30 +02:00
CMakeLists.txt Use system libs when available 2026-07-13 15:26:00 +02:00