Commit Graph

15265 Commits

Author SHA1 Message Date
Alain Dargelas 0f9901f128 forgot to recompute chains 2025-01-10 14:51:21 -08:00
Alain Dargelas 2ae521bbd1 Built-in splitfanout in muxpack 2025-01-10 13:55:23 -08:00
Alain Dargelas 99afdfa2bf Merge branch 'main' into make_excl 2025-01-10 13:50:59 -08:00
Akash Levy 737e95d3e9 Move signal outside Py_IsInitialized 2025-01-10 11:52:10 -08:00
Akash Levy 60d7723a64 Smallfixes to reconstruct busses to use logger and ignore blackboxes 2025-01-10 11:50:59 -08:00
Akash Levy 2b4e175698 bufnorm log_debug to reduce time 2025-01-09 19:24:54 -08:00
Akash Levy 8ec83c8189 Install share directory properly 2025-01-09 15:12:59 -08:00
Akash Levy 91687da279 Add delete command 2025-01-09 14:44:47 -08:00
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
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