search

tlaplus / Examples

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

Add Apalache to CI #141

Closed ahelwer closed 7 months ago

ahelwer commented 7 months ago

This adds Apalache to the CI along with support for using it to check models marked as using the symbolic model-checking mode. Since this requires an extra parameter to be added to a number of scripts, this is a breaking change.

@konnov as FYI

lemmy commented 7 months ago

I've alreay merged tlaplus/tlaplus#912 as this seems ready.