Yogish Sekhar
|
7935321b25
|
Fix FSM thread nondeterminism (#7644) (#7646)
|
2026-05-22 22:30:01 -04:00 |
github action
|
a208d17939
|
Apply 'make format'
|
2026-05-21 17:51:28 +00:00 |
|
Yogish Sekhar
|
f282335600
|
Support FSM detection in primitive wrappers (#7607)
|
2026-05-21 13:50:31 -04:00 |
|
github action
|
d874d2fd06
|
Apply 'make format'
|
2026-05-20 11:11:52 +00:00 |
|
Yogish Sekhar
|
9e4863589e
|
Fix non-determinism in FSM detection (#7619)
Fixes #7619
|
2026-05-20 12:10:53 +01:00 |
|
Yogish Sekhar
|
8312e9d901
|
Extend FSM Detect to support 'Wide State Encodings' (#7573)
|
2026-05-13 06:59:22 -04:00 |
|
github action
|
485c0e746c
|
Apply 'make format'
|
2026-05-10 17:13:56 +00:00 |
|
Yogish Sekhar
|
f67159de30
|
Extend FSM coverage detection to case-free FSMs - Use - if/else chains (#7561)
|
2026-05-10 13:12:58 -04:00 |
|
Yogish Sekhar
|
ce34f1a070
|
Improve FSM Detection when state variables are non-enums (#7529)
|
2026-05-07 06:53:19 -04:00 |
|
github action
|
021f5f7d02
|
Apply 'make format'
|
2026-04-30 11:23:36 +00:00 |
|
Yogish Sekhar
|
7f01806e15
|
Improve FSM coverage detection (#7490)
|
2026-04-30 07:22:34 -04:00 |
|
github action
|
e4da16caf0
|
Apply 'make format'
|
2026-04-22 19:20:00 +00:00 |
|
Yogish Sekhar
|
a680919edc
|
Support native FSM state and arc coverage (#7412)
|
2026-04-22 15:18:59 -04:00 |