mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-16 20:25:43 +00:00
Code Activity
15855 commits 136 branches 69 tags 59 MiB
Commit graph

15855 commits

This branch
This branch
All branches
Author SHA1 Message Date
williamzhu17
82fa68aa2d added new muxorder tests 2025-05-08 14:05:13 -07:00
Akash Levy
4bd08ac362
Merge branch 'YosysHQ:main' into main 2025-04-01 22:10:43 -07:00
github-actions[bot]
f03b44959b Bump version 2025-04-02 00:23:07 +00:00
Miodrag Milanović
402af3ece7
Merge pull request #4982 from YosysHQ/micko/verific_fix_restore 
verific: fix restoring msg state after blackbox import
 2025-04-01 18:32:08 +02:00
Miodrag Milanovic
72f2185a94 verific: fix restoring msg state after blackbox import 2025-04-01 17:35:59 +02:00
github-actions[bot]
c08f72b806 Bump version 2025-04-01 00:26:08 +00:00
Akash Levy
027a4cec13
Merge branch 'YosysHQ:main' into main 2025-03-31 14:07:26 -07:00
Akash Levy
d743a18ea3 Fix extract_reduce infinite loop 2025-03-31 12:36:43 -07:00
Emil J
3a1255546a
Merge pull request #4975 from YosysHQ/emil/opt_expr-cover-with-tests 
opt_expr: expand test coverage
 2025-03-31 20:13:16 +02:00
Emil J. Tywoniak
6194eb939d opt_expr: expand test coverage 2025-03-31 19:31:53 +02:00
Akash Levy
f488b0e74c Add lut2bmux, annotate_unqcoef, and seed tests 2025-03-31 05:55:54 -07:00
Akash Levy
3f00e57076 Improve the naming for opt_reduce 2025-03-31 01:22:42 -07:00
Akash Levy
f72d27fae0 Robustness fixes 2025-03-30 22:23:21 -07:00
Akash Levy
984c6357ba Add -word mode to lut2mux and improve the naming 2025-03-30 17:54:35 -07:00
Akash Levy
161ff0fa3f Add muxmode pass and tests 2025-03-30 17:54:18 -07:00
Akash Levy
dacd882383 Remove selectconst 2025-03-28 17:40:40 -07:00
github-actions[bot]
314842d2a0 Bump version 2025-03-29 00:22:03 +00:00
Akash Levy
4d7581bc0b
Merge pull request #77 from williamzhu17/breaksop-tests 
Added breaksop tests
 2025-03-28 15:58:56 -07:00
williamzhu17
1628a22195 added extra test for multiple sops 2025-03-28 14:58:17 -07:00
Akash Levy
1a5415b5a2
Merge branch 'YosysHQ:main' into main 2025-03-28 14:56:36 -07:00
williamzhu17
a4a4544223 Merge branch 'breaksop-tests' of github.com:williamzhu17/yosys into breaksop-tests 2025-03-28 14:54:21 -07:00
williamzhu17
727c6a51be added comment about one test case 2025-03-28 14:54:00 -07:00
William Zhu
ddb621d011
Merge branch 'Silimate:main' into breaksop-tests 2025-03-28 14:50:35 -07:00
williamzhu17
5987454eac added breaksop-tests 2025-03-28 14:50:02 -07:00
Akash Levy
df8581a741
Merge pull request #76 from williamzhu17/breakreduce-tests 
Add breakreduce Tests
 2025-03-28 11:52:54 -07:00
williamzhu17
ebb7a1b548 added reduce XNOR test cases 2025-03-28 10:52:56 -07:00
williamzhu17
baaa90993e added breakreduce tests 2025-03-28 10:43:10 -07:00
Emil J
1b25e1cee0
Merge pull request #4942 from Anhijkt/fix-ice40dsp 
ice40_dsp: fix log_assert issue
 2025-03-28 13:32:17 +01:00
Emil J
b2816b22c5
Merge pull request #4965 from YosysHQ/krys/gen_err_files 
More *.err files in test failures
 2025-03-28 13:08:44 +01:00
Emil J
c672e442c5
Merge pull request #4966 from yrabbit/primitives 
Gowin. Remove unnecessary modules
 2025-03-28 13:07:09 +01:00
Emil J
ec8b745929
Merge pull request #4733 from antmicro/fix-setundef-pass-for-params 
Fix setting bits of parameters in setundef pass
 2025-03-28 13:06:04 +01:00
Akash Levy
7bbd7ef3eb
Merge pull request #75 from williamzhu17/test-yosys-fix 
Fixes for the test-yosys
 2025-03-27 17:23:49 -07:00
williamzhu17
7208e05bdf fixes for the yosys test 2025-03-27 17:19:08 -07:00
Akash Levy
65c41e73cd
Merge pull request #74 from williamzhu17/mux-and-or-not 
Mux andnot + ornot optimization tests
 2025-03-27 17:14:28 -07:00
williamzhu17
770eecb4f7 code cleanup 2025-03-27 15:27:15 -07:00
William Zhu
eefdcbfe81 added ornot tests 2025-03-27 15:23:18 -07:00
William Zhu
7f04cc6755 removed dump verilog 2025-03-27 15:14:28 -07:00
William Zhu
8666e9ae45 tests for mux_andnot 2025-03-27 15:13:57 -07:00
Akash Levy
61b0a5fad2
Merge pull request #73 from williamzhu17/opt_expand_test 
opt_expand test cases
 2025-03-27 13:54:47 -07:00
YRabbit
c37db637c7 Gowin. Remove unnecessary modules 
Primitives that are not planned for implementation for reasons of
belonging to old unsupported chips or representing composite complex IPs
rather than primitives are removed.
Also latches and large MUXes not planned for implementation.

Signed-off-by: YRabbit <rabbit@yrabbit.cyou>
 2025-03-28 06:34:26 +10:00
William Zhu
d493a55025 forgot to add some things to previous commit 2025-03-27 12:40:41 -07:00
William Zhu
3b8330c44f reverted some extra unneccessary checks 2025-03-27 12:40:21 -07:00
William Zhu
a03553b54e added some extra comments and checks 2025-03-27 12:36:15 -07:00
William Zhu
cc4c9c4eba first tests for opt_expand 2025-03-27 12:31:37 -07:00
Akash Levy
3d13f7aae2 Bump to latest 2025-03-26 14:56:10 -07:00
KrystalDelusion
5b6b3d01bf
Update gen-tests-makefile.sh 
Keep file extensions so that e.g. tribuf.ys and tribuf.sh don't try to output to the same log file.
 2025-03-27 10:33:51 +13:00
KrystalDelusion
8a68ae6023
Update gen-tests-makefile.sh 2025-03-27 10:10:49 +13:00
Anhijkt
cb03a1ec21 ice40_dsp: fix test 2025-03-26 15:13:05 +02:00
Emil J
b9131853ff
Merge pull request #4954 from YosysHQ/krys/abstract_default_val 
Fixes for abstract.cc
 2025-03-26 10:40:37 +01:00
Akash Levy
d2028feefe Set Verific flags via -cfg instead of in Yosys 2025-03-25 22:41:06 -07:00