3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-19 19:02:04 +00:00
yosys/tests
2025-02-15 15:54:28 -08:00
..
aiger read_aiger: Fix incorrect read of binary Aiger without outputs 2024-04-29 14:06:58 +01:00
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 Changed boolopt naming 2025-01-16 19:36:27 -08:00
bram
cxxrtl cxxrtl: test stream operator 2024-10-01 13:25:07 +02:00
errors
fmt
fsm
functional functional tests: run from make tests but not smtlib/rkt tests 2024-09-04 10:30:08 +01:00
hana
liberty Cleanup 2025-02-14 08:48:27 -08:00
lut
memfile
memlib
memories rtlil: Adjust internal check for $mem_v2 cells 2024-11-08 15:18:43 +01:00
opt Merge branch 'YosysHQ:main' into main 2025-02-15 15:54:28 -08:00
opt_share
peepopt Cleanup 2025-02-14 08:48:27 -08:00
proc Merge pull request #4714 from georgerennie/george/proc_dff_bug_multiple_sigs 2024-11-20 13:26:32 +01:00
realmath
rpc Remove references to ilang 2024-11-05 12:36:31 +13:00
sat test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
select Merge pull request #4700 from povik/select-list-mod 2024-11-04 15:38:42 +00:00
share
sim test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
simple Final cleanup 2025-02-14 10:18:13 -08:00
simple_abc9
smv Remove references to ilang 2024-11-05 12:36:31 +13:00
sva
svinterfaces
svtypes Sync 2024-12-19 21:40:30 -08:00
techmap Use equiv_opt -nocells to ensure everything is ok since dffs retain their name 2025-01-16 19:40:18 -08:00
tools
unit rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +02:00
various Final cleanup 2025-02-14 10:18:13 -08:00
verific Revert clocking.ys 2025-02-13 20:32:17 -08: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