-
Notifications
You must be signed in to change notification settings - Fork 40
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Proposed annotation: verified — heap-free function postconditions as domain axioms
enhancementNew feature or requestNew feature or requestStatus: Open.#1037 In viperproject/gobra;Invalid Triggers via Subslicing
bugSomething isn't workingSomething isn't workinginvalidThis doesn't seem rightThis doesn't seem rightStatus: Open.#1030 In viperproject/gobra;Gobra does not immediately realize semantics of copying arrays by assignment
bugSomething isn't workingSomething isn't workingStatus: Open.#1027 In viperproject/gobra;Can prove nil-ness and non-nilness from struct predicate
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#1025 In viperproject/gobra;Incomplete Slice Allocation Spec
enhancementNew feature or requestNew feature or requestStatus: Open.#1007 In viperproject/gobra;Parser Error for Reserved Keywords
enhancementNew feature or requestNew feature or requestStatus: Open.#1005 In viperproject/gobra;Allow impure assertions for
assert byenhancementNew feature or requestNew feature or requestStatus: Open.#999 In viperproject/gobra;Invalid SMT Encoding
bugSomething isn't workingSomething isn't workingStatus: Open.#997 In viperproject/gobra;Unintuitive semantics for mixed non-hyper-predicates and hyper-predicates
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#996 In viperproject/gobra;- Status: Open.#994 In viperproject/gobra;
- Status: Open.#993 In viperproject/gobra;
- Status: Open.#992 In viperproject/gobra;