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

#99 - Fixed parsing error mentioned on issue #97

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

#98 - allowing arbitrary postconditions in pure functions

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

#97 - Parse error if name of struct name has prefix of existing type

Issue - State: closed - Opened by stammon about 4 years ago - 1 comment

#96 - Better SBT Caching

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

#95 - Add flag to specify the default size of int's

Issue - State: closed - Opened by jcp19 about 4 years ago - 2 comments
Labels: enhancement, minor

#94 - Add int types of different sizes and its unsigned variables at the Gobra language level

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

#93 - Parser error with nested Ifs

Issue - State: closed - Opened by Felalolf about 4 years ago - 9 comments
Labels: bug, minor, parsing

#92 - Avoid duplication of preconditions for pure functions

Issue - State: closed - Opened by Felalolf about 4 years ago - 1 comment

#91 - Support for Go's integer types

Issue - State: closed - Opened by jcp19 about 4 years ago - 1 comment
Labels: enhancement

#90 - Updates URL to Gobra repo

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

#89 - New versions of type encodings

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

#88 - Cycle Detection in Welldefinedness of Constants

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

#87 - Add README

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

#86 - Continuous Integration for GitHub

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

#85 - ViperServer API Adaptation

Issue - State: closed - Opened by viper-admin about 4 years ago - 1 comment
Labels: pull request, merged

#84 - Extend Desugarer to handle switch statements for expressions; add test

Issue - State: closed - Opened by viper-admin about 4 years ago - 4 comments
Labels: pull request, merged

#83 - Build Fix

Issue - State: closed - Opened by viper-admin about 4 years ago - 1 comment
Labels: pull request, merged

#82 - Checks for Import Qualifier Uniqueness & Proper Scoping of Imports

Pull Request - State: closed - Opened by viper-admin about 4 years ago - 5 comments
Labels: pull request

#81 - Arrays (local)

Pull Request - State: closed - Opened by viper-admin about 4 years ago - 2 comments
Labels: pull request

#80 - Minor CI Cleanup

Issue - State: closed - Opened by viper-admin about 4 years ago - 1 comment
Labels: pull request, merged

#79 - Improves error message when trying to verify non-gobra files

Issue - State: closed - Opened by viper-admin about 4 years ago - 1 comment
Labels: pull request, merged

#78 - Adds Copyright

Issue - State: closed - Opened by viper-admin about 4 years ago - 1 comment
Labels: pull request, merged

#77 - Changed file extension of Gobra files to .gobra

Issue - State: closed - Opened by viper-admin about 4 years ago - 2 comments
Labels: pull request, merged

#76 - Import abstract functions & methods

Issue - State: closed - Opened by viper-admin about 4 years ago - 3 comments
Labels: pull request, merged

#75 - Ide support

Issue - State: closed - Opened by viper-admin about 4 years ago - 12 comments
Labels: pull request, merged

#74 - Support for implicitly qualified imports

Issue - State: closed - Opened by viper-admin over 4 years ago - 29 comments
Labels: pull request, merged

#73 - Support for unqualified imports

Issue - State: closed - Opened by viper-admin over 4 years ago - 6 comments
Labels: pull request, merged

#72 - Sequences, sets, and multisets

Issue - State: closed - Opened by viper-admin over 4 years ago - 25 comments
Labels: pull request, merged

#71 - Gobra modifications for Gobra-IDE

Issue - State: closed - Opened by viper-admin over 4 years ago - 37 comments
Labels: pull request, declined

#70 - Fix issue 38

Issue - State: closed - Opened by viper-admin over 4 years ago - 3 comments
Labels: pull request, merged

#69 - Error reporting for imported packages containing errors

Issue - State: closed - Opened by viper-admin over 4 years ago - 9 comments
Labels: pull request, merged

#68 - Second Batch of Import Features

Issue - State: closed - Opened by viper-admin over 4 years ago - 7 comments
Labels: pull request, merged

#67 - First Batch of Import Features

Issue - State: closed - Opened by viper-admin over 4 years ago - 64 comments
Labels: pull request, merged

#66 - Mathematical sequences

Issue - State: closed - Opened by viper-admin over 4 years ago - 19 comments
Labels: pull request, merged

#65 - Reporting & Streaming of Verification Results

Issue - State: closed - Opened by viper-admin over 4 years ago - 19 comments
Labels: pull request, merged

#64 - Quantifiers

Issue - State: closed - Opened by viper-admin over 4 years ago - 29 comments
Labels: pull request, merged

#63 - Same Package Support

