| .. |
|
aiger
|
read_aiger: Fix incorrect read of binary Aiger without outputs
|
2024-04-29 14:06:58 +01:00 |
|
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
|
Move parameters to module declaration
|
2024-04-08 12:44:37 +02:00 |
|
memories
|
Move parameters to module declaration
|
2024-04-08 12:44:37 +02:00 |
|
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
|
tests/sva: Skip sva tests that use SBY until SBY is compatible again
|
2024-03-05 14:37:33 +01:00 |
|
svinterfaces
|
|
|
|
svtypes
|
Modifications
|
2024-03-21 11:31:43 -07:00 |
|
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
|
tests: Comment on A[0]
|
2024-02-16 11:43:28 +01:00 |
|
gen-tests-makefile.sh
|
do not override existing shell variable
|
2024-02-12 12:58:13 +01:00 |
