9 Commits

Author	SHA1	Message	Date
Robert O'Callahan	e0ae7b7af4	Remove .c_str() calls from log()/log_error() ... There are some leftovers, but this is an easy regex-based approach that removes most of them.	2025-09-11 20:59:37 +00:00
Krystine Sherwin	3959d19291	Reapply "Add groups to command reference" ... This reverts commit 81f87ce6ed.	2025-08-06 13:52:12 +12:00
N. Engelhardt	81f87ce6ed	Revert "Add groups to command reference"	2025-07-23 14:41:49 +00:00
Krystine Sherwin	af3c28f274	synthprop: Use override keyword ... `formatted_help()` introduced the override keyword, which means that the other two methods that were marked as virtual instead raised a warning about inconsistent use of override. This fixes that by bringing the synthprop (more) in line with the rest of the code-base.	2025-07-21 10:36:18 +12:00
Krystine Sherwin	92ab125113	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-07-21 10:35:56 +12:00
Martin Povišer	e063b96104	synthprop: Reformat the help	2024-07-25 11:43:58 +02:00
Miodrag Milanovic	550a5b7b6b	Update license	2023-02-13 17:23:26 +01:00
Miodrag Milanovic	713b7d3e26	added support for latched output reset	2023-02-13 17:23:26 +01:00
Miodrag Milanovic	131b557727	Initial implementation of synthesizable assertions	2023-02-13 17:23:26 +01:00