buzz/docs/spec at max/proof-check-ci - buzz - Gitea: Git with a cup of tea

mirror of https://github.com/block/buzz.git synced 2026-08-18 06:50:31 +02:00

Files

T

History

Co-authored-by: Tyler Longwell <tlongwell@block.xyz>
Signed-off-by: Tyler Longwell <tlongwell@block.xyz>

2026-06-26 14:30:50 -04:00

.gitignore

2026-06-26 11:15:59 -04:00

check-multitenant-proofs.sh

2026-06-26 14:30:50 -04:00

GitOnObjectStore.cfg

2026-05-21 23:43:46 -04:00

GitOnObjectStore.tla

2026-05-21 23:43:46 -04:00

MultiTenantAuth.spthy

2026-06-26 11:15:59 -04:00

MultiTenantRelay.cfg

2026-06-26 11:15:59 -04:00

MultiTenantRelay.tla

2026-06-26 11:15:59 -04:00