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

feat: begin formal verification pipeline #49

Merged
zacheryasc merged 1 commit from formal-verification into master 2026-02-23 04:53:05 +00:00
Conversation 0 Commits 1 Files changed 10 +2970 -1865

1 commit

Author SHA1 Message Date
Zachery Aaron Shores-Chmielewski
cbc8cc94cf feat: begin formal verification pipeline 
Initial experiments in 'formal verification' of authorization tooling. Current state is not to be trusted, but we are not in a security critical situation, so that is fine.
 2026-02-23 11:52:07 +07:00