|
.gitignore
|
Ignore test collateral
|
2025-03-13 01:55:22 -07:00 |
|
abstract_init.ys
|
abstract: test -slice from:to for -init
|
2025-02-25 00:22:14 +01:00 |
|
bug3879.ys
|
extract_fa: Add test case
|
2025-01-30 18:45:06 +01:00 |
|
bug4909.ys
|
splitcells: add tests
|
2025-03-10 19:41:22 +02:00 |
|
check_2.ys
|
Final cleanup
|
2025-02-14 10:18:13 -08:00 |
|
check_3.ys
|
Final cleanup
|
2025-02-14 10:18:13 -08:00 |
|
check_4.ys
|
fixes for the yosys test
|
2025-03-27 17:19:08 -07:00 |
|
json_scopeinfo.ys
|
scopeinfo inverted
|
2025-01-16 19:36:42 -08:00 |
|
README.md
|
Final cleanup
|
2025-02-14 10:18:13 -08:00 |
|
run-test.sh
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
|
splitfanout.ys
|
Add splitfanout tests
|
2025-01-16 12:04:53 -08:00 |
|
stat.ys
|
stat: allow gzipped liberty files
|
2025-03-19 13:43:44 +01:00 |
|
tcl_apis.tcl
|
Redo integer passing on top of bignum
|
2024-12-02 19:56:51 +01:00 |
|
tcl_apis.v
|
Redo integer passing on top of bignum
|
2024-12-02 19:56:51 +01:00 |
|
test_splitnets.tcl
|
splitnets new options
|
2025-02-19 09:43:53 -08:00 |
|
test_splitnets.v
|
splitnets new options
|
2025-02-19 09:43:53 -08:00 |
|
test_splitnets.ys
|
splitnets new options
|
2025-02-19 09:43:53 -08:00 |
|
wreduce2.ys
|
wreduce: Optimize signedness when possible
|
2024-12-16 12:57:08 +01:00 |