Search results

Getting multiple candidates of syntax trees when the parser is ambiguous (DDM)

Status: Open.

#161 In strata-org/Strata;

· aqjune-aws opened on Oct 9, 2025

Two corner cases raising errors when defining a dialect using DDM

Status: Open.

#160 In strata-org/Strata;

· aqjune-aws opened on Oct 9, 2025

Improve #strata_gen error messages

Status: Open.

#136 In strata-org/Strata;

· joehendrix opened on Sep 22, 2025

Python roundtrip errors with pretty printer

Status: Open.

#132 In strata-org/Strata;

· joehendrix opened on Sep 19, 2025

[LTyUnify] Debugging aid for type unification failures

enhancementNew feature or requestNew feature or request

Status: Open.

#102 In strata-org/Strata;

· shigoel opened on Aug 28, 2025

Expand the SMTLIB CounterExample parser

enhancementNew feature or requestNew feature or request

Status: Open.

#90 In strata-org/Strata;

· shigoel opened on Aug 22, 2025

Solver interface instability

bugSomething isn't workingSomething isn't working

Status: Open.

#75 In strata-org/Strata;

· atomb opened on Aug 18, 2025

Parameterize elaborator in <code>LExpr</code> by <code>TypeType</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#58 In strata-org/Strata;

· samuelchassot opened on Aug 13, 2025