Search results

distinct with one argument not rejected

Status: Open.

#242 In Gbury/dolmen;

· mpreiner opened on Jun 20, 2025

Group builtins by theory

Status: Open.

#239 In Gbury/dolmen;

· Gbury opened on May 20, 2025

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

Status: Open.

#232 In Gbury/dolmen;

· Gbury opened on Mar 18, 2025

parse_logic does not recognize QF_FPBV

Status: Open.

#227 In Gbury/dolmen;

· christophejunke opened on Feb 24, 2025

<code>Cannot find binding for id</code> in Printers

Status: Open.

#226 In Gbury/dolmen;

· Halbaroth opened on Feb 7, 2025

Incomplete logic detection

Status: Open.

#225 In Gbury/dolmen;

· Halbaroth opened on Feb 7, 2025

Shadowing in SMT-LIB2.6 function definitions

Status: Open.

#224 In Gbury/dolmen;

· Gbury opened on Jan 16, 2025

Too restrictive well foundness criteria

Status: Open.

#222 In Gbury/dolmen;

· bobot opened on Oct 18, 2024

Support custom printer for typing errors

Status: Open.

#218 In Gbury/dolmen;

· Halbaroth opened on Jun 10, 2024

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

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