Viewing profile — lemmster

https://github.com/apache/bookkeeper/issues/2614

Direct link to Github repo: https://github.com/tlaplus/PlusPy

Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html

I am the engineer who translated https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... into Java ( https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... ). The …

Below are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores: * https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... * https://gi…

Did you also wire up trace expression evaluation in Emacs?

To what kernel release(s) do the flags apply?

An review of the post is at https://lemmster.de/tla-liveness-review.html