All issues

Search results

WhichToSplit can reach SPLIT_INNER, but no SplitInner sub-action exists

question

Status: Open.

#234 In tlaplus/Examples;

· lemmy opened on Aug 24, 2026

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

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

help wanted

Status: Open.

#106 In tlaplus/Examples;

· ahelwer opened on Jan 18, 2024