Search results

Check (and if needed update) eco-imp benchmarks

Status: Open.

#111 In moves-rwth/caesar;

· matseblenkamp opened on Jan 20, 2026

Implement support for probability distributions in JANI

Status: Open.

#110 In moves-rwth/caesar;

· matseblenkamp opened on Jan 20, 2026

Add VSCode command to prepare a bug report

enhancementNew feature or requestNew feature or request

Status: Open.

#109 In moves-rwth/caesar;

· Philipp15b opened on Jan 15, 2026

Add support for both kinds of non-determinism in the JANI translation

Status: Open.

#108 In moves-rwth/caesar;

· matseblenkamp opened on Jan 14, 2026

Unroll Proof Rule: Make second parameter optional

enhancementNew feature or requestNew feature or request

Status: Open.

#104 In moves-rwth/caesar;

· Philipp15b opened on Nov 16, 2025

AST rule: replace loop by specification instead of removal

Status: Open.

#99 In moves-rwth/caesar;

· Philipp15b opened on Nov 6, 2025

Parametric coin flips: add assertion to handle p > 1

Status: Open.

Feature

#98 In moves-rwth/caesar;

· Philipp15b opened on Nov 6, 2025

Anti-pattern warnings and hints

enhancementNew feature or requestNew feature or request

Status: Open.

#95 In moves-rwth/caesar;

· Philipp15b opened on Oct 22, 2025

Domain functions and axioms are not forward declared

Status: Open.

#92 In moves-rwth/caesar;

· darionhaase opened on Aug 19, 2025

Unexpected "counter-example to verification found!"

Status: Open.

#90 In moves-rwth/caesar;

· BlastWind opened on Jul 30, 2025

Z3: Print used parameters

enhancementNew feature or requestNew feature or request

Status: Open.

#89 In moves-rwth/caesar;

· Philipp15b opened on Jun 27, 2025

Handle division by zero for non-negative types

bugSomething isn't workingSomething isn't working

Status: Open.

#86 In moves-rwth/caesar;

· Philipp15b opened on May 25, 2025