Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / viperproject/gobra issues and pull requests

#796 - Infinite Ghost Loops

Issue - State: open - Opened by gottschali 8 days ago

#795 - Fix bounds of singed integers for overflow checking

Pull Request - State: closed - Opened by jcp19 11 days ago

#794 - Incomplete encoding of `&&` in for loops

Issue - State: open - Opened by HSMF 12 days ago

#793 - Type error in type assertions

Issue - State: open - Opened by HSMF 24 days ago

#792 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 25 days ago
Labels: automated pr

#791 - [Proposal] explicitly annotate all trusted members

Issue - State: open - Opened by jcp19 about 1 month ago

#790 - Incorrect errors in combination between `reveal` and `outline`

Issue - State: open - Opened by HSMF about 1 month ago
Labels: parsing

#789 - docs: correct function name in tutorial

Pull Request - State: closed - Opened by aaronbojarski about 2 months ago - 1 comment

#788 - Bump peter-evans/create-pull-request from 6 to 7 in the all group

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies

#787 - Revert "Add refute statement"

Pull Request - State: closed - Opened by jcp19 2 months ago

#786 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 2 months ago
Labels: automated pr

#785 - Fix issue #781

Pull Request - State: closed - Opened by ArquintL 3 months ago

#784 - LogicException on operations between uint8 and byte

Issue - State: open - Opened by HSMF 3 months ago

#783 - Non-termination in small programs

Issue - State: open - Opened by jcp19 3 months ago - 2 comments

#782 - Escape code \v is not supported by parser

Issue - State: open - Opened by HSMF 3 months ago
Labels: parsing

#781 - NullPointerException for file-name-only paths

Issue - State: closed - Opened by HSMF 3 months ago

#780 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 4 months ago
Labels: automated pr

#779 - Impure assume

Pull Request - State: closed - Opened by bruggerl 4 months ago

#778 - Add purity checks to the ternary expression

Pull Request - State: closed - Opened by jcp19 5 months ago

#777 - Incorrect desugaring of ternary operator with impure operands

Issue - State: closed - Opened by jcp19 5 months ago - 2 comments

#776 - Add refute statement

Pull Request - State: closed - Opened by bruggerl 5 months ago

#775 - Bump docker/build-push-action from 5 to 6 in the all group

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#774 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 5 months ago
Labels: automated pr

#773 - Support for Ghost Types

Pull Request - State: open - Opened by ArquintL 5 months ago - 1 comment

#772 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 5 months ago
Labels: automated pr

#771 - Ghost Pointer & Ghost Fields

Pull Request - State: closed - Opened by ArquintL 6 months ago

#770 - Array encoding too weak to show congruence

Issue - State: open - Opened by jcp19 6 months ago
Labels: incompleteness

#769 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 6 months ago
Labels: automated pr

#768 - Fix purity classification of composite literals

Pull Request - State: closed - Opened by jcp19 6 months ago

#767 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 7 months ago
Labels: automated pr

#766 - Support for Ghost Fields

Pull Request - State: closed - Opened by ArquintL 7 months ago - 2 comments

#765 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 7 months ago
Labels: automated pr

#764 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 7 months ago
Labels: automated pr

#763 - Fix incompletness with conversions to and from strings

Pull Request - State: closed - Opened by jcp19 7 months ago

#762 - Regression `same_package/import-fail01/main` fails non-deterministically

Issue - State: open - Opened by jcp19 7 months ago - 2 comments
Labels: bug, encoding

#761 - more flexible joins from silicon

Pull Request - State: closed - Opened by jcp19 7 months ago

#760 - Losing array length information of field in outline

Issue - State: open - Opened by Dspil 8 months ago
Labels: minor, incompleteness

#759 - Cyclic Termination Measures

Issue - State: open - Opened by ArquintL 8 months ago

#758 - Add missing termination measures in the sequence and array encodings

Pull Request - State: closed - Opened by jcp19 8 months ago

#757 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 8 months ago
Labels: automated pr

#756 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 8 months ago
Labels: automated pr

#755 - Disallows impure non-ghost calls in ghost code

Pull Request - State: closed - Opened by ArquintL 8 months ago

#754 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 8 months ago
Labels: automated pr

#753 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 8 months ago - 1 comment
Labels: automated pr

#752 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 8 months ago - 1 comment
Labels: automated pr

#751 - Viper data collection changes

Pull Request - State: open - Opened by Simon-Hostettler 8 months ago - 2 comments

#750 - Use named axioms instead of anonymous axioms

Issue - State: open - Opened by dnezam 8 months ago - 2 comments

#749 - Add support for backend annotations on functions and methods

Pull Request - State: closed - Opened by jcp19 8 months ago

#748 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 8 months ago
Labels: automated pr

#747 - Support for Ghost Pointers

Pull Request - State: closed - Opened by ArquintL 8 months ago - 1 comment

#746 - Improves Error Messages for Assignments

Pull Request - State: closed - Opened by Felalolf 9 months ago

#744 - Update to new chopper version

Pull Request - State: closed - Opened by Felalolf 9 months ago - 1 comment

#743 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 9 months ago
Labels: automated pr

