Skip to content

/ solidity

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

720 Open 3,490 Closed
720 Open 3,490 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
[SMTChecker] Missing type constraints on transaction variables in contract deployment phase.
#10703 opened Dec 30, 2020 by blishko
1
Unchecked block as an expression. feature language design :rage4:
#10698 opened Dec 28, 2020 by MicahZoltu
2
Remove Builtin Default Over/Underflow Reverts
#10695 opened Dec 27, 2020 by mudgen
19
block.coinbase defaults to payable type
#10692 opened Dec 25, 2020 by thegostep
5
[Optimizer] Redundant mstore remover difficulty: challenging enhancement optimizer
#10690 opened Dec 24, 2020 by hrkrshnn
1
[Sol->Yul] Copying nested bytes array from storage to memory doesn't work bug 🐛 codegen error
#10689 opened Dec 24, 2020 by mijovic
Convert certain mod(mul(X, Y), A) into mulmod(X, Y, A) difficulty: easy enhancement good first issue optimizer
#10688 opened Dec 23, 2020 by hrkrshnn
1
Convert certain and(mul(a, b), mask) and and(add(a, b), mask) into mulmod(a, b, x) and addmod(a, b, y) difficulty: easy enhancement good first issue optimizer
#10687 opened Dec 23, 2020 by hrkrshnn
Make `this` behave more closely to how it behaves in all other languages.
#10674 opened Dec 22, 2020 by MicahZoltu
2
Take termination into account for RedundantAssignEliminator optimizer
#10673 opened Dec 21, 2020 by chriseth
@hrkrshnn @mijovic
1
[codegen] ICE because function item stored but target not equal to source bug 🐛 should compile without error
#10667 opened Dec 21, 2020 by bshastry
[SMTChecker] ICE in function smtutil::Expression solidity::frontend::smt::EncodingContext::newValue(const frontend::VariableDeclaration &) (different contract structure)
#10666 opened Dec 20, 2020 by agroce
1
[SMTChecker] SMT logic error in std::string solidity::smtutil::SMTLib2Interface::toSmtLibSort(const solidity::smtutil::Sort &) bug 🐛
#10658 opened Dec 18, 2020 by agroce
[SMTChecker] SMT logic error in solidity::smtutil::Expression solidity::smtutil::Expression::store(solidity::smtutil::Expression, solidity::smtutil::Expression, solidity::smtutil::Expression) bug 🐛
#10657 opened Dec 18, 2020 by agroce
[SMTChecker] ICE in void solidity::frontend::smt::SymbolicState::buildABIFunctions(const set<const solidity::frontend::FunctionCall *> &) bug 🐛
#10656 opened Dec 18, 2020 by agroce
[SyntaxChecker] ICE due to match expression having no value bug 🐛 should compile without error
#10654 opened Dec 18, 2020 by bshastry
1
@axic
Implicit and "free" casting for like-types feature language design :rage4:
#10649 opened Dec 17, 2020 by deluca-mike
3
[SMTChecker] Report contract name before `constructor` and function call in the counterexample trace. good first issue
#10646 opened Dec 17, 2020 by blishko
Extend DataFlowAnalyzer to not reset memory if memory ops use zero length optimizer
#10645 opened Dec 17, 2020 by chriseth
1
4
[ewasm] Revise `internal_to_i32ptr` polyfill enhancement wasm
#10634 opened Dec 16, 2020 by aarlt
2
[CI] PR check to enforce Linux line endings build system 🏗️ testing 🔨
#10629 opened Dec 16, 2020 by cameel
Improve error reporting of scanner issues in the Solidity and Yul parsers
#10627 opened Dec 16, 2020 by axic
[yul] Allow unicode directional sequences in comments and string literals
#10622 opened Dec 15, 2020 by mijovic
Incorrect warning about unreachable code. bug 🐛 should compile without error
#10620 opened Dec 15, 2020 by blishko
[SMTChecker] False negatives and positives because of assembly bug 🐛
#10619 opened Dec 15, 2020 by leonardoalt
ProTip! Exclude everything labeled bug with -label:bug.
You can’t perform that action at this time.