All issues

Search results

[Ortac/QCheck-STM] Improve partial function handling

qcheck-stm

Status: Open.

#380 In ocaml-gospel/ortac;

· n-osborne opened on Jun 8, 2026

·  

0.9.0

Update to new Gospel version (stdlib and IR)

Status: Open.

#379 In ocaml-gospel/ortac;

· n-osborne opened on May 29, 2026

·  

0.9.0

[Wrapper] Add optional config file to separate models and real user's implementation

ortac-wrapper

Status: Open.

Feature

#321 In ocaml-gospel/ortac;

· Lucccyo opened on Jun 11, 2025

·  

0.9.0

[Wrapper] Warning for unmatched projection functions

ortac-wrapper

Status: Open.

Feature

#319 In ocaml-gospel/ortac;

· Lucccyo opened on Jun 11, 2025

[QCheck-STM] Stop asking for the init_sut value

enhancementNew feature or requestNew feature or request

qcheck-stm

Status: Open.

#312 In ocaml-gospel/ortac;

· n-osborne opened on May 26, 2025

runtime: suggestion for a more efficient implementation of sequences

Status: Open.

Feature

#309 In ocaml-gospel/ortac;

· backtracking opened on May 20, 2025

·  

0.9.0

[qcheck-stm] Type error for function arguments with integers

Status: Open.

#304 In ocaml-gospel/ortac;

· nikolaushuber opened on May 7, 2025

[qcheck-STM] Emit a function to shrink cmd arguments

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

qcheck-stm

Status: Open.

#269 In ocaml-gospel/ortac;

· jmid opened on Oct 24, 2024

·  

0.9.0

[QCheck-STM] Improve heuristic for create/init function call generation

Status: Open.

#267 In ocaml-gospel/ortac;

· n-osborne opened on Oct 11, 2024

Incomplete computation warning on inbuilt return types

Status: Open.

#260 In ocaml-gospel/ortac;

· nikolaushuber opened on Oct 1, 2024

Add tests for generated code behaviour

Status: Open.

#252 In ocaml-gospel/ortac;

· n-osborne opened on Sep 10, 2024

[qcheck-stm] Add an optional function for running tests in config module

Status: Open.

#233 In ocaml-gospel/ortac;

· n-osborne opened on May 27, 2024