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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Incorporating devtools' tests suites as part of the integration tests
#9237
opened Jun 19, 2020 by
alcuadrado
[SMTChecker] ICE because "*arraySort->range != *_element.sort" in multi source test case
bug 🐛
#9234
opened Jun 18, 2020 by
bshastry
[SMTChecker] ICE because "lComponents.size() != rComponents.size()"
bug 🐛
#9233
opened Jun 18, 2020 by
bshastry
Add SPDX license identifier to the compiler source code
good first issue
#9220
opened Jun 17, 2020 by
axic
[Testing] Add semantic tests for imports from multiple files
testing 🔨
#9216
opened Jun 17, 2020 by
bshastry
[Testing] Add semantic testing framework for testing imports from multiple files
testing 🔨
#9210
opened Jun 16, 2020 by
bshastry
[solc] ICE due to immutable variable declaration referencing itself
bug 🐛
#9207
opened Jun 16, 2020 by
bshastry
[codegen] ICE because "memory offset of unknown immutable queried"
bug 🐛
#9196
opened Jun 12, 2020 by
bshastry
Using dots instead of underscores for inline assembly ``_slot``, ``_offset``.
breaking change ⚠️
language design
#9169
opened Jun 10, 2020 by
ekpyron
Make actually running SMT queries configurable via standard-json.
#9136
opened Jun 5, 2020 by
ekpyron
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.