Veripool API Bot
|
1f67080a1f
|
Tests: Verilog format
|
2026-03-09 21:39:16 -04:00 |
Wilson Snyder
|
ba194f3790
|
Tests: Avoid implied static variables, to avoid future warning
|
2026-02-08 18:20:28 -05:00 |
|
Wilson Snyder
|
7c6c6a684b
|
Add SPDX copyright identifiers, and get 'reuse' clean. No functional change.
|
2026-01-26 20:24:34 -05:00 |
Igor Zaworski
|
96ed725278
|
Support `case` impure expressions (#6563)
|
2025-10-17 09:00:32 -04:00 |
|
Wilson Snyder
|
907047d823
|
Tests: Remove unneeded AUTOARGS. No test change.
|
2025-09-13 09:28:43 -04:00 |
|
Wilson Snyder
|
c14eae6d56
|
Add SIDEEFFECT warning on mishandled side effect cases (#487 partial)
|
2023-10-15 06:44:35 -04:00 |