Search results

[Civl] "assert false" is verified (possible bug in refinement checking)

Status: Open.

#1089 In boogie-org/boogie;

· maul-esel opened on Dec 12, 2025

[Civl] Check termination for left mover procedures

Status: Open.

#1087 In boogie-org/boogie;

· NamrathaG opened on Dec 11, 2025

[Civl] Handle input modification in refinement checking correctly

Status: Open.

#1086 In boogie-org/boogie;

· shazqadeer opened on Dec 11, 2025

[Civl] Incorrect available variables used in refinement checking

Status: Open.

#1085 In boogie-org/boogie;

· shazqadeer opened on Dec 11, 2025

Inconsistent verification results depending on <code>Split</code> options

Status: Open.

#1079 In boogie-org/boogie;

· andrii-a8c opened on Nov 21, 2025

[Civl] Fix type checking of parallel calls

Status: Open.

#1077 In boogie-org/boogie;

· shazqadeer opened on Nov 15, 2025

[Civl] Generalized yield invariants

Status: Open.

#1067 In boogie-org/boogie;

· shazqadeer opened on Oct 29, 2025

Trivial copy assignment (y := x) is omitted from SMT named assumes → missing from unsat cores / coverage

Status: Open.

#1066 In boogie-org/boogie;

· ricostynha1 opened on Oct 27, 2025

[Civl] Allow access to nested maps to be expressed more compactly

Status: Open.

#1063 In boogie-org/boogie;

· shazqadeer opened on Oct 13, 2025

Updated Documentation?

Status: Open.

#1000 In boogie-org/boogie;

· TateStaples opened on Feb 17, 2025

Bitwise operations make the SMT solver run infinitely

Status: Open.

#940 In boogie-org/boogie;

· radumcostache opened on Aug 15, 2024

Let pruning also prune 'TypeCtorDecl' declarations

enhancement

Status: Open.

#916 In boogie-org/boogie;

· keyboardDrummer opened on Jul 22, 2024