|
.gitignore
|
Merge from main
|
2026-02-13 04:14:08 -08:00 |
|
aiger2.ys
|
kernel: Rewrite bufNormalize
|
2025-09-17 13:56:46 +02:00 |
|
autoname.ys
|
autoname.ys: Extra check for rename order
|
2025-09-26 11:36:23 +12:00 |
|
bug3515.v
|
tests: Add bug3515
|
2025-11-25 07:04:34 +13:00 |
|
bug3515.ys
|
tests: Tidy up bug3515
|
2025-11-25 07:35:19 +13:00 |
|
check.ys
|
More minor cleanup
|
2025-09-28 07:19:53 -07:00 |
|
const_arg_loop.ys
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
const_func.ys
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
countbits.ys
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
cutpoint_blackbox.ys
|
Fixups
|
2025-09-29 03:49:44 -07:00 |
|
debugon.ys
|
Add -on/-off modes to debug pass
|
2026-01-15 12:07:26 -08:00 |
|
design_equal_fail.ys
|
Implement design_equal command
|
2025-12-21 21:47:40 +00:00 |
|
design_equal_pass.ys
|
Implement design_equal command
|
2025-12-21 21:47:40 +00:00 |
|
ezcmdline_dummy_solver
|
Add test for ezCmdlineSAT
|
2026-01-20 09:28:00 -08:00 |
|
ezcmdline_plugin.cc
|
Add test for ezCmdlineSAT
|
2026-01-20 09:28:00 -08:00 |
|
fsm-arst.ys
|
typo
|
2025-11-14 13:34:58 +02:00 |
|
json_param_defaults.v
|
Add tests
|
2026-02-11 08:10:57 -08:00 |
|
json_param_defaults.ys
|
Don't dump params by default
|
2026-02-11 08:33:39 -08:00 |
|
param_struct.ys
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
plugin.sh
|
plugins: add search path
|
2025-10-15 14:13:25 +03:00 |
|
stat.ys
|
updated testcase
|
2025-08-16 09:32:08 +02:00 |
|
timeest.ys
|
timeest: Add top ports launching/sampling
|
2025-11-03 14:21:28 +01:00 |