Search results

[Civl] Assertion should have failed

Status: Open.

#1104 In boogie-org/boogie;

· shazqadeer opened on Feb 28, 2026

[Civl] Layer inference

Status: Open.

#1101 In boogie-org/boogie;

· shazqadeer opened on Feb 9, 2026

bitvec concatenation unable to monomorphize

Status: Open.

#1096 In boogie-org/boogie;

· mira-alford opened on Jan 27, 2026

[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