Search results

Expand VTS scope to TLC liveness checking

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In tlaplus/ValidationTestSuite;

· lemmy opened on Mar 3, 2026

Expand VTS coverage for TLC soundness-critical qualification gaps

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In tlaplus/ValidationTestSuite;

· lemmy opened on Mar 3, 2026

a3 reports 24 potential bugs in Python infrastructure

bugSomething isn't workingSomething isn't working

Status: Open.

#7 In tlaplus/ValidationTestSuite;

· lemmy opened on Feb 25, 2026

Add coverage reporting

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In tlaplus/ValidationTestSuite;

· lemmy opened on Sep 30, 2025

Cache results of reference tests

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In tlaplus/ValidationTestSuite;

· lemmy opened on Sep 30, 2025

Upgrade TLC and Apalache dependencies

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In tlaplus/ValidationTestSuite;

· lemmy opened on Sep 22, 2025