List view

Simple ADT test with different behavior with or without push

adtAlgebraic data typesAlgebraic data types

backlog

bug

completenessThis issue is about completeness of theoriesThis issue is about completeness of theories

instantiationthis issue is related to the instantiation mechanismthis issue is related to the instantiation mechanism

Status: Open.

#1008 In OCamlPro/alt-ergo;

· Stevendeo opened on Dec 11, 2023

Check ground models with Dolmen

build

Status: Draft (not ready).

OCamlPro/alt-ergonumber 790

#790 In OCamlPro/alt-ergo;

· Halbaroth opened on Aug 24, 2023

Explicit representation for repeated bit-vectors

bit-vectors

performance

Status: Open.

#1193 In OCamlPro/alt-ergo;

· bclement-ocp opened on Aug 1, 2024

Support timelimit on Windows

windowsRelates to Windows supportRelates to Windows support

Status: Open.

#1201 In OCamlPro/alt-ergo;

· Halbaroth opened on Aug 8, 2024

Infinite loop with recursive list

enhancement

modelsThis issue is related to model generation.This issue is related to model generation.

Status: Open.

#531 In OCamlPro/alt-ergo;

· Stevendeo opened on Oct 28, 2022

Improving reasoning for the BV theory

reasoningThis issue is about improving reasoning capabilities.This issue is about improving reasoning capabilities.

umbrella

Status: Open.

#903 In OCamlPro/alt-ergo;

· Halbaroth opened on Oct 18, 2023

Provide an API

Status: Open.

#1260 In OCamlPro/alt-ergo;

· bclement-ocp opened on Oct 16, 2024

Make <code>reproducible-resource-limit</code> use steps

Status: Open.

#1279 In OCamlPro/alt-ergo;

· bclement-ocp opened on Jan 27, 2025

bvuaddo bvnego etc.

decysifRelated to DéCySifRelated to DéCySif

Status: Open.

#1273 In OCamlPro/alt-ergo;

· bclement-ocp opened on Dec 10, 2024