Search results

Changes to the DSL spec (for all versions) following the type soundness proof

Status: Open.

#184 In Wasm-DSL/spectec;

· DarcinDC opened on Sep 8, 2025

Frontend.Dim assertion failure

Status: Open.

#180 In Wasm-DSL/spectec;

· zilinc opened on Aug 6, 2025

[Totalize pass] mishandling of partial functions calls inside partial functions

Status: Open.

#177 In Wasm-DSL/spectec;

· DCupello1 opened on Jul 22, 2025

Add dependencies to dune-project

Status: Open.

#175 In Wasm-DSL/spectec;

· raoxiaojia opened on Jul 22, 2025

Documentation

Status: Open.

#151 In Wasm-DSL/spectec;

· rossberg opened on Feb 10, 2025

Prose Fine-tuning Todos

Status: Open.

#141 In Wasm-DSL/spectec;

· rossberg opened on Jan 23, 2025

Cannot match a variable against an optional non-terminal in a rule definition

Status: Open.

#132 In Wasm-DSL/spectec;

· yusungsim opened on Nov 7, 2024

[backend-prose/interpreter] Error messages from backends

Status: Open.

#73 In Wasm-DSL/spectec;

· rossberg opened on Feb 13, 2024

Spec conversion burndown list

Status: Open.

#67 In Wasm-DSL/spectec;

· rossberg opened on Feb 4, 2024

[backend-prose] Duplicate prose definitions

Status: Open.

#63 In Wasm-DSL/spectec;

· rossberg opened on Feb 2, 2024

[backend-prose] Missing interface files

Status: Open.

#58 In Wasm-DSL/spectec;

· rossberg opened on Jan 25, 2024