Add Vortex DSE specifications - #220

Open

vasilisnasopoulos wants to merge 7 commits into

tlaplus:masterfrom

vasilisnasopoulos:vortex-dse

Commits on Aug 5, 2026

Add Vortex DSE specifications

vasilisnasopoulos
and
claude
committed
7da2f4d
Move model-checking bounds out of the specifications

vasilisnasopoulos
and
claude
committed
d8ba318
Apply the TLA+ review guidelines

vasilisnasopoulos
and
claude
committed
9b3d8a9

Commits on Aug 6, 2026

Act on the review

vasilisnasopoulos
and
claude
committed
98f7f5b
Make the TTL module earn its place

vasilisnasopoulos
and
claude
committed
1979e0a

Commits on Aug 8, 2026

VortexDSE: remove the README pending a rewrite

vasilisnasopoulos
and
claude
committed
0bc3d23

Commits on Aug 9, 2026

VortexDSE: a README that states the problem and the limits

vasilisnasopoulos
and
claude
committed
b459eae