github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-18 17:27:06 +00:00
Code Issues Releases Wiki Activity
YosysHQ.yosys/tests
History
KrystalDelusion 1ae82d7b9d
Merge pull request #5233 from YosysHQ/krys/equiv_assume 
Assumptions for equiv_*
2025-08-09 10:39:04 +12:00
..
aiger
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
alumacc
macc_v2: Add test
2025-01-27 13:19:26 +01:00
arch
Merge pull request #5241 from Anhijkt/opt_dff-simplify-pt
2025-08-04 09:44:57 +01:00
asicworld
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
bind
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
blif
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
bram
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
bugpoint
raise_error: Extra test
2025-08-02 14:54:32 +12:00
cxxrtl
Reinstate #4768
2025-04-08 11:58:05 +12:00
errors
…
fmt
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
fsm
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
functional
functional tests: run from make tests but not smtlib/rkt tests
2024-09-04 10:30:08 +01:00
hana
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
liberty
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
lut
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
memfile
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
memlib
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
memories
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
opt
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
opt_share
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
peepopt
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
proc
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
realmath
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
rpc
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
sat
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
select
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
share
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
sim
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
simple
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
simple_abc9
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
smv
Remove references to ilang
2024-11-05 12:36:31 +13:00
sva
tests/sva: Skip sva tests that use SBY until SBY is compatible again
2024-03-05 14:37:33 +01:00
svinterfaces
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
svtypes
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
techmap
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
tools
support file locations containing spaces
2022-08-08 20:30:50 +02:00
unit
Making stringf() use the format conversion specs as-is without widening them.
2025-07-31 10:54:56 +00:00
various
Merge pull request #5233 from YosysHQ/krys/equiv_assume
2025-08-09 10:39:04 +12:00
verific
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
verilog
Merge pull request #5183 from YosysHQ/emil/test-diagnostics
2025-08-08 14:46:25 +02:00
vloghtb
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
xprop
tests: Comment on A[0]
2024-02-16 11:43:28 +01:00
.gitignore
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
2025-07-22 10:38:38 +00:00
gen-tests-makefile.sh
Update gen-tests-makefile.sh
2025-03-27 10:33:51 +13:00