Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / microsoft/verisol issues and pull requests
#49 - handling bytes
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
#49 - handling bytes
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
#48 - Fix implicit constructor
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#48 - Fix implicit constructor
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#47 - Shuvendu string mapping initialize
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#47 - Shuvendu string mapping initialize
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#46 - Common ArgumentNullException
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
Labels: bug
#46 - Common ArgumentNullException
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
Labels: bug
#45 - Supporting single modifier
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 5 comments
#45 - Supporting single modifier
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 5 comments
#44 - changing the script
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#44 - changing the script
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#43 - mappings (string => blah) are not zero initialized.
Issue -
State: closed - Opened by cs0317 almost 6 years ago
- 3 comments
Labels: bug
#43 - mappings (string => blah) are not zero initialized.
Issue -
State: closed - Opened by cs0317 almost 6 years ago
- 3 comments
Labels: bug
#42 - it is helpful to print values of bool, bytes32, etc. in ConcurrencyExplorer
Issue -
State: closed - Opened by cs0317 almost 6 years ago
- 1 comment
Labels: enhancement
#42 - it is helpful to print values of bool, bytes32, etc. in ConcurrencyExplorer
Issue -
State: closed - Opened by cs0317 almost 6 years ago
- 1 comment
Labels: enhancement
#41 - fixing the newline char bug
Pull Request -
State: closed - Opened by cs0317 almost 6 years ago
#41 - fixing the newline char bug
Pull Request -
State: closed - Opened by cs0317 almost 6 years ago
#40 - commit for keccak fix when not nested
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
#40 - commit for keccak fix when not nested
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
#39 - Line breaks confuse the line number generation for trace viewer
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: bug
#39 - Line breaks confuse the line number generation for trace viewer
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: bug
#38 - Fixing a bunch of small issues
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#38 - Fixing a bunch of small issues
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#37 - Support for 0 as an address
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug
#37 - Support for 0 as an address
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug
#36 - Support for delete construct
Issue -
State: open - Opened by shuvendu-lahiri almost 6 years ago
- 2 comments
Labels: enhancement
#36 - Support for delete construct
Issue -
State: open - Opened by shuvendu-lahiri almost 6 years ago
- 2 comments
Labels: enhancement
#35 - Support for keccak256
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: bug, enhancement
#35 - Support for keccak256
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: bug, enhancement
#34 - Supporting deeply nested expressions with function calls
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 2 comments
Labels: bug, refactor
#34 - Supporting deeply nested expressions with function calls
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 2 comments
Labels: bug, refactor
#33 - Mapping over strings
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug
#33 - Mapping over strings
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug
#32 - Getters for public state variables
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: enhancement
#32 - Getters for public state variables
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: enhancement
#31 - Fixing issue with string mappings
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#31 - Fixing issue with string mappings
Pull Request -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
#30 - Mappings and implicit constructors
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: bug
#30 - Mappings and implicit constructors
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: bug
#29 - elementary type cast
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
Labels: bug
#29 - elementary type cast
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
Labels: bug
#28 - key not found for contracts with empty body
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#27 - KeyNotFoundException in TranslatorContext.cs
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#27 - KeyNotFoundException in TranslatorContext.cs
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#26 - add int types
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
Labels: bug
#25 - Support for multiple return values
Issue -
State: open - Opened by Yuepeng-Wang almost 6 years ago
#25 - Support for multiple return values
Issue -
State: open - Opened by Yuepeng-Wang almost 6 years ago
#24 - Add passed regression tests
Pull Request -
State: closed - Opened by Yuepeng-Wang almost 6 years ago
#24 - Add passed regression tests
Pull Request -
State: closed - Opened by Yuepeng-Wang almost 6 years ago
#23 - cross platform
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 2 comments
#23 - cross platform
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 2 comments
#22 - Supporting tuples
Issue -
State: open - Opened by rongpan almost 6 years ago
- 3 comments
Labels: enhancement
#22 - Supporting tuples
Issue -
State: open - Opened by rongpan almost 6 years ago
- 3 comments
Labels: enhancement
#21 - fix constructor
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
#21 - fix constructor
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
#20 - Bug fix for return expr statements
Pull Request -
State: closed - Opened by Yuepeng-Wang almost 6 years ago
- 7 comments
Labels: bug
#20 - Bug fix for return expr statements
Pull Request -
State: closed - Opened by Yuepeng-Wang almost 6 years ago
- 7 comments
Labels: bug
#19 - Upgrade the solc compiler from 0.4.24
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#19 - Upgrade the solc compiler from 0.4.24
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#18 - Regression fix
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#18 - Regression fix
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#17 - Boogie syntax error on return expression statements
Issue -
State: closed - Opened by Yuepeng-Wang almost 6 years ago
- 1 comment
Labels: bug
#17 - Boogie syntax error on return expression statements
Issue -
State: closed - Opened by Yuepeng-Wang almost 6 years ago
- 1 comment
Labels: bug
#16 - Line number when VeriSol crashes during Boogie translation
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#16 - Line number when VeriSol crashes during Boogie translation
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#15 - Assertion failures in regression test
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 2 comments
#15 - Assertion failures in regression test
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 2 comments
#14 - Unknown form of function call
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 4 comments
#14 - Unknown form of function call
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 4 comments
#13 - Unsupported elementary types
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 5 comments
#13 - Unsupported elementary types
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 5 comments
#12 - Assertion failure in SolToBoogie ProcedureTranslator.cs
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 4 comments
Labels: bug
#12 - Assertion failure in SolToBoogie ProcedureTranslator.cs
Issue -
State: closed - Opened by rongpan almost 6 years ago
- 4 comments
Labels: bug
#11 - Adding regression script
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
#11 - Adding regression script
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
#10 - SolToBoogie complains about an interface not having a contructor
Issue -
State: closed - Opened by cs0317 almost 6 years ago
- 1 comment
Labels: bug
#10 - SolToBoogie complains about an interface not having a contructor
Issue -
State: closed - Opened by cs0317 almost 6 years ago
- 1 comment
Labels: bug
#9 - Updates from the previous development branch
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#9 - Updates from the previous development branch
Pull Request -
State: closed - Opened by rongpan almost 6 years ago
- 1 comment
#8 - Supporting variable initializers outside of constructors
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug
#8 - Supporting variable initializers outside of constructors
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: bug
#7 - Supporting Solidity libraries
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: enhancement
#7 - Supporting Solidity libraries
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: enhancement
#6 - Support for unsigned values
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 3 comments
Labels: enhancement
#5 - Supporting SdvDefectViewer based trace viewing
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: enhancement
#5 - Supporting SdvDefectViewer based trace viewing
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 1 comment
Labels: enhancement
#4 - Supporting Solidity payable contracts
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#4 - Supporting Solidity payable contracts
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#3 - Supporting Solidity deep copy for arrays
Issue -
State: open - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#3 - Supporting Solidity deep copy for arrays
Issue -
State: open - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#2 - Supporting Solidity modifiers
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 2 comments
Labels: enhancement
#2 - Supporting Solidity modifiers
Issue -
State: closed - Opened by shuvendu-lahiri almost 6 years ago
- 2 comments
Labels: enhancement
#1 - Supporting Solidity structs
Issue -
State: open - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement
#1 - Supporting Solidity structs
Issue -
State: open - Opened by shuvendu-lahiri almost 6 years ago
Labels: enhancement