search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Remove pluscal checksums #137

Closed ahelwer closed 7 months ago

ahelwer commented 7 months ago

Ensure pcal.trans always re-translates the files.

ahelwer commented 7 months ago

Hmmm, perhaps I can just remove them via a regex in the CI before running the pluscal translator. Should the checksums be added to the pluscal modules that don't have them?

lemmy commented 7 months ago

Perhaps, the pcal translator needs a "force flag" (system property) to retranslate even if checksums match. That way, you won't have to modify the .tla files in the CI.