Issue - State: closed - Opened by viper-admin over 4 years ago - 35 comments
Labels: pull request, merged

#62 - added a fix for issue #28

Issue - State: closed - Opened by viper-admin over 4 years ago - 10 comments
Labels: pull request, merged

#61 - Parsing of imports

Issue - State: closed - Opened by viper-admin almost 5 years ago - 3 comments
Labels: pull request, merged

#60 - Parser unit tests

Issue - State: closed - Opened by viper-admin almost 5 years ago - 4 comments
Labels: pull request, merged

#59 - Fixed issue 26 and fixed issue 27

Issue - State: closed - Opened by viper-admin almost 5 years ago - 2 comments
Labels: pull request, merged

#58 - Fixed issue 19

Issue - State: closed - Opened by viper-admin almost 5 years ago - 1 comment
Labels: pull request, merged

#57 - Semicolon removal

Issue - State: closed - Opened by viper-admin almost 5 years ago - 13 comments
Labels: pull request, merged

#56 - Fixed issue 24

Issue - State: closed - Opened by viper-admin almost 5 years ago - 1 comment
Labels: pull request, merged

#55 - Encluttered parse ast

Issue - State: closed - Opened by viper-admin almost 5 years ago - 16 comments
Labels: pull request, merged

#54 - Small fix for interfacing Viper

Issue - State: closed - Opened by viper-admin almost 5 years ago - 1 comment
Labels: pull request, merged

#53 - Havoc

Pull Request - State: closed - Opened by viper-admin about 4 years ago - 11 comments
Labels: pull request

#52 - Keyed lits

Issue - State: closed - Opened by viper-admin almost 5 years ago - 1 comment
Labels: pull request, merged

#51 - Ternary Operator

Issue - State: closed - Opened by viper-admin almost 5 years ago - 7 comments
Labels: pull request, merged

#50 - Better returns

Issue - State: closed - Opened by viper-admin almost 5 years ago
Labels: pull request, declined

#49 - Remove non-exhaustive matches

Issue - State: closed - Opened by viper-admin almost 5 years ago - 1 comment
Labels: pull request, merged

#48 - added small example of using 'old'

Issue - State: closed - Opened by viper-admin about 5 years ago - 2 comments
Labels: pull request, declined

#47 - support for 'old's

Issue - State: closed - Opened by viper-admin about 5 years ago - 5 comments
Labels: pull request, merged

#46 - No support for Switch Statements

Issue - State: closed - Opened by viper-admin about 4 years ago - 2 comments
Labels: enhancement, minor

#45 - Workaround in error back-translation

Issue - State: open - Opened by viper-admin about 4 years ago - 2 comments
Labels: bug, minor, Viper, error reporting

#44 - Cyclic definition of constants

Issue - State: closed - Opened by viper-admin about 4 years ago
Labels: bug, minor

#43 - Recursion in type definitions

Issue - State: closed - Opened by viper-admin over 4 years ago
Labels: bug, minor

#42 - Support for embedded fields

Issue - State: closed - Opened by viper-admin over 4 years ago - 1 comment
Labels: bug, VerifiedSCION

#41 - Improve infile configs

Issue - State: closed - Opened by viper-admin over 4 years ago - 2 comments
Labels: enhancement, minor

#40 - Handling of per-file imports

Issue - State: closed - Opened by viper-admin over 4 years ago
Labels: enhancement, major

#39 - Consistent Support of Old Expressions

Issue - State: closed - Opened by viper-admin over 4 years ago - 7 comments
Labels: enhancement, major

#38 - Viper code writer crashes when encoding a function call returning a struct value

Issue - State: closed - Opened by viper-admin over 4 years ago - 4 comments
Labels: bug, minor

#37 - Disallow use of ghost members in non-ghost code

Issue - State: closed - Opened by viper-admin over 4 years ago - 2 comments
Labels: enhancement, minor, type checking

#36 - Method Wellformedness

Issue - State: open - Opened by viper-admin over 4 years ago - 3 comments
Labels: bug, minor, type checking

#35 - Parsing of Anonymous Structs

Issue - State: closed - Opened by viper-admin over 4 years ago - 1 comment
Labels: bug, trivial

#34 - Support Method Declarations for non-struct Types

Issue - State: closed - Opened by viper-admin over 4 years ago - 1 comment
Labels: enhancement, minor

#33 - Postcondition Encoding of Method with Struct Type

Issue - State: closed - Opened by viper-admin over 4 years ago - 4 comments
Labels: bug, minor

#32 - Short hand declaration of existing variables

Issue - State: closed - Opened by viper-admin over 4 years ago - 4 comments
Labels: bug, minor

