15247 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Akash Levy	2cf97cf744	Splitfanout index fix	2025-01-07 01:51:00 -08:00
Akash Levy	443613da69	Merge branch 'YosysHQ:main' into main	2025-01-07 00:56:19 -05:00
github-actions[bot]	d37449605d	Bump version	2025-01-07 00:21:35 +00:00
Akash Levy	432db6353b	Merge pull request #39 from alaindargelas/enable_formal_passes ... Enable formal passes	2025-01-06 17:59:56 -05:00
Alain Dargelas	f6c0e184ce	Enable formal passes	2025-01-06 14:58:00 -08:00
N. Engelhardt	ad698f4397	Merge pull request #4833 from YosysHQ/docs-preview-norestructure ... Docs: Remove restructure note	2025-01-06 15:38:38 +00: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
KrystalDelusion	9e039095e9	Docs: Remove restructure note ... It's been almost a year since the restructure, so it's not recent anymore and doesn't need to link back to the old version.	2025-01-06 11:08:00 +13:00
Akash Levy	adfcaa9985	Fix verific dependency	2025-01-05 06:40:35 -08:00
Akash Levy	ace5b02cbc	Bump update	2025-01-04 21:39:08 -08:00
Akash Levy	6affb9b5ce	Remove yosys-slang for now	2025-01-04 21:35:46 -08:00
Akash Levy	8c06c01ab5	Merge branch 'YosysHQ:main' into main	2025-01-04 20:33:08 -05:00
github-actions[bot]	17a53b8385	Bump version	2025-01-04 00:20:29 +00:00
Martin Povišer	be351886a5	wreduce: Adjust naming and comments	2025-01-03 12:54:34 +01:00
Martin Povišer	45e31f06b4	Merge pull request #4831 from mikesinouye/hashlib ... Approximately double the max hash table size	2025-01-03 10:32:56 +01:00
mikesinouye	de9cb5a60c	Remove spurious prime	2025-01-02 11:05:30 -08:00
mikesinouye	1ae0d8432f	Approximately double the max hash table size	2025-01-02 08:59:11 -08:00
github-actions[bot]	cbb95cb517	Bump version	2024-12-26 00:20:44 +00:00
Akash Levy	33b3d933de	Merge branch 'YosysHQ:main' into main	2024-12-25 04:25:25 -08:00
Catherine	1ef4c7f565	yosys-smtbmc: add cvc5 to help text.	2024-12-25 04:59:02 +00:00
Akash Levy	bb91c5c9da	Merge pull request #37 from alaindargelas/opt_balance_tree_fanout_limit ... New -limit_fanout option for opt_balance_tree	2024-12-20 14:05:22 -08:00
Akash Levy	4f41e01edc	const modifier for pool of SigBit -> SigSpec conversion causing linkage errors on Mac	2024-12-20 11:56:10 -08:00
Akash Levy	18d46c00e0	Disable more unnecessary tests	2024-12-20 11:32:41 -08:00
Akash Levy	2508d45f0b	Use std::hash for RTLIL hashing	2024-12-19 21:54:57 -08:00
Akash Levy	1dcf75d175	Sync	2024-12-19 21:40:30 -08:00
github-actions[bot]	8acc77c1e0	Bump version	2024-12-20 00:21:02 +00:00
Alain Dargelas	ab0058a568	New -limit_fanout option for opt_balance_tree	2024-12-19 11:44:39 -08:00
Emil J	8fd40942e9	Merge pull request #4825 from YosysHQ/emil/fix-gcc-error-directive ... yosys_common: fix gcc warning in #error directive	2024-12-19 16:29:03 +01:00
Emil J. Tywoniak	cea5326229	yosys_common: fix gcc warning in #error directive	2024-12-19 15:55:51 +01:00
Emil J	301d9677b0	Merge pull request #4824 from YosysHQ/emil/fix-witness-stack-overflow ... yw: fix unintensional recursion in hash_into	2024-12-19 15:30:57 +01:00
Emil J. Tywoniak	a6bd8ff3e5	yw: fix unintensional recursion in hash_into	2024-12-19 11:47:34 +01:00
github-actions[bot]	281e474d45	Bump version	2024-12-19 00:22:04 +00:00
Akash Levy	56130cb5ec	Merge pull request #36 from alaindargelas/backward_lib ... Backward trace lib	2024-12-18 16:03:36 -08:00
Alain Dargelas	ad52b261a1	Remove libelf	2024-12-18 15:58:57 -08:00
Alain Dargelas	f0297fd65f	Backward trace lib	2024-12-18 15:53:57 -08:00
Emil J	6ab5be4a0e	Merge pull request #4814 from YosysHQ/emil/make-test-fasterer ... test: every test everywhere all at once	2024-12-18 19:02:39 +01:00
Emil J	f6e435fdfb	Merge pull request #4524 from YosysHQ/emil/hashlib-interface ... Neater hashing interface	2024-12-18 18:50:53 +01:00
Emil J. Tywoniak	026e9dae9d	hashlib: fixes from jix	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	ed70038aa1	hashlib: fixes from jix	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	b9b9515bb0	hashlib: hash_eat -> hash_into	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	0a525f38c2	hashlib: declare YS_HASHING_VERSION = 1	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	1df8a3e64b	hashlib: legacy mkhash_add -> djb2_add	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	4e29ec1854	hashlib: acc -> eat	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	79acc141d5	hashlib: add deprecated mkhash function to prevent plugin breakage	2024-12-18 14:58:53 +01:00
Emil J. Tywoniak	6d53454bf5	docs: move hashing-based container details into internal docs from guidelines	2024-12-18 14:58:53 +01:00
Emil J	1401906d81	docs: formatting and fixes ... Co-authored-by: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>	2024-12-18 14:58:53 +01:00
Krystine Sherwin	0454787443	Docs: Formatting and fixes	2024-12-18 14:58:51 +01:00
Emil J. Tywoniak	ad0dc17711	docs: document the ideas behind the hashing interface	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	0dafe06cd4	hashlib: run_hash uses hash_top_ops, not hash_ops	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	02a578365a	hashlib: remove is_new from HasherDJB32, implement hash_top for IdString	2024-12-18 14:58:31 +01:00