Search results

Exception when accessing a type from another module

Status: Open.

#39 In ocaml-gospel/cameleer;

· ionchirica opened on Feb 13, 2025

Support for floating-point theory in Cameleer

Status: Open.

#35 In ocaml-gospel/cameleer;

· mohittkr opened on Jan 2, 2024

Release on opam

Status: Open.

#34 In ocaml-gospel/cameleer;

· sim642 opened on Aug 12, 2023

Use of [] to access a List element

Status: Open.

#31 In ocaml-gospel/cameleer;

· PedroSalgado28 opened on Jul 20, 2022

Missing modifies clause is not detected

Status: Open.

#23 In ocaml-gospel/cameleer;

· fpottier opened on Feb 16, 2022

Surprising warnings about unused variables

Status: Open.

#22 In ocaml-gospel/cameleer;

· fpottier opened on Feb 16, 2022

Dynlink error

Status: Open.

#17 In ocaml-gospel/cameleer;

· Hakimba opened on Nov 30, 2021