Search results

Remove subexpressions from examples?

Status: Open.

#200 In tlaplus/Examples;

· ahelwer opened on Feb 24, 2026

Protect master branch

Status: Open.

#188 In tlaplus/Examples;

· ahelwer opened on Nov 10, 2025

Spec claims to check (safety-prop) UnforgLtl but config actually also checks (liveness-props) CorrLtl and RelayLtl

Status: Open.

#174 In tlaplus/Examples;

· lemmy opened on Jun 23, 2025

Simplify contribution process

Status: Open.

#171 In tlaplus/Examples;

· ahelwer opened on May 21, 2025

Can't come up with working model for cbc_max or spanning

Status: Open.

#114 In tlaplus/Examples;

· ahelwer opened on Jan 23, 2024

Bakery-Boulangerie specs don't satisfy DeadlockFree or StarvationFree liveness properties

Status: Open.

#109 In tlaplus/Examples;

· ahelwer opened on Jan 18, 2024

GitPod & Codespaces - make sure bitrot hasn't set in

Status: Open.

#106 In tlaplus/Examples;

· ahelwer opened on Jan 18, 2024

More termination detection algorithms

enhancement

Status: Open.

#45 In tlaplus/Examples;

· lemmy opened on Dec 22, 2021

Basic math exercises

enhancement

Status: Open.

#23 In tlaplus/Examples;

· lemmy opened on Oct 20, 2020

Towards beginner friendly examples

enhancement

help wanted

Status: Open.

#15 In tlaplus/Examples;

· lemmy opened on Apr 16, 2020

Overhaul Tower of Hanoi specification

bug

Status: Open.

#9 In tlaplus/Examples;

· lemmy opened on Apr 9, 2019