microsoft/verisol issues and pull requests

#100 - Provide flags to ignore translating a set of methods

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: enhancement

#100 - Provide flags to ignore translating a set of methods

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: enhancement

#99 - Shuvendu hacks and fixes

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#99 - Shuvendu hacks and fixes

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#98 - Base and derived constructor argument mismatch

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: bug

#98 - Base and derived constructor argument mismatch

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: bug

#97 - Interpret string as byte array

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago - 1 comment
Labels: enhancement

#97 - Interpret string as byte array

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago - 1 comment
Labels: enhancement

#96 - Instructions for building for Linux

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago - 24 comments
Labels: documentation

#96 - Instructions for building for Linux

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago - 24 comments
Labels: documentation

#95 - breaking up function calls that return to non-identifiers #51

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#95 - breaking up function calls that return to non-identifiers #51

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#94 - Shuvendu nested index

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#94 - Shuvendu nested index

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#93 - Shuvendu nested expressions

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago - 1 comment

#93 - Shuvendu nested expressions

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago - 1 comment

#92 - nested function calls without any relational operations

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#92 - nested function calls without any relational operations

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#91 - fix for invoking nested constructors

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#91 - fix for invoking nested constructors

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#90 - Call to transfer function produces assertion failure

Issue - State: closed - Opened by garbervetsky over 5 years ago
Labels: duplicate, enhancement

#90 - Call to transfer function produces assertion failure

Issue - State: closed - Opened by garbervetsky over 5 years ago
Labels: duplicate, enhancement

#89 - Call to abi function fails

Issue - State: closed - Opened by garbervetsky over 5 years ago - 5 comments
Labels: bug, enhancement

#89 - Call to abi function fails

Issue - State: closed - Opened by garbervetsky over 5 years ago - 5 comments
Labels: bug, enhancement

#88 - Support for integers beyond 2^31

Issue - State: closed - Opened by garbervetsky over 5 years ago
Labels: bug

#88 - Support for integers beyond 2^31

Issue - State: closed - Opened by garbervetsky over 5 years ago
Labels: bug

#87 - Struct constructor not recognized in invocation

Issue - State: closed - Opened by garbervetsky over 5 years ago - 2 comments
Labels: bug

#87 - Struct constructor not recognized in invocation

Issue - State: closed - Opened by garbervetsky over 5 years ago - 2 comments
Labels: bug

#86 - Unsupported types in function invocation

Issue - State: open - Opened by garbervetsky over 5 years ago - 1 comment
Labels: bug

#86 - Unsupported types in function invocation

Issue - State: open - Opened by garbervetsky over 5 years ago - 1 comment
Labels: bug

#85 - fix modifier with invocations

Pull Request - State: closed - Opened by rongpan over 5 years ago

#85 - fix modifier with invocations

Pull Request - State: closed - Opened by rongpan over 5 years ago

#84 - Run regression tests at build time

Issue - State: closed - Opened by garbervetsky over 5 years ago - 1 comment
Labels: enhancement, good first issue

#84 - Run regression tests at build time

Issue - State: closed - Opened by garbervetsky over 5 years ago - 1 comment
Labels: enhancement, good first issue

#83 - Dependencies as git submodules

Issue - State: closed - Opened by garbervetsky over 5 years ago - 4 comments
Labels: enhancement

#83 - Dependencies as git submodules

Issue - State: closed - Opened by garbervetsky over 5 years ago - 4 comments
Labels: enhancement

#82 - modifier with invocations

Issue - State: closed - Opened by garbervetsky over 5 years ago - 2 comments
Labels: bug

#82 - modifier with invocations

Issue - State: closed - Opened by garbervetsky over 5 years ago - 2 comments
Labels: bug

#81 - Missing information about Dependencies folder

Issue - State: closed - Opened by garbervetsky over 5 years ago - 1 comment
Labels: documentation

#81 - Missing information about Dependencies folder

Issue - State: closed - Opened by garbervetsky over 5 years ago - 1 comment
Labels: documentation

#80 - Power binary operator not supported

Issue - State: open - Opened by garbervetsky over 5 years ago - 3 comments
Labels: bug

#80 - Power binary operator not supported

Issue - State: open - Opened by garbervetsky over 5 years ago - 3 comments
Labels: bug

#79 - Support delegatecalls

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago

#79 - Support delegatecalls

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago

#78 - Dynamic type assumption too strong

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago - 1 comment
Labels: bug

