15307 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Alain Dargelas	0a242f87b8	Enable Formal	2025-01-06 11:07:39 -08:00
Alain Dargelas	bd3eedd570	Merge branch 'main' into make_excl	2025-01-06 11:06:28 -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
Alain Dargelas	fad1b285df	format	2024-12-30 17:25:06 -08:00
Alain Dargelas	0d5d7809f8	format	2024-12-30 17:24:06 -08:00
Alain Dargelas	11c9331a51	format	2024-12-30 17:23:00 -08:00
Alain Dargelas	163b1653b1	format	2024-12-30 17:17:47 -08:00
Alain Dargelas	af248c3cb2	format	2024-12-30 17:16:47 -08:00
Alain Dargelas	a32a7b27bc	format	2024-12-30 17:13:00 -08:00
Alain Dargelas	ad80b5336d	format	2024-12-30 17:08:07 -08:00
Alain Dargelas	8d6a542a5d	Decode logic for muxpack	2024-12-27 15:23:25 -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