yosys

mirror of https://github.com/YosysHQ/yosys.git

Author	SHA1	Message	Date
Emil J. Tywoniak	498e0498c5	const: represent string constants as string, assert not accessed as bits	2024-07-29 16:38:32 +02: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