Search results

BFS evaluator panics on forall with range exceeding map domain

Status: Open.

#68 In danwt/specl;

· danwt opened on Feb 22, 2026

bug(symbolic): Z3 encoding fails on sum() over dict types

Status: Open.

#67 In danwt/specl;

· danwt opened on Feb 22, 2026

feat(dsl): richer expression language for TransitionSystem frontends

Status: Open.

#66 In danwt/specl;

· danwt opened on Feb 22, 2026

Specl check tla panic

Status: Open.

#65 In danwt/specl;

· danwt opened on Feb 20, 2026

LSP rename refactoring — rename a variable/action across the spec file

Status: Open.

#63 In danwt/specl;

· danwt opened on Feb 18, 2026

feat: support string-keyed maps

enhancementNew feature or requestNew feature or request

Status: Open.

#50 In danwt/specl;

· danwt opened on Feb 17, 2026

symbolic: support Set[Seq[T]] (needed for message-passing protocols)

Status: Open.

#35 In danwt/specl;

· danwt opened on Feb 17, 2026