search

tlaplus / Examples

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

Add scripts to convert specs to unicode and insert number set shim #130

Closed ahelwer closed 7 months ago

ahelwer commented 7 months ago

Changes:

  1. Modify CI dependency download scripts to get TLAUC
  2. Add python script to convert all modules to unicode, and back
  3. Add script to insert shim definitions like LOCAL ℕ ≜ Nat as necessary

None of these scripts are called in the CI at this time but they are available to be called by other repos consuming this repo.

Will help with testing for https://github.com/tlaplus/tlaplus/pull/896

Also renamed RealTime.tla in Specifying Systems because the standard module was being picked up instead of it.