Akash Levy 711e1f3164 Merge branch 'YosysHQ:main' into main		2024-10-16 13:21:03 -07:00
..
aiger
arch	wheels: fix missing yosys-abc/share directory	2024-10-09 13:09:14 +03:00
asicworld
bind
blif
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	Merge branch 'YosysHQ:main' into main	2024-10-07 07:27:27 -10:00
liberty_verilog	Add Liberty to verilog conversion tests	2024-10-05 01:34:12 -10:00
lut
memfile
memlib
memories
opt	Standardize convention, add back test, update README	2024-09-23 06:06:43 -07:00
opt_share
proc	proc_dff: add tests	2024-08-28 16:24:47 +01:00
realmath
rpc
sat
select	select: add t:@<name> test	2024-10-15 21:06:06 +02:00
share
sim
simple	wreduce test works now	2024-10-02 17:25:57 -07:00
simple_abc9
smv
sva
svinterfaces
svtypes
techmap	Adjust operation naming in aigmap test	2024-09-17 13:55:58 +02:00
tools
unit	rtlil: represent Const strings as std::string	2024-10-14 06:28:12 +02:00
various	Update gitignore	2024-10-10 13:34:05 -07:00
verific	Update Verific	2024-10-02 23:09:36 -07:00
verilog	Added cast to type support (#4284)	2024-09-29 17:03:01 -04:00
vloghtb
xprop
gen-tests-makefile.sh