0.9

List view

Support check_sat statement for Alt-Ergo language

new feature

Status: Merged (completed).

Gbury/dolmennumber 140

#140 In Gbury/dolmen;

· by Halbaroth was closed on Jun 13, 2023

Some more printing

enhancement

Status: Merged (completed).

Gbury/dolmennumber 142

#142 In Gbury/dolmen;

· by Gbury was closed on Jun 7, 2023

Semantic triggers

Status: Merged (completed).

Gbury/dolmennumber 162

#162 In Gbury/dolmen;

· by Halbaroth was closed on Jun 23, 2023

Fix issue #163

Status: Merged (completed).

Gbury/dolmennumber 164

#164 In Gbury/dolmen;

· by Gbury was closed on Jun 23, 2023

Propagate attributes from Pack Statements

Status: Merged (completed).

Gbury/dolmennumber 165

#165 In Gbury/dolmen;

· by Gbury was closed on Jun 23, 2023

Don't load all preludes if one of them is opened

Status: Merged (completed).

Gbury/dolmennumber 166

#166 In Gbury/dolmen;

· by hra687261 was closed on Jun 23, 2023

Implement best mode for model verification

enhancement

Status: Merged (completed).

Gbury/dolmennumber 154

#154 In Gbury/dolmen;

· by Gbury was closed on Jun 7, 2023

Fix reason for reserved builtins

bugfix

Status: Merged (completed).

Gbury/dolmennumber 155

#155 In Gbury/dolmen;

· by Gbury was closed on Jun 8, 2023

Add convenience State.update and State.update_opt

enhancement

Status: Merged (completed).

Gbury/dolmennumber 156

#156 In Gbury/dolmen;

· by bclement-ocp was closed on Jun 6, 2023

Make the unknown logic fatal by default

Status: Merged (completed).

Gbury/dolmennumber 158

#158 In Gbury/dolmen;

· by Gbury was closed on Jun 7, 2023

Add printing of type definitions in debug output

enhancement

Status: Merged (completed).

Gbury/dolmennumber 157

#157 In Gbury/dolmen;

· by Gbury was closed on Jun 7, 2023

Support more Bit-Vector primitives in Alt-Ergo's native language

new feature

Status: Merged (completed).

Gbury/dolmennumber 136

#136 In Gbury/dolmen;

· by hra687261 was closed on Jun 12, 2023

Unexpected exceptions with FP values

bug

Status: Closed (completed).

#149 In Gbury/dolmen;

· by Gbury was closed on Jun 12, 2023