zacheryasc/swactor
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: guarantees on runtime execution #53

Merged
zacheryasc merged 2 commits from runtime-guarantees into master 2026-03-28 05:08:58 +00:00
Conversation 0 Commits 2 Files changed 23 +4348 -270

2 commits

Author SHA1 Message Date
Zachery Aaron Shores-Chmielewski
672a23ba42 feat: runtime guarantees and checks 
Exhaustive checks of the statespace that enable us to give formal
guarantees about runtime properties.
 2026-03-28 12:07:08 +07:00
Zachery Aaron Shores-Chmielewski
05379928d6 feat: framework for guarantees on runtime execution properties 2026-03-18 13:09:56 +07:00