mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity
yosys/passes/sat
History
Krystine Sherwin d1d419cb51
cmdref: Assigning cmds to formal group 
Give formal index a proper title.
Use `Pass::formatted_help()` to assign the group, but still return `false` because the help text still comes from `Pass::help()`.
Tidy up some of the affected files' includes to make use of the shared `yosys.h` includes.
2025-03-21 10:26:12 +13:00
..
assertpmux.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
async2sync.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
clk2fflogic.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
cutpoint.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
eval.cc rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +02:00
example.v Added support for shifter cells to SAT generator 2013-06-08 15:12:08 +02:00
example.ys Fixes in old SAT example.ys 2014-09-01 11:45:47 +02:00
expose.cc rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +02:00
fmcombine.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
fminit.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
formalff.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
freduce.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
Makefile.inc Add recover_names pass to recover names post-mapping 2023-05-25 10:55:07 +02:00
miter.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
mutate.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
qbfsat.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
qbfsat.h Deprecate gcc-4.8 2023-01-11 09:54:19 +01:00
recover_names.cc mark all hash_into methods nodiscard 2025-01-14 12:39:15 +01:00
sat.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
sim.cc hashlib: redo interface for flexibility 2024-12-18 14:49:25 +01:00
supercover.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00
synthprop.cc cmdref: Assigning cmds to formal group 2025-03-21 10:26:12 +13:00