mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-02-22 03:07:38 +00:00
Code Activity
791 commits 13 branches 37 tags 3 MiB
Commit graph

791 commits

This branch
This branch
All branches
Author SHA1 Message Date
Gus Smith
551d8df2a9 Remove comments and point to appnote 
Instead of duplicating editorial comments in the test, we should just
point to the appnote where the comments are already made in a more
substantive way.
 2026-02-18 08:20:51 -08:00
Gus Smith
e89f71b3cb phase->stage 2026-01-21 08:30:03 -08:00
Gus Smith
b66bbe4503 Use tags 2026-01-21 08:22:19 -08:00
Gus Smith
501a054731 Change stage 3 assertion 2026-01-21 08:20:24 -08:00
Gus Smith
5e6e984a67 Fix bitwidths 2026-01-21 08:20:00 -08:00
Gus Smith
fcba8d3780 Change select to match other select 2026-01-13 09:53:16 -08:00
Gus Smith
b23e01c2a1 Fix comment 2026-01-13 09:53:09 -08:00
Gus Smith
022323bd71 Revive an independent prep stage 2026-01-13 09:40:14 -08:00
Gus Smith
9389f3a7d6 Update script 2026-01-13 08:18:54 -08:00
Gus Smith
d82ef4daf9 Update sby file for new stages 2026-01-13 08:17:17 -08:00
Gus Smith
d6252f7ee5 Change comments and labels 2026-01-13 08:17:00 -08:00
Gus Smith
81a0af362a Widen signal 2026-01-13 08:12:22 -08:00
Gus Smith
878395af2e
Merge pull request #347 from YosysHQ/gus/staged-sim-and-verif-test 
Staged verification test
 2026-01-06 16:56:28 -08:00
Gus Smith
0b88cdac90 Remove req assertion; make assertion richer 2025-12-29 12:28:06 -08:00
Gus Smith
a41fdb6784 Fix: rename path 2025-12-29 11:37:48 -08:00
Gus Smith
4decc31933 Split cover stage into two final stages 2025-12-29 09:38:07 -08:00
Gus Smith
6c8a26eb86 Update script 2025-12-29 09:34:18 -08:00
Gus Smith
531e328c3d Update sby file 2025-12-29 09:34:04 -08:00
Gus Smith
5abce0c9ee Update readme 2025-12-29 09:32:33 -08:00
Gus Smith
4a4d75df6a We still need to run the actual prep pass 2025-12-29 09:07:24 -08:00
Gus Smith
889bfab8c9 Explicitly skip prep 2025-12-29 09:07:11 -08:00
Gus Smith
01f5c10cd7 Adds notes to readme 2025-12-29 08:32:49 -08:00
Gus Smith
e904e88fc9 Use labels to be more like SCY 2025-12-15 17:36:36 -08:00
Gus Smith
7c66b2d132 Remove redundant cd 2025-12-15 13:24:13 -08:00
Gus Smith
07669fde92 Revert "Rework file based on new understanding of make" 
This reverts commit 2b38c31936.
 2025-12-15 13:20:32 -08:00
Gus Smith
36fcd8fbc8 Revert "Get rid of unnecessary file" 
This reverts commit f9bee0464b.
 2025-12-15 13:20:28 -08:00
Gus Smith
f9bee0464b Get rid of unnecessary file 2025-12-15 13:04:25 -08:00
Gus Smith
2b38c31936 Rework file based on new understanding of make 2025-12-15 13:00:58 -08:00
Gus Smith
8274979147 Update readme 2025-12-15 12:47:36 -08:00
Gus Smith
9779436d0b Simplify script by relying on sby's prep routine 2025-12-15 12:41:47 -08:00
Gus Smith
1ee552a502 Syntax 2025-12-15 12:41:38 -08:00
Gus Smith
358ccf3ab6 Reindent 2025-12-15 12:30:06 -08:00
Gus Smith
a0ab7de28c Fix readme 2025-12-15 12:27:24 -08:00
Gus Smith
4be8853a32 Add readme 2025-12-09 11:20:27 -08:00
Gus Smith
ad93d4fc4f Add initial test impl 2025-12-09 11:17:33 -08:00
KrystalDelusion
cc84339b37
Merge pull request #344 from YosysHQ/gussmith23-patch-1 
Fix typo on anyconst attribute in verilog.rst
 2025-11-25 12:52:23 +13:00
Gus Smith
af160ada0f
Fix typo on anyconst attribute in verilog.rst 2025-11-24 14:45:32 -08:00
N. Engelhardt
87825b8b50
Merge pull request #343 from YosysHQ/krys/error-on-warning 2025-11-24 17:16:05 +01:00
Krystine Sherwin
e29cc2f8e6
Docs: Drop unsupported syntax highlighting 
So that it doesn't raise a warning-as-error.
 2025-11-20 09:08:33 +13:00
Krystine Sherwin
87612b69f9
RTDs: Fail on warning 2025-11-20 09:07:42 +13:00
N. Engelhardt
0b9e83deda
Merge pull request #342 from YosysHQ/fix_docs_table 2025-11-19 10:43:59 +01:00
N. Engelhardt
1a44b87d9a fix whitespace in docs options table 2025-11-19 09:22:00 +01:00
Jannis Harder
11fd202f4c
Merge pull request #341 from jix/cycle_width_option 
Add `cycle_width` option for sim's new `-width` option
 2025-10-20 18:52:09 +02:00
Jannis Harder
6d0a1ed960 Add cycle_width option for sim's new -width option 2025-10-20 17:30:09 +02:00
N. Engelhardt
dbbc25a139
Merge pull request #340 from YosysHQ/krys/fix_338 2025-10-02 17:07:39 +02:00
Krystine Sherwin
d8e276983e
no_props.sby: Add btor_cover placeholder 
The test infrastructure doesn't like when the `cover` tag is used but there is no task that uses it (because it thinks it is a task rather than a tag).
 2025-09-30 11:22:13 +13:00
Krystine Sherwin
db782815f2
More tests without properties 
Used `sby --autotune` to find other engines which fail (though there aren't any other exceptions that I could find).
Parse errors from `abc bmc3` and `abc sim3` instead of returning UNKNOWN.
 2025-09-30 10:32:49 +13:00
Krystine Sherwin
c06d8682cd
Fix abc crash when aiger_props is empty 
Includes test reproducer from #338, modified to also test `abc --keep-going pdr`.
 2025-09-30 10:26:36 +13:00
KrystalDelusion
12380801e3
Merge pull request #335 from YosysHQ/krys/fix_status_trace 
Prefer traces even without depth
 2025-08-05 15:32:03 +12:00
KrystalDelusion
5fc7b93627
Merge branch 'main' into krys/fix_status_trace 2025-08-05 12:55:12 +12:00