quorate/docs/spec/project-delivery
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2026-11-12 11:49:00 +00:00
..
Liveness.cfg ce7cb702218693d08ea6d83464d2457c9250027c 2026-11-12 11:49:00 +00:00
ProjectDelivery.tla ce7cb702218693d08ea6d83464d2457c9250027c 2026-11-12 11:49:00 +00:00
QualConcurrency.cfg ce7cb702218693d08ea6d83464d2457c9250027c 2026-11-12 11:49:00 +00:00
Qualification.cfg ce7cb702218693d08ea6d83464d2457c9250027c 2026-11-12 11:49:00 +00:00
Qualification.tla ce7cb702218693d08ea6d83464d2457c9250027c 2026-11-12 11:49:00 +00:00
Safety.cfg ce7cb702218693d08ea6d83464d2457c9250027c 2026-11-12 11:49:00 +00:00