Released rdra-ish-dsl v1.2.0.
CLI and DSL compiler for reviewing RDRA-style requirements models as code.
This release reduces verify cones by independent sub-lifecycles, adds sets(...).when(Condition) guards, and lets export --kind tla emit StateModel specs for TLC-alone deadlock and witness checks. Naming collisions between generated actions/rules and model ids are fixed. Models that load on v1.1.0 keep the same verdicts.
https://github.com/manji-0/rdra-ish-dsl/releases/tag/v1.2.0
GitHubRelease v1.2.0 · manji-0/rdra-ish-dslFull Changelog: v1.1.0...v1.2.0
commit dbf57f0