Search results

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

Undeclared functions in invariants

Status: Open.

#102 In moves-rwth/caesar;

· maditaP opened on Nov 11, 2025

Error when using the name "invariant" in an invariant

Status: Open.

#101 In moves-rwth/caesar;

· maditaP opened on Nov 11, 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

Iverson brackets should have type UInt

bugSomething isn't workingSomething isn't working

Status: Open.

#82 In moves-rwth/caesar;

· Philipp15b opened on May 18, 2025

Tracking of soundness for proofs and refutations

enhancementNew feature or requestNew feature or request

Status: Open.

#75 In moves-rwth/caesar;

· Philipp15b opened on May 9, 2025