400 commits

Author	SHA1	Message	Date
Akash Levy	9d3b7f7474	Merge branch 'YosysHQ:main' into main	2025-02-26 09:51:44 -08:00
Emil J	b4a169527d	Merge pull request #4894 from YosysHQ/emil/abstract ... Add `abstract` pass for formal verification	2025-02-25 11:16:37 +01:00
Emil J. Tywoniak	3f60a2cc67	abstract: test -slice from:to for -init	2025-02-25 00:22:14 +01:00
Emil J. Tywoniak	3cb7054e53	abstract: test -slice for all modes, -rtlilslice for -init	2025-02-25 00:18:16 +01:00
Emil J. Tywoniak	5bd18613bb	abstract: test -init	2025-02-19 23:03:43 +01:00
Alain Dargelas	929c817384	splitnets new options	2025-02-19 09:43:53 -08:00
Emil J. Tywoniak	34e3fcbb31	abstract: test -value	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	d3a90021ad	abstract: test -state	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	387d0de383	abstract: -state allow partial abstraction, don't use buffer-normalized mode	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	6027030215	abstract: -value MVP, use buffer-normalized mode	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	4637fa74e3	abstract: -init MVP	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	e4ca7b8846	abstract: -state MVP	2025-02-18 17:08:45 +01:00
Akash Levy	c4254a9a95	Final cleanup	2025-02-14 10:18:13 -08:00
Akash Levy	4e45a86e12	Merge branch 'YosysHQ:main' into main	2025-02-06 12:29:43 -08:00
Jannis Harder	40c690b030	extract_fa: Add test case	2025-01-30 18:45:06 +01:00
Akash Levy	bca65ceff7	opt_clean was removing the unused bits annotation	2025-01-16 19:48:31 -08:00
Akash Levy	67a93dc76d	scopeinfo inverted	2025-01-16 19:36:42 -08:00
Alain Dargelas	84c6be1edd	Add splitfanout tests	2025-01-16 12:04:53 -08:00
Akash Levy	5c514e00a4	Sync with upstream	2025-01-13 17:20:59 -08:00
N. Engelhardt	7e3990b681	Merge pull request #4837 from YosysHQ/json_scopinfo_opt ... write_json: add option to include $scopeinfo cells	2025-01-10 09:57:22 +00:00
N. Engelhardt	77b28442a5	emit $scopeinfo cells by default	2025-01-08 14:47:46 +01:00
N. Engelhardt	dab7905cbe	write_json: add option to include $scopeinfo cells	2025-01-08 13:33:56 +01:00
Akash Levy	443613da69	Merge branch 'YosysHQ:main' into main	2025-01-07 00:56:19 -05:00
Martin Povišer	41e4aa8f0a	Merge pull request #4819 from povik/wreduce-resign ... wreduce: Optimize signedness when possible	2025-01-06 15:27:55 +01:00
Akash Levy	1dcf75d175	Sync	2024-12-19 21:40:30 -08:00
Martin Povišer	08778917db	wreduce: Optimize signedness when possible	2024-12-16 12:57:08 +01:00
Emil J. Tywoniak	6240aec433	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
Akash Levy	caaef5ac14	Merge branch 'YosysHQ:main' into main	2024-12-11 12:00:34 -08:00
Martin Povišer	4bd6061709	Merge pull request #4799 from povik/wrapcell-unused ... wrapcell: Optionally track unused outputs	2024-12-10 21:16:28 +01:00
Martin Povišer	48c8d70a45	wrapcell: Test check -assert post wrapping	2024-12-10 15:13:31 +01:00
Akash Levy	e0ba08dd1d	Merge branch 'YosysHQ:main' into main	2024-12-09 11:13:47 -08:00
Martin Povišer	b0708a38bf	Merge pull request #4678 from povik/tcl-rtlil-api ... Start Tcl design inspection methods	2024-12-09 15:44:58 +01:00
Martin Povišer	d57d21e566	wrapcell: Optionally track unused outputs	2024-12-05 18:16:53 +01:00
Akash Levy	4356eae4c9	Yosys sync	2024-12-04 14:16:55 -08:00
Martin Povišer	59a96470df	Merge pull request #4773 from povik/wrapcell ... wrapcell: Add new command	2024-12-04 11:49:51 +01:00
Martin Povišer	109d97bb40	Merge pull request #4706 from povik/keep_hierarchy-adjustalgo ... Adjust `keep_hierarchy` behavior	2024-12-03 12:18:28 +01:00
Martin Povišer	f0704b6ede	Redo integer passing on top of bignum	2024-12-02 19:56:51 +01:00
Martin Povišer	79e9258a31	wrapcell: Add new command	2024-11-27 14:01:00 +01:00
Akash Levy	3190771892	Small fixes to get a test working	2024-11-16 22:21:58 -08:00
Akash Levy	1017b19405	Small README updates	2024-11-12 02:53:13 -08:00
Akash Levy	ea76abdaee	Merge	2024-11-11 11:47:58 -08:00
Martin Povišer	1b1a6c4aed	Merge pull request #4525 from georgerennie/peepopt_clock_gate ... peepopt: Add formal opt to rewrite latches to ffs in clock gates	2024-11-11 14:49:09 +01:00
Akash Levy	fa50434708	Merge branch 'YosysHQ:main' into main	2024-11-08 14:10:24 -08:00
Martin Povišer	69a36aec3b	Add keep_hierarchy test	2024-11-05 09:28:45 +01:00
Krystine Sherwin	ee73a91f44	Remove references to ilang	2024-11-05 12:36:31 +13:00
Martin Povišer	f7400a06cd	Fix test	2024-11-04 16:19:59 +01:00
Martin Povišer	23922faecc	Test new Tcl methods	2024-11-04 16:18:50 +01:00
Akash Levy	4334792d0c	Update gitignore	2024-10-10 13:34:05 -07:00
Akash Levy	b0b89627ac	Disable broken test	2024-10-10 13:31:59 -07:00
Akash Levy	fdc4c54c66	Merge branch 'YosysHQ:main' into main	2024-10-07 07:27:27 -10:00