Search results

build skeleton of end-to-end toolchain for next-generation L4 DSL through to REST API

Status: Open.

#605 In smucclaw/dsl;

· mengwong opened on Aug 2, 2024

BNFC grammar vs natural4 grammar rules

Status: Open.

#602 In smucclaw/dsl;

· fendor opened on Jul 25, 2024

clarify the two directions of ONE OF

Status: Open.

#466 In smucclaw/dsl;

· mengwong opened on Oct 17, 2023

save the (...) bits into srcref

Status: Open.

#452 In smucclaw/dsl;

· mengwong opened on Oct 6, 2023

allow multiple multiterms in top-level paramtext

Status: Open.

#451 In smucclaw/dsl;

· mengwong opened on Oct 6, 2023

discovered a brittleness around boolstruct indentation parsing

Status: Open.

#445 In smucclaw/dsl;

· mengwong opened on Sep 25, 2023

Reasoner should solve the License Agreement case study in the most guai lan way

Status: Open.

#172 In smucclaw/dsl;

· mengwong opened on Oct 6, 2022

Add support for explicitly mutating state variables

Status: Open.

#171 In smucclaw/dsl;

· mengwong opened on Oct 6, 2022

Interpreter should key off critical events

Status: Open.

#170 In smucclaw/dsl;

· mengwong opened on Oct 6, 2022

we need BoolStruct of Regulative Rules

Status: Open.

#105 In smucclaw/dsl;

· mengwong opened on Jul 1, 2022