-
Notifications
You must be signed in to change notification settings - Fork 43
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1053 In viperproject/gobra;
- Status: Open.#1052 In viperproject/gobra;
- Status: Open.#1051 In viperproject/gobra;
- Status: Open.#1050 In viperproject/gobra;
- Status: Open.#1042 In viperproject/gobra;
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;