search

tlaplus / Examples

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

Improved the model by making ops log process local variable #92

Closed muratdem closed 1 year ago

muratdem commented 1 year ago

also fixed the empty writeset issue

lemmy commented 1 year ago

LGTM

muratdem commented 1 year ago

If @muenchnerkindl is also OK, can we merge this? I am writing a blog post to explain the content, and I want to link to the repo here, instead of (albeit tentatively) to my fork of it.

muenchnerkindl commented 1 year ago

Sure, I'll merge this version.