Search results

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

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

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

Low values of :rlimit have no effect

Status: Open.

#801 In boogie-org/boogie;

· robin-aws opened on Oct 18, 2023