3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-01 06:37:51 +00:00
yosys/tests
Krystine Sherwin db5b76edc1
Add test for shifting by INT_MAX
Currently resulting in CI failing on main during fsm checks which generate a circuit that simplifies to this.
2025-02-14 14:01:27 +13:00
..
aiger
alumacc macc: Stop using the B port 2025-01-08 13:03:35 +01:00
arch test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
asicworld
bind
blif
bram
cxxrtl
errors
fmt
fsm
functional
hana
liberty
lut
memfile
memlib
memories
opt Add test for shifting by INT_MAX 2025-02-14 14:01:27 +13:00
opt_share
proc Merge pull request #4714 from georgerennie/george/proc_dff_bug_multiple_sigs 2024-11-20 13:26:32 +01:00
realmath
rpc
sat test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
select
share
sim test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
simple
simple_abc9
smv
sva
svinterfaces
svtypes test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
techmap test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
tools
unit
various extract_fa: Add test case 2025-01-30 18:45:06 +01:00
verific Merge pull request #4814 from YosysHQ/emil/make-test-fasterer 2024-12-18 19:02:39 +01:00
verilog test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
vloghtb
xprop
gen-tests-makefile.sh test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00