#31 - Commenting out functions with contracts

Issue - State: closed - Opened by viper-admin over 4 years ago - 2 comments
Labels: bug, major

#30 - Struct and function calls

Issue - State: closed - Opened by viper-admin over 4 years ago - 2 comments
Labels: bug, major

#29 - Alias Declaration & Type Definition with `int`

Issue - State: closed - Opened by viper-admin over 4 years ago - 6 comments
Labels: enhancement, minor

#28 - Structs as input parameters

Issue - State: closed - Opened by viper-admin over 4 years ago - 2 comments
Labels: bug, major

#27 - Using `old` inside composite expressions

Issue - State: closed - Opened by viper-admin almost 5 years ago - 5 comments
Labels: bug, major

#26 - Associativity of the `.` operator

Issue - State: closed - Opened by viper-admin almost 5 years ago - 4 comments
Labels: bug, major

#25 - Commenting out functions

Issue - State: closed - Opened by viper-admin almost 5 years ago - 5 comments
Labels: bug, major

#24 - Structs in function parameters

Issue - State: closed - Opened by viper-admin almost 5 years ago - 6 comments
Labels: bug, major

#23 - Ghostifying Proof statements

Issue - State: closed - Opened by viper-admin almost 5 years ago - 3 comments
Labels: bug, major

#22 - Incorrect literal instantiation

Issue - State: closed - Opened by viper-admin almost 5 years ago - 2 comments
Labels: bug, major

#21 - Using structs as paremeters causes an exception

Issue - State: closed - Opened by viper-admin almost 5 years ago - 2 comments
Labels: bug, major

#20 - Adding a Ternary Operator to Gobra

Issue - State: closed - Opened by viper-admin almost 5 years ago - 2 comments
Labels: enhancement, major

#19 - Failing Return

Issue - State: closed - Opened by viper-admin almost 5 years ago - 5 comments
Labels: bug, major

#18 - Viper meta-data copying

Issue - State: closed - Opened by viper-admin about 5 years ago - 4 comments
Labels: bug, critical

#17 - Making Gobra deterministic

Issue - State: open - Opened by viper-admin about 5 years ago - 3 comments
Labels: enhancement, major, encoding

#16 - Structs and pointers

Issue - State: closed - Opened by viper-admin about 5 years ago - 3 comments
Labels: bug, major

#15 - Ownership of struct fields not on the heap

Issue - State: closed - Opened by viper-admin about 5 years ago - 2 comments
Labels: bug, major

#14 - Decluttering the desugarer

Issue - State: open - Opened by viper-admin about 5 years ago
Labels: major, task, desugaring

#13 - Consolidating the Parser

Issue - State: closed - Opened by viper-admin about 5 years ago - 1 comment
Labels: major, task, parsing

#12 - Removing the need for semicolons

Issue - State: closed - Opened by viper-admin about 5 years ago - 2 comments
Labels: enhancement, major

#11 - Incorrect well-definedness checks

Issue - State: closed - Opened by viper-admin about 5 years ago - 1 comment
Labels: bug, major

#10 - Resolving ambiguous nodes before type checking

Issue - State: closed - Opened by viper-admin about 5 years ago - 2 comments
Labels: enhancement, major

#9 - Preconditions and pointers

Issue - State: closed - Opened by viper-admin about 5 years ago - 4 comments
Labels: bug, major

#8 - Ownership of pointers to primitive types

Issue - State: closed - Opened by viper-admin about 5 years ago - 6 comments
Labels: bug, major

#7 - Avoiding redundant duplication of Viper nodes

Issue - State: closed - Opened by viper-admin about 5 years ago - 4 comments
Labels: enhancement, major

#6 - Improving scalability of parser and name resolution

Issue - State: closed - Opened by viper-admin over 5 years ago - 6 comments
Labels: enhancement, minor, parsing

#5 - Expression Statements are not supported

Issue - State: closed - Opened by viper-admin over 5 years ago - 2 comments
Labels: bug, major

#4 - Redeclaration of formal parameters

Issue - State: closed - Opened by viper-admin over 5 years ago - 3 comments
Labels: bug, major

#3 - Function calls without arguments are classified as ghost code

Issue - State: closed - Opened by viper-admin over 5 years ago - 5 comments
Labels: bug, major

#2 - Variable declaration without initialization fails.

Issue - State: closed - Opened by viper-admin over 5 years ago - 3 comments
Labels: bug, major

#1 - Nothing works

Issue - State: open - Opened by viper-admin over 5 years ago - 3 comments
Labels: bug, minor