ethereum / solidity

Watch 499
Star 8.3k
Fork 2.4k

Code
Issues 712
Pull requests 39
Actions
Projects 13
Security
Insights

Code
Issues
Pull requests
Actions
Projects
Security
Insights

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.

Pick a username

Email Address

Password

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

712 Open 3,202 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

Document the libevmasm optimiser steps documentation 📖

#9842 opened Sep 18, 2020 by axic

[Testing] Document behavior of free functions that implicitly "override" imported namesake free functions testing 🔨

#9840 opened Sep 18, 2020 by bshastry

Bug when resizing array in storage for types smaller than 17 bytes bug 🐛

#9832 opened Sep 17, 2020 by mijovic

[Sol->Yul] Optimize number of calls to `sstore` when copying arrays to storage

#9831 opened Sep 17, 2020 by mijovic

pack / unpack: a flexible data encoding scheme

#9829 opened Sep 16, 2020 by axic

Move away from INVALID and use custom error types instead.

#9824 opened Sep 16, 2020 by chriseth

InternalCompilerError when returning a struct with a mapping from a library function annoys users 😢 bug 🐛

#9817 opened Sep 16, 2020 by jacktnho

[feature-request] Error code system, based on Yulish style `error"..."` feature

#9813 opened Sep 15, 2020 by SilentCicero

[SMTChecker] Consider the limits from EIP-1985 for types

#9810 opened Sep 15, 2020 by axic

isoltest does not support filenames (dots)

#9809 opened Sep 15, 2020 by axic

[SMTChecker] Validate the eth2 deposit contract

#9806 opened Sep 14, 2020 by axic 3 of 10

Fix SMOD in ``test/formal/opcodes.py``.

#9802 opened Sep 14, 2020 by ekpyron

Non-deterministic output according to filesystem path

#9790 opened Sep 13, 2020 by mikeshultz

[SMTChecker] Support type conversion of literals (i.e. address(0))

#9789 opened Sep 12, 2020 by axic

[SMTChecker] Fails to "invoke SMT solver" bug 🐛

#9788 opened Sep 12, 2020 by axic

[SMTChecker] Support selfdestruct

#9786 opened Sep 12, 2020 by axic

Improve DataflowAnalyser to handle knowledge about function calls optimizer

#9772 opened Sep 10, 2020 by hrkrshnn

[SMTChecker] Fail gracefully in CHC SAT queries for z3 <4.8.8

#9769 opened Sep 9, 2020 by leonardoalt

[Sol->Yul] Implement member access for arrays in calldata structs

#9767 opened Sep 9, 2020 by mijovic

Export used events (and errors) instead of just declared

#9765 opened Sep 9, 2020 by dariusdev

[SMTChecker] ICE in SMTEncoder::initFunction

#9764 opened Sep 9, 2020 by cakesoft-omkar

Find Position of Calldata Variable

#9762 opened Sep 8, 2020 by mudgen

[SMTChecker] ICE in unaryoperator end visit bug 🐛

#9744 opened Sep 5, 2020 by bshastry

[SMTChecker] ICE in SMTEncoder::assignment bug 🐛

#9743 opened Sep 5, 2020 by bshastry

[SMTChecker] ICE because symbStruct is a nullptr inside function indexOrMemberAssignment bug 🐛

#9742 opened Sep 5, 2020 by bshastry

Previous 1 2 3 4 5 … 28 29 Next

Previous Next

ProTip! Find all open issues with in progress development work with linked:pr.