viperproject/2vyper issues and pull requests

#51 - VerifyThis examples

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

#50 - Is --write-viper-to-file (--print-viper) corrupted?

Issue - State: closed - Opened by westpaddy over 2 years ago - 1 comment

#49 - Specs description

Pull Request - State: closed - Opened by marcoeilers over 3 years ago

#48 - Counterexamples

Pull Request - State: closed - Opened by marcoeilers over 3 years ago

#47 - Feature/inter contract allocation

Pull Request - State: closed - Opened by marcoeilers over 3 years ago

#47 - Feature/inter contract allocation

Pull Request - State: closed - Opened by marcoeilers over 3 years ago

#46 - Wei sent using create_forwarder_to is not tracked in the allocation system

Issue - State: closed - Opened by cbraem almost 4 years ago - 1 comment
Labels: bug

#45 - Local Variables in Preconditions and Performs

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#44 - Resource Function in Specification

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#43 - Public_old Can Be Used in General Postconditions

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#43 - Public_old Can Be Used in General Postconditions

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#42 - Pure Success in Invariants

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#41 - Foreach with provided triggers

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#41 - Foreach with provided triggers

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#40 - Wei Resource Declaration

Issue - State: closed - Opened by cbraem about 4 years ago - 1 comment
Labels: bug

#39 - Develop

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

#39 - Develop

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

#38 - Develop

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

#38 - Develop

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

#37 - Develop

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

#37 - Develop

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

#36 - Not supported address attribute

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: invalid

#36 - Not supported address attribute

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: invalid

#35 - Develop

Pull Request - State: closed - Opened by cbraem over 4 years ago

#35 - Develop

Pull Request - State: closed - Opened by cbraem over 4 years ago

#34 - Develop

Pull Request - State: closed - Opened by cbraem over 4 years ago

#34 - Develop

Pull Request - State: closed - Opened by cbraem over 4 years ago

#33 - Forall With an Event as Trigger

Issue - State: open - Opened by cbraem over 4 years ago
Labels: internal

#33 - Forall With an Event as Trigger

Issue - State: open - Opened by cbraem over 4 years ago
Labels: internal

#32 - Transitivity of Reentrant Locks

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: enhancement

#32 - Transitivity of Reentrant Locks

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: enhancement

#31 - Reentrant Locks Unlocking

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#31 - Reentrant Locks Unlocking

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#30 - Too Restrictive Forced-Ether-Check

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#30 - Too Restrictive Forced-Ether-Check

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#29 - Non-Reflexive Invariants

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#29 - Non-Reflexive Invariants

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#28 - Interface and Contract Typing Error

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#28 - Interface and Contract Typing Error

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#27 - Function Specific Specification-Functions

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#27 - Function Specific Specification-Functions

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#26 - Ghost function decleration in non-interface contracts

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#26 - Ghost function decleration in non-interface contracts

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#25 - Selfdestruct in ghost function/code/statement

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#25 - Selfdestruct in ghost function/code/statement

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#24 - Constant bools containing comparisons

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#24 - Constant bools containing comparisons

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#23 - Unchecked range Expression

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#23 - Unchecked range Expression

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#22 - Invalid ghost code

Issue - State: closed - Opened by cbraem over 4 years ago - 1 comment
Labels: bug

#22 - Invalid ghost code

Issue - State: closed - Opened by cbraem over 4 years ago - 1 comment
Labels: bug

#21 - List definition with a value type in [uint256, address, bytes32]

Issue - State: closed - Opened by cbraem over 4 years ago - 1 comment
Labels: bug

#21 - List definition with a value type in [uint256, address, bytes32]

Issue - State: closed - Opened by cbraem over 4 years ago - 1 comment
Labels: bug

#20 - Invariants and checks in interfaces

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#20 - Invariants and checks in interfaces

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#19 - [CLOSED] Private functions can be used as accessible functions

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#19 - [CLOSED] Private functions can be used as accessible functions

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#18 - [CLOSED] Arguments are captured by local variables in inlining private functions

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#18 - [CLOSED] Arguments are captured by local variables in inlining private functions

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#17 - [CLOSED] preserves can be written everywhere

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#17 - [CLOSED] preserves can be written everywhere

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#16 - [CLOSED] success(if_not=sender_failed) does not include out_of_gas

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#16 - [CLOSED] success(if_not=sender_failed) does not include out_of_gas

Issue - State: closed - Opened by cbraem over 4 years ago
Labels: bug

#15 - Only check trust if more than 0 is reallocated/offered/etc.

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: enhancement

#15 - Only check trust if more than 0 is reallocated/offered/etc.

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: enhancement

#14 - Triggers in foreach

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: internal

#13 - Use mathematical integers for ghost state

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: unsoundness

#13 - Use mathematical integers for ghost state

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: unsoundness

#12 - [CLOSED] Disallow state changes in ghost statements

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: unsoundness

#12 - [CLOSED] Disallow state changes in ghost statements

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: unsoundness

#11 - Support for slice

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: enhancement

#11 - Support for slice

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: enhancement

#10 - Support for extract32

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: enhancement

#10 - Support for extract32

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: enhancement

#9 - Support for tuples

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: enhancement

#9 - Support for tuples

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: enhancement

#8 - Equality for bounded integer maps

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: enhancement

#8 - Equality for bounded integer maps

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: enhancement

#7 - Equality for nested maps

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: enhancement

#7 - Equality for nested maps

Issue - State: open - Opened by marcoeilers over 4 years ago
Labels: enhancement

#6 - [CLOSED] Empty counterexample for "might not correctly implement an interface" error

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: bug

#6 - [CLOSED] Empty counterexample for "might not correctly implement an interface" error

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: bug

#5 - [CLOSED] Crash when implementation of ghost function is missing

Issue - State: closed - Opened by marcoeilers over 4 years ago
Labels: bug

#5 - [CLOSED] Crash when implementation of ghost function is missing

Issue - State: closed - Opened by marcoeilers over 4 years ago
Labels: bug

#4 - [CLOSED] Using invalid type in interface function signature leads to crash

Issue - State: closed - Opened by marcoeilers over 4 years ago
Labels: bug

#4 - [CLOSED] Using invalid type in interface function signature leads to crash

Issue - State: closed - Opened by marcoeilers over 4 years ago
Labels: bug

#3 - [CLOSED] Crash in error reporting

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: bug

#3 - [CLOSED] Crash in error reporting

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: bug

#2 - [CLOSED] Crash when using success without parentheses

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: bug

#2 - [CLOSED] Crash when using success without parentheses

Issue - State: closed - Opened by marcoeilers over 4 years ago - 1 comment
Labels: bug

#1 - [CLOSED] Call to Vyper compiler results in FileNotFoundError

Issue - State: closed - Opened by marcoeilers over 4 years ago - 2 comments
Labels: bug

#1 - [CLOSED] Call to Vyper compiler results in FileNotFoundError

Issue - State: closed - Opened by marcoeilers over 4 years ago - 2 comments
Labels: bug

GitHub / viperproject/2vyper issues and pull requests