viperproject gobra issues

viperproject / gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

https://gobra.ethz.ch

Other

111 stars 28 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[Proposal] explicitly annotate all trusted members

#791 jcp19 opened 3 days ago
0
Incorrect errors in combination between `reveal` and `outline`

#790 HSMF opened 4 days ago
0
docs: correct function name in tutorial

#789 aaronbojarski closed 2 weeks ago
1
Bump peter-evans/create-pull-request from 6 to 7 in the all group

#788 dependabot[bot] closed 2 weeks ago
0
Revert "Add refute statement"

#787 jcp19 closed 2 weeks ago
0
Update Submodules

#786 viper-admin closed 2 weeks ago
0
Fix issue #781

#785 ArquintL closed 1 month ago
0
LogicException on operations between uint8 and byte

#784 HSMF opened 1 month ago
0
Non-termination in small program with a goto

#783 jcp19 opened 1 month ago
1
Escape code \v is not supported by parser

#782 HSMF opened 2 months ago
0
NullPointerException for file-name-only paths

#781 HSMF closed 1 month ago
0
Update Submodules

#780 viper-admin closed 1 month ago
0
Impure assume

#779 bruggerl closed 2 months ago
0
Add purity checks to the ternary expression

#778 jcp19 closed 3 months ago
0
Incorrect desugaring of ternary operator with impure operands

#777 jcp19 closed 3 months ago
2
Add refute statement

#776 bruggerl closed 3 months ago
0
Bump docker/build-push-action from 5 to 6 in the all group

#775 dependabot[bot] closed 3 months ago
0
Update Submodules

#774 viper-admin closed 3 months ago
0
Support for Ghost Types

#773 ArquintL opened 3 months ago
1
Update Submodules

#772 viper-admin closed 4 months ago
0
Ghost Pointer & Ghost Fields

#771 ArquintL closed 4 months ago
0
Array encoding too weak to show congruence

#770 jcp19 opened 5 months ago
0
Update Submodules

#769 viper-admin closed 5 months ago
0
Fix purity classification of composite literals

#768 jcp19 closed 5 months ago
0
Update Submodules

#767 viper-admin closed 5 months ago
0
Support for Ghost Fields

#766 ArquintL closed 4 months ago
2
Update Submodules

#765 viper-admin closed 5 months ago
0
Update Submodules

#764 viper-admin closed 5 months ago
0
Fix incompletness with conversions to and from strings

#763 jcp19 closed 5 months ago
0
Regression `same_package/import-fail01/main` fails non-deterministically

#762 jcp19 opened 6 months ago
2
more flexible joins from silicon

#761 jcp19 closed 6 months ago
0
Losing array length information of field in outline

#760 Dspil opened 6 months ago
0
Cyclic Termination Measures

#759 ArquintL opened 6 months ago
0
Add missing termination measures in the sequence and array encodings

#758 jcp19 closed 6 months ago
0
Update Submodules

#757 viper-admin closed 6 months ago
0
Update Submodules

#756 viper-admin closed 6 months ago
0
Disallows impure non-ghost calls in ghost code

#755 ArquintL closed 4 months ago
0
Update Submodules

#754 viper-admin closed 6 months ago
0
Update Submodules

#753 viper-admin closed 6 months ago
1
Update Submodules

#752 viper-admin closed 6 months ago
1
Viper data collection changes

#751 Simon-Hostettler opened 6 months ago
2
Use named axioms instead of anonymous axioms

#750 dnezam opened 7 months ago
2
Add support for backend annotations on functions and methods

#749 jcp19 closed 6 months ago
0
Update Submodules

#748 viper-admin closed 7 months ago
0
Support for Ghost Pointers

#747 ArquintL closed 4 months ago
1
Improves Error Messages for Assignments

#746 Felalolf closed 7 months ago
0
Misleading error messages for assignments and dereferences

#745 Felalolf closed 7 months ago
0
Update to new chopper version

#744 Felalolf closed 6 months ago
1
Update Submodules

#743 viper-admin closed 7 months ago
0
Add `--moreJoins` flag from silicon

#742 jcp19 closed 7 months ago
0