issues
search
tlaplus
/
Examples
A collection of TLA⁺ specifications of varying complexities
Other
1.27k
stars
198
forks
source link
Validate README.md markdown table in CI
#105
Closed
ahelwer
closed
8 months ago
ahelwer
commented
8 months ago
Added python script to parse & validate README spec table against manifest.json, to run during CI
Split specs not included in this repo into a separate table
Remove number, Description, and External Modules columns
Added detail to Name column and added Beginner flag column
Added missing specs to table
Added missing feature flags to table
Added missing authors to table
Reordered specs to beginner-friendly specs with more feature flags are near the top
Closes #70
Closes #70