1782 commits

Author	SHA1	Message	Date
Emil J. Tywoniak	bfc69676d2	xaiger: fix twines	2026-07-20 15:01:30 +02:00
Emil J. Tywoniak	26031e94f0	functinoal: twines	2026-07-20 15:01:30 +02:00
Emil J. Tywoniak	503ae7fd85	rtlil_backend: improve stringification flags and defaults	2026-07-20 13:57:10 +02:00
Emil J. Tywoniak	a6eeb7c1f4	WIP migration to twine	2026-07-20 13:57:10 +02:00
Emil J. Tywoniak	cbc51aff5a	blif: fix twines	2026-07-20 13:57:10 +02:00
Emil J. Tywoniak	92b16718c9	twine: fix replayability, reduce TwineSearch usage	2026-07-20 13:57:10 +02:00
Emil J. Tywoniak	c3ffd67a5a	WIP migration to twine	2026-07-20 12:27:18 +02:00
Emil J. Tywoniak	65f35a88eb	WIP migration to twine	2026-07-20 12:27:18 +02:00
Emil J. Tywoniak	6a05403060	WIP migration to twine	2026-07-20 12:27:18 +02:00
Emil J. Tywoniak	0f884b6cba	twine: avoid TwinePool::lookup	2026-07-20 12:27:18 +02:00
Emil J. Tywoniak	6d89534418	prevent IdString construction when looking up module from instance type	2026-07-20 12:27:17 +02:00
Emil J. Tywoniak	7ce989d5f9	rtlil_frontend, rtlil_backend: dump statics as strings, comments for src	2026-07-20 12:27:17 +02:00
Emil J. Tywoniak	a5248849d9	WIP	2026-07-20 12:27:17 +02:00
Emil J. Tywoniak	77ad54139e	WIP	2026-07-20 12:27:17 +02:00
Emil J. Tywoniak	e952044215	WIP	2026-07-20 12:27:17 +02:00
Emil J. Tywoniak	7422b71802	WIP	2026-07-20 12:27:17 +02:00
Emil J. Tywoniak	1210d8e117	WIP	2026-07-20 12:27:02 +02:00
Emil J. Tywoniak	30bc1c23ee	WIP	2026-07-20 12:27:02 +02:00
Emil J. Tywoniak	10436f31cd	WIP	2026-07-20 12:27:02 +02:00
Emil J. Tywoniak	d7f88dd3a0	rtlil: evacuate src_id_ from AttrObject to per-Design meta vector	2026-07-20 12:26:39 +02:00
Emil J. Tywoniak	f017bb8a93	twine	2026-07-20 12:26:39 +02:00
Emil J. Tywoniak	f7d40cf1a8	WIP	2026-07-17 23:48:54 +02:00
Emil J. Tywoniak	fd67ce2b80	WIP	2026-07-17 23:48:54 +02:00
Emil J. Tywoniak	9c3704d5a4	cxxrtl: ignore $input_port	2026-07-17 23:33:02 +02:00
Emil J. Tywoniak	246bd6c1f2	aiger: ignore $input_port	2026-07-17 23:33:02 +02:00
Miodrag Milanovic	2cb3d671d6	yosys-witness: give error on justice property, support only 'b'	2026-07-07 12:19:38 +02:00
Miodrag Milanovic	a689342207	Remove trailing whitespaces	2026-06-23 07:24:59 +02:00
Miodrag Milanovic	48a3dcc02a	End of file fix	2026-06-23 07:23:41 +02:00
KrystalDelusion	e20a9168fb	Merge pull request #5971 from YosysHQ/krys/upto_indexing ... write_verilog: Fix upto indexing for single bit	2026-06-22 23:04:16 +00:00
Miodrag Milanovic	ebcbc06951	smtbmc: support latest bitwuzla	2026-06-22 08:40:16 +02:00
Krystine Sherwin	338d4adef2	write_verilog: Fix upto indexing for single bit	2026-06-19 10:18:27 +12:00
nella	5d7486115a	Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402 ... Fix: `read_verilog` doesn't respect `signed` keyword	2026-06-18 16:53:37 +00:00
N. Engelhardt	06201b857e	Merge pull request #5892 from gipsyh/smt2 ... smt2: use canonical SMT names in memory metadata	2026-06-09 12:49:11 +00:00
Miodrag Milanović	78e05dfb00	Merge pull request #5894 from YosysHQ/gcc_16 ... Bump CI to gcc-16 and fix warnings	2026-06-03 12:07:45 +00:00
Emil J	136d80e3d7	Merge pull request #5918 from mikesinouye/keywords ... verilog backend: runtime optimization for keyword pool	2026-06-03 11:26:20 +00:00
Miodrag Milanovic	a599999d1f	Fixed warnings found by gcc-16	2026-06-03 13:09:38 +02:00
Catherine	a727e7f6e7	Migrate build system to CMake ... See #5895 for details. This commit does not include CI or documentation changes.	2026-06-03 08:58:10 +00:00
Mike Inouye	a14650d07b	verilog backend: runtime optimization for keyword pool ... Signed-off-by: Mike Inouye <mikeinouye@google.com>	2026-05-29 17:53:31 +00:00
Yuheng Su	caba96515e	smt2: use canonical SMT names in memory metadata	2026-05-17 02:27:55 +00:00
Miodrag Milanovic	75dcbe03c6	Convert RTLIL::unescape_id of IdString to unescape()	2026-05-16 19:49:45 +02:00
Miodrag Milanovic	8bbc3c359c	Remove id2cstr uses in our code base	2026-05-16 19:49:45 +02:00
Miodrag Milanovic	e4a3b44e8e	Fixed not intentional log_signal removal	2026-05-15 12:34:54 +02:00
nella	38c2806636	Make sure to apply correct signedness to loop vars.	2026-05-13 16:52:07 +02:00
Codexplorer	e41b969da2	Refactored uses of log_id()	2026-05-08 20:59:24 -07:00
Lofty	ed5d122174	Merge pull request #5793 from YosysHQ/lofty/abc-refactor-4 ... read/write_xaiger2: further cleanup [sc-269]	2026-04-21 12:13:42 +00:00
Lofty	f09afcf581	write_xaiger2: further cleanup	2026-04-08 11:08:44 +01:00
Emil J	b485173428	Merge pull request #5792 from YosysHQ/emil/toposort-stability ... toposort: avoid run to run variance caused by pointer sensitivity	2026-04-08 08:51:47 +00:00
Emil J. Tywoniak	cd49dc7be8	cxxrtl: stable TopoSort	2026-04-06 15:09:52 +02:00
Lofty	b55fd6718b	write_xaiger2: fix indentation	2026-04-02 10:47:08 +01:00
Lofty	568a31c83a	write_xaiger2: fix function argument evaluation order	2026-03-31 10:40:58 +01:00