Search results

Implement String (and regexp) theory for model validation

enhancement

Status: Open.

#245 In Gbury/dolmen;

· Gbury opened on Aug 11, 2025

Remove the Typer's addition builtins following the merge of Extensions/Plugins

enhancement

Status: Open.

#232 In Gbury/dolmen;

· Gbury opened on Mar 18, 2025

Incomplete logic detection

bug

Status: Open.

#225 In Gbury/dolmen;

· Halbaroth opened on Feb 7, 2025

Too restrictive well foundness criteria

enhancement

Status: Open.

#222 In Gbury/dolmen;

· bobot opened on Oct 18, 2024

Support custom printer for typing errors

enhancement

Status: Open.

#218 In Gbury/dolmen;

· Halbaroth opened on Jun 10, 2024

Support for <code>get-assignment</code>

enhancement

Status: Open.

#216 In Gbury/dolmen;

· bclement-ocp opened on May 16, 2024

Confusing error message with pattern matching on polymorphic type in ae's native language

enhancement

Status: Open.

#215 In Gbury/dolmen;

· Gbury opened on May 14, 2024

Can we get a formal 1.0 release please

Status: Open.

#213 In Gbury/dolmen;

· rod-chapman opened on Apr 29, 2024

RDL check is a bit too lenient

bug

specfor differences between files in a benchmark and their specificationfor differences between files in a benchmark and their specification

Status: Open.

#212 In Gbury/dolmen;

· Gbury opened on Apr 26, 2024

Handling of <code>set-option :global-declarations</code>

bug

Status: Open.

#186 In Gbury/dolmen;

· Stevendeo opened on Sep 29, 2023

Unclear error message during model checking

enhancement

new feature

Status: Open.

#180 In Gbury/dolmen;

· Halbaroth opened on Aug 10, 2023

Add authors files

enhancement

Status: Open.

#179 In Gbury/dolmen;

· Gbury opened on Aug 9, 2023