Search results

Reload preludes after reset statements

Status: Open.

#256 In Gbury/dolmen;

· Halbaroth opened on Feb 17, 2026

Preludes from files prevent processing of main file

bug

Status: Open.

#248 In Gbury/dolmen;

· bclement-ocp opened on Sep 3, 2025

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

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 get-assignment

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 set-option :global-declarations

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