Action Properties - #2025

Merged

bugarela merged 17 commits into

mainfrom

claude/funny-gates-hlc7d0

Sep 28, 2026

Commits on Sep 27, 2026

Allow `next` in `orKeep` and `mustChange` to write action properties
bugarela
committed
a5580f5
Allow quantifying over actions in temporal definitions
bugarela
committed
99b2dfe
Allow negating actions in temporal definitions
bugarela
committed
2a42030
Post-process the TLA+ produced by Apalache, fixing `mustChange`
bugarela
committed
a479c70
Generalize actions as temporal to standard propagation
bugarela
committed
efcd807
Allow temporal formulas in if-then-else
bugarela
committed
69976a7
Use quint syntax highlighting for the action properties example
bugarela
committed
551732c
Use the same mode error message for all operators applied to actions
bugarela
committed
5d718e2
Fix flattening of qualified imports when a name starts with the qualifier
bugarela
committed
050a551
Allow actions to take temporal arguments in temporal definitions
bugarela
committed
0efbd6b
Reject `and`/`or` with assignments in actions
bugarela
committed
fe97a8e
Add integration tests for action properties with TLC
bugarela
committed
b885a79
Move the `and`/`or` change to Fixed in the CHANGELOG
bugarela
committed
90bd454
Show the output of failing commands in the examples dashboard log
bugarela
committed
feaf219
Use actions with temporal arguments in the lang docs example
bugarela
committed
eb9d66a
Reword test comment on combining actions with `and`
bugarela
committed
a0f0175
Remove editor mode line from the action properties fixture
bugarela
committed
c5cd786