Search results

Separating conjunction in package statement does not lead to unreachable state

incompleteness

magic-wands

Status: Open.

#557 In viperproject/carbon;

· marcoeilers opened on Feb 17, 2025

Stack overflow from Boogie

Status: Open.

#525 In viperproject/carbon;

· atoiz opened on Aug 30, 2024

Heap-dependent function with QPs generates triggerless axiom

Status: Open.

#522 In viperproject/carbon;

· jwkai opened on Jun 24, 2024

Predicate triggers not working as expected

Status: Open.

#517 In viperproject/carbon;

· marcoeilers opened on Jun 11, 2024

applying not giving permission incompleteness

Status: Open.

#488 In viperproject/carbon;

· JonasAlaif opened on Jan 16, 2024

Wand package incompleteness?

Status: Open.

#470 In viperproject/carbon;

· marcoeilers opened on Oct 16, 2023

Sensitive Behavior with Implications and Triggers

Status: Open.

#464 In viperproject/carbon;

· totoyoyo opened on Jun 29, 2023

Carbon does not catch predicates that are not well-defined due to multiplication

Status: Open.

#462 In viperproject/carbon;

· gauravpartha opened on Jun 19, 2023

Incorrect optimization for inhale-exhale expressions

Status: Open.

#461 In viperproject/carbon;

· gauravpartha opened on May 31, 2023

Potentially combine well-definedness and exhale code for pure quantifiers.

enhancementNew feature or requestNew feature or request

Status: Open.

#458 In viperproject/carbon;

· gauravpartha opened on May 1, 2023

quantified permissions on the right of a magic wand cause stack trace

Status: Open.

#449 In viperproject/carbon;

· alexanderjsummers opened on Jan 31, 2023

Add full support for quasihavoc statements

Status: Open.

#438 In viperproject/carbon;

· gauravpartha opened on Nov 11, 2022