Search results

Issue: Verification is stuck or produces incorrect results

Status: Open.

#1064 In boogie-org/boogie;

· andrii-a8c opened on Oct 13, 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

[Civl] Split invariant checking and refinement checking

Status: Open.

#1062 In boogie-org/boogie;

· shazqadeer opened on Oct 13, 2025

[Civl] Strengthen type checking of global invariants

Status: Open.

#1061 In boogie-org/boogie;

· shazqadeer opened on Oct 13, 2025

CI regularly fails on the first attempt

Status: Open.

#1056 In boogie-org/boogie;

· shazqadeer opened on Aug 31, 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

Tests time out non-deterministically

Status: Open.

#909 In boogie-org/boogie;

· keyboardDrummer opened on Jul 17, 2024

Enable modular resolution/preprocessing of Boogie programs

enhancement

Status: Open.

#889 In boogie-org/boogie;

· keyboardDrummer opened on May 23, 2024

/prune removes relevant information

Status: Open.

#819 In boogie-org/boogie;

· glor opened on Nov 29, 2023

SMT errors when running without <code>/prune</code>

bug

Status: Open.

#813 In boogie-org/boogie;

· atomb opened on Nov 21, 2023