#742 - Add `--moreJoins` flag from silicon

Pull Request - State: closed - Opened by jcp19 9 months ago

#741 - Adds additional projects verified using Gobra

Pull Request - State: closed - Opened by ArquintL 9 months ago

#740 - Fix issue 511

Pull Request - State: closed - Opened by jcp19 9 months ago

#739 - Add a flag to enable silicon's unsafe wildcard multiplication

Pull Request - State: closed - Opened by jcp19 9 months ago

#738 - Add verification projects to the README

Pull Request - State: closed - Opened by jcp19 9 months ago

#737 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 9 months ago
Labels: automated pr

#736 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 9 months ago
Labels: automated pr

#735 - Fix #734

Pull Request - State: closed - Opened by Felalolf 9 months ago - 6 comments

#734 - Paranthesis omitted in toString of Internal AST

Issue - State: closed - Opened by Felalolf 9 months ago

#733 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 9 months ago
Labels: automated pr

#732 - Fix #713

Pull Request - State: closed - Opened by Felalolf 9 months ago

#731 - More aggressive chopper

Pull Request - State: closed - Opened by Felalolf 9 months ago - 2 comments

#730 - Merges `release` branch

Pull Request - State: closed - Opened by ArquintL 9 months ago

#729 - Updates Submodules to Viper January 2024 release

Pull Request - State: closed - Opened by ArquintL 9 months ago

#728 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 9 months ago
Labels: automated pr

#727 - Update Submodules to Viper RC 24.01-RC1

Pull Request - State: closed - Opened by viper-admin 9 months ago
Labels: automated pr

#725 - Improve Gobra Package Information

Pull Request - State: closed - Opened by ArquintL 10 months ago

#724 - Nonterminating ghost proves false

Issue - State: open - Opened by JanBessai 10 months ago - 2 comments
Labels: major, type checking

#723 - Incompleteness with the closure encoding

Issue - State: open - Opened by jcp19 10 months ago - 4 comments
Labels: enhancement, major, encoding, incompleteness

#722 - Bump the all group with 1 update

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#721 - Bump the all group with 6 updates

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#720 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 10 months ago
Labels: automated pr

#719 - Incorrect Encoding of break Stmt

Issue - State: open - Opened by ArquintL 10 months ago - 1 comment
Labels: bug, critical, encoding

#717 - Add flag to force total correctness in specifications

Issue - State: closed - Opened by Aurel300 11 months ago
Labels: feature-request

#716 - Update Submodules

Pull Request - State: closed - Opened by viper-admin 11 months ago
Labels: automated pr

#715 - Add opaque/reveal to Gobra

Pull Request - State: closed - Opened by dnezam 11 months ago - 4 comments

#713 - Gobra cannot prove that a func literal is non-nil

Issue - State: closed - Opened by jcp19 12 months ago
Labels: enhancement, VerifiedSCION, encoding, incompleteness

#710 - Add support for `exhaleMode` annotation

Pull Request - State: closed - Opened by jcp19 12 months ago - 2 comments

#698 - Fixes #697

Pull Request - State: closed - Opened by ArquintL about 1 year ago

#697 - Closure implementation proof of imported spec crashes Gobra

Issue - State: closed - Opened by ArquintL about 1 year ago
Labels: bug, desugaring

#691 - duplicate identifier error for identifier `Token`

Issue - State: open - Opened by lmeinen about 1 year ago - 1 comment

#690 - Add support for `delete` statement

Issue - State: open - Opened by lmeinen about 1 year ago
Labels: feature-request

#684 - Add flag to disable non-linear IA

Issue - State: closed - Opened by jcp19 about 1 year ago
Labels: feature-request

#624 - use quasihavoc to minimize (and potentially optimize) assignment code

Pull Request - State: closed - Opened by jcp19 almost 2 years ago

#610 - Gobra CLI Input Documentation

Pull Request - State: closed - Opened by ArquintL almost 2 years ago - 8 comments

#572 - Simplify generated code for variable declarations with initialization expressions

Pull Request - State: closed - Opened by jcp19 about 2 years ago - 2 comments

#543 - [syntactic sugar] Introduce `ignore` annotation

Issue - State: closed - Opened by jcp19 about 2 years ago - 3 comments
Labels: wontfix

#536 - Interface predicate instances imply that the interface argument is not nil

Pull Request - State: open - Opened by Felalolf about 2 years ago - 2 comments

#531 - Fix issue 491

Pull Request - State: open - Opened by Felalolf about 2 years ago - 2 comments

#511 - `&&` is not short-circuiting

Issue - State: closed - Opened by jcp19 over 2 years ago
Labels: bug, enhancement

#420 - non ghost assignment in ghost if-else block

Issue - State: closed - Opened by LinoTelschow over 2 years ago
Labels: type checking

#280 - ADT

Pull Request - State: closed - Opened by daydr3am over 3 years ago - 1 comment

#279 - Underspecified behaviour when evaluating Composite Literals

Issue - State: open - Opened by jcp19 over 3 years ago - 1 comment

#100 - Add additional test for issue 97

Pull Request - State: closed - Opened by jcp19 about 4 years ago