Skip to content

Issues: microsoft/verisol

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

46 Open 89 Closed
46 Open 89 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[BUG] The function **TranslateCallStatement** may cause Null Pointer Exception.
#269 opened Jul 17, 2020 by BigGan
2
question: Switching between solidity versions
#267 opened May 26, 2020 by MalteRei
1
question: detection of reentrancy and unchecked send vulnerability
#264 opened May 16, 2020 by yxliang01
3
Issue with the Windows image in build pipeline
#262 opened May 8, 2020 by shuvendu-lahiri
Unhandled Exception: cba.Util.InvalidProg: Cannot resolve __SolToBoogieTest_out.bpl
#260 opened Apr 22, 2020 by syscoopco
3
Unhandled Exception : System.IO.IOException: Broken pipe
#246 opened Mar 24, 2020 by fog93
1
Line number -1 error
#238 opened Jan 31, 2020 by stephensj2
"hex" literals are not handled enhancement New feature or request
#236 opened Jan 27, 2020 by ellab123
1
Scientific Notation not Supported
#235 opened Jan 27, 2020 by stephensj2
Conversions between fixed-size byte arrays of different lengths are wrong bug Something isn't working
#234 opened Jan 24, 2020 by ellab123
1
Assertion Violation due to Super duplicate This issue or pull request already exists
#233 opened Jan 24, 2020 by stephensj2
Multiple Return Value Assertion Violation
#232 opened Jan 24, 2020 by stephensj2
Support implicit conversion from "bytes" to "string" for function arguments enhancement New feature or request
#229 opened Jan 21, 2020 by ellab123
1
"super" keyword is not implemented enhancement New feature or request
#227 opened Jan 15, 2020 by ellab123
No such file or directory
#223 opened Dec 17, 2019 by enderphan94
3
Add modifies clauses enhancement New feature or request
#220 opened Nov 23, 2019 by shuvendu-lahiri
2
Add timeout for Boogie and Corral components
#219 opened Nov 23, 2019 by shuvendu-lahiri
Handle parameter assignments in Solidity bug Something isn't working
#209 opened Oct 14, 2019 by ellab123
Verisol fails on call with non-empty argument enhancement New feature or request
#196 opened Sep 30, 2019 by bmarwritescode
1
Verisol crashes on contracts with array allocation bug Something isn't working
#195 opened Sep 27, 2019 by fredfeng
2
Multi-dimensional mappings are not zero-initialized bug Something isn't working
#188 opened Sep 23, 2019 by daejunpark
Support calls to external stub methods
#176 opened Sep 5, 2019 by shuvendu-lahiri
Line numbers in corral.txt for functions with modifiers are wrong
#167 opened Aug 21, 2019 by ellab123
Line number in corral.txt is wrong for implicit constructor
#166 opened Aug 21, 2019 by ellab123
Port the workbench examples to solc 0.5.0
#158 opened Aug 2, 2019 by shuvendu-lahiri
ProTip! Type g i on any issue or pull request to go back to the issue listing page.