#78 - Dynamic type assumption too strong

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago - 1 comment
Labels: bug

#77 - Support enum type for function parameters

Pull Request - State: closed - Opened by Yuepeng-Wang over 5 years ago

#77 - Support enum type for function parameters

Pull Request - State: closed - Opened by Yuepeng-Wang over 5 years ago

#76 - Shuvendu structs

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#76 - Shuvendu structs

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#75 - Support pop operation

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago
Labels: enhancement

#75 - Support pop operation

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago
Labels: enhancement

#74 - Nested index expressions don't work in calls

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: bug

#74 - Nested index expressions don't work in calls

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: bug

#73 - Nested new, cast not handled

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: bug

#73 - Nested new, cast not handled

Issue - State: closed - Opened by shuvendu-lahiri over 5 years ago
Labels: bug

#72 - Shuvendu libraries

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#72 - Shuvendu libraries

Pull Request - State: closed - Opened by shuvendu-lahiri over 5 years ago

#71 - Support for Using for libraries

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago - 4 comments
Labels: bug

#71 - Support for Using for libraries

Issue - State: open - Opened by shuvendu-lahiri over 5 years ago - 4 comments
Labels: bug

#70 - supporting nested calls (addressing issue #34)

Pull Request - State: closed - Opened by cs0317 almost 6 years ago

#70 - supporting nested calls (addressing issue #34)

Pull Request - State: closed - Opened by cs0317 almost 6 years ago

#69 - Supporting multiple modifier chaining

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#69 - Supporting multiple modifier chaining

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#68 - initialization of vars outside constructors (addressing issue #8)

Pull Request - State: closed - Opened by cs0317 almost 6 years ago - 1 comment

#68 - initialization of vars outside constructors (addressing issue #8)

Pull Request - State: closed - Opened by cs0317 almost 6 years ago - 1 comment

#67 - modifier with args and other refactorings

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#67 - modifier with args and other refactorings

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#66 - Shuvendu single regression

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#66 - Shuvendu single regression

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#65 - added the support for a function to be used as an if-condition (addressing issue #55)

Pull Request - State: closed - Opened by cs0317 almost 6 years ago - 1 comment

#65 - added the support for a function to be used as an if-condition (addressing issue #55)

Pull Request - State: closed - Opened by cs0317 almost 6 years ago - 1 comment

#64 - Need support for integer constant for function argument

Issue - State: closed - Opened by cs0317 almost 6 years ago - 3 comments
Labels: bug, duplicate

#64 - Need support for integer constant for function argument

Issue - State: closed - Opened by cs0317 almost 6 years ago - 3 comments
Labels: bug, duplicate

#63 - Shuvendu delete

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#62 - Change all Debug.Assert in code to add string message

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: duplicate, refactor

#62 - Change all Debug.Assert in code to add string message

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: duplicate, refactor

#61 - Support different integer bit widths in function signatures

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: bug

#61 - Support different integer bit widths in function signatures

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: bug

#60 - address cast does not work in assignments

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 3 comments
Labels: bug

#60 - address cast does not work in assignments

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 3 comments
Labels: bug

#59 - printing values for x++ and x-- operations

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#59 - printing values for x++ and x-- operations

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#58 - Initialize Scalar state variables in constructors

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug

#58 - Initialize Scalar state variables in constructors

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug

#57 - initializing strings and integer state variables in constructor

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#57 - initializing strings and integer state variables in constructor

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#56 - print string and bytes values

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#56 - print string and bytes values

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

#55 - Function calls in conditions are not translated at all

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: bug

#55 - Function calls in conditions are not translated at all

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: bug

#54 - adding keccak non-collision axiom

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#54 - adding keccak non-collision axiom

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#53 - Zero initialize all variables and maps in true reset state

Issue - State: open - Opened by shuvendu-lahiri almost 6 years ago

#53 - Zero initialize all variables and maps in true reset state

Issue - State: open - Opened by shuvendu-lahiri almost 6 years ago

#52 - more fixes for printing bool values

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#52 - more fixes for printing bool values

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment

#51 - Returning values into state variables yields bad boogie program

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: bug

#51 - Returning values into state variables yields bad boogie program

Issue - State: closed - Opened by shuvendu-lahiri almost 6 years ago - 1 comment
Labels: bug

#50 - string mapping initialize

Pull Request - State: closed - Opened by shuvendu-lahiri almost 6 years ago

GitHub / microsoft/verisol issues and pull requests