All issues

Search results

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

help wanted

Status: Open.

#106 In tlaplus/Examples;

· ahelwer opened on Jan 18, 2024