ethereum / solidity

34 Pull requests merged by 6 people

• [ewasm] Allow compiling abstract/interface contracts

  #10273 merged Nov 12, 2020

• Merge develop into breaking.

  #10268 merged Nov 11, 2020

• Fix Yul codegen for try with create.

  #10263 merged Nov 11, 2020

• Fix calldata index access.

  #10266 merged Nov 11, 2020

• Fix initializing mapping return variables.

  #10265 merged Nov 11, 2020

• [SMTChecker] Avoid implicit conversion

  #10262 merged Nov 11, 2020

• cmdlineTests.sh: Fix buggy calculation of the number of input files

  #10248 merged Nov 11, 2020

• Moving tests to semanticTests part2

  #10192 merged Nov 11, 2020

• Merge develop into breaking.

  #10258 merged Nov 11, 2020

• Add wasm support to libyul/ObjectCompilerTest

  #10242 merged Nov 11, 2020

• Yul indentation rules in .editorconfig

  #10253 merged Nov 11, 2020

• Assume input.sol by default in command-line tests (restores old behavior) (reopened)

  #10251 merged Nov 10, 2020

• Merge develop into breaking.

  #10250 merged Nov 10, 2020

• Assume input.sol by default in command-line tests (restores old behavior)

  #10249 merged Nov 10, 2020

• Immutables with literal values are pure.

  #10240 merged Nov 10, 2020

• [Sol->Yul] Refactor array conversions

  #10221 merged Nov 10, 2020

• [BREAKING] Change type of Super to TypeType

  #10029 merged Nov 10, 2020

• [CLI] Improve error handling of missing/unwriteable files

  #10199 merged Nov 10, 2020

• Arbitrary input file extensions in command-line tests

  #10233 merged Nov 10, 2020

• Linking in assembly mode

  #10229 merged Nov 10, 2020

• Refactor and simplify TestFileParser

  #10212 merged Nov 10, 2020

• [BREAKING] Strict explicit conversion between literals and enums

  #10224 merged Nov 10, 2020

• Command-line tests for linking

  #10227 merged Nov 10, 2020

• [ewasm] Support compiling data subobjects

  #10219 merged Nov 9, 2020

• [solc] Handle exceptions in AssemblyStack.translate() gracefully

  #10241 merged Nov 9, 2020

• Strip bytecode from command-line test output but preserve link references

  #10225 merged Nov 9, 2020

• [ewasm] Allow compiling Yul without "main"

  #10217 merged Nov 9, 2020

• [SMTChecker] Fix CHC false positives when using branches inside modifiers

  #10202 merged Nov 9, 2020

• JSON indentation rules in .editorconfig

  #10237 merged Nov 9, 2020

• Merge develop into breaking.

  #10231 merged Nov 9, 2020

• More informative assertion message on invalid conversions YulUtilFunctions::conversionFunction()

  #10232 merged Nov 9, 2020

• Isoltest SMTChecker option and BMC specific tests

  #10206 merged Nov 6, 2020

• Adjust SMTChecker timeout tests

  #10205 merged Nov 6, 2020

• [SMTChecker] Decrease nondeterminism

  #10222 merged Nov 6, 2020

15 Pull requests opened by 8 people

• [BREAKING] Strict conversion

  #10223 opened Nov 6, 2020

• Detect circular references for library and free functions

  #10228 opened Nov 9, 2020

• [Sol->Yul] External library calls

  #10230 opened Nov 9, 2020

• [SMTChecker] Support named arguments in function calls

  #10234 opened Nov 9, 2020

• Fail on assertion failures in yul code generation.

  #10235 opened Nov 9, 2020

• Fail on invalid storage encoding for byte arrays.

  #10239 opened Nov 9, 2020

• [SMTChecker] Analyzing external calls to `this`

  #10244 opened Nov 10, 2020

• [BREAKING] Limit enums to 256 values

  #10247 opened Nov 10, 2020

• [BREAKING] Disallow declarations with name "this", "super" and "_"

  #10255 opened Nov 11, 2020

• [WIP] ConstantEvaluator respecting integer type annotations

  #10259 opened Nov 11, 2020

• Enable -Wconversion

  #10264 opened Nov 11, 2020

• [SolYul] Implement inline assembly access to constants.

  #10267 opened Nov 11, 2020

• [SolYul] Copy byte arrays from storage to storage.

  #10270 opened Nov 12, 2020

• Copy value array from storage to storage.

  #10271 opened Nov 12, 2020

• Storage storage copy for structs

  #10272 opened Nov 12, 2020

19 Issues closed by 8 people

• ICE in CompilerStack::generateEwasm() when compiling an abstract contract

  #9993 closed Nov 12, 2020

• [CLI] Various solc improvements

  #8847 closed Nov 12, 2020

• Optimizer: Provide simplification rules as strings

  #5542 closed Nov 11, 2020

• notion of constant expression should include immutable

  #10261 closed Nov 11, 2020

• Prevent YUL optimizer from changing certain values to identifiers.

  #9653 closed Nov 11, 2020

• immutable state variables are not considered pure in inheritance

  #9554 closed Nov 10, 2020

• Type system: `super` should be a TypeType and not a ContractType

  #7744 closed Nov 10, 2020

• [CommonIO] readFile and issues management

  #6643 closed Nov 10, 2020

• [ewasm] Support data objects in Binary/TextTransform

  #10178 closed Nov 9, 2020

• [SMTChecker] CHC reports false negatives in modifiers with branches

  #10200 closed Nov 9, 2020

• Update spanish translation

  #3564 closed Nov 9, 2020

• [DOCS] Italian Translation

  #7183 closed Nov 9, 2020

• French Docs translation

  #5250 closed Nov 9, 2020

• Turkish Docs translation

  #5216 closed Nov 9, 2020

• Chinese Docs translation

  #4989 closed Nov 9, 2020

• Korean Docs translation

  #4988 closed Nov 9, 2020

• [Testing] Create antlr4 mutator visitor stub

  #9676 closed Nov 9, 2020

• [SMTChecker] Pointers: erase knowledge only about assigned index

  #6178 closed Nov 6, 2020

• Confusing compilation error starting from solc 0.6.0

  #10220 closed Nov 6, 2020

21 Issues opened by 7 people

• [Docs] Unclear description of valid struct initialization on previous solidity versions

  #10284 opened Nov 13, 2020

• Introduce solidity.evmVersion() to query the target EVM

  #10283 opened Nov 12, 2020

• Standard library brainstorming

  #10282 opened Nov 12, 2020

• Natspec: text before the @notice tag gets included as part of it

  #10281 opened Nov 12, 2020

• Add shellcheck to CI

  #10280 opened Nov 12, 2020

• Strange type derivation in ternary operator

  #10279 opened Nov 12, 2020

• [CLI] Drop --combined-json option and direct users to standard json

  #10278 opened Nov 12, 2020

• [CLI] Add an option which considers warnings as errors (and aborts accordingly)

  #10277 opened Nov 12, 2020

• [CLI] Do not generate serialised JSON fields in --combined-json output where unneccesary

  #10276 opened Nov 12, 2020

• [CLI] Allow for printing output without headings (such as bytecode)

  #10275 opened Nov 12, 2020

• [CLI] Expose all settings present in standard-json to the cli

  #10274 opened Nov 12, 2020

• Remove unneeded includes in files

  #10269 opened Nov 12, 2020

• [Docs] Add goals and design rationale of Solidity to intro section of the docs

  #10260 opened Nov 11, 2020

• [TypeChecker] Null dereference during explicit cast of hex literal to address type

  #10257 opened Nov 11, 2020

• [Typechecker] Bad cast during negation of fixed point type variable in contract function

  #10256 opened Nov 11, 2020

• Re-evaluate unicode tricks in comments

  #10254 opened Nov 11, 2020

• [SMTChecker] SMT logic error in function static solidity::smtutil::Expression solidity::smtutil::Expression::int2bv(solidity::smtutil::Expression, size_t)

  #10252 opened Nov 10, 2020

• [ewasm] Change dataoffset/datasize to return i32

  #10243 opened Nov 9, 2020

• Add editorconfig-checker to the CI

  #10238 opened Nov 9, 2020

• Optimiser step for extcode* -> code*

  #10236 opened Nov 9, 2020

• [SMTChecker] Support function calls with named arguments

  #10226 opened Nov 9, 2020

48 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add viaIR option to CompilerStack (and solc)

  #10147 commented on Nov 12, 2020 • 15 new comments

• Support .offset and .length for dynamic calldata arrays

  #10208 commented on Nov 12, 2020 • 15 new comments

• ControlFlowAnalyser: Also consider called functions in a flow

  #10143 commented on Nov 11, 2020 • 14 new comments

• [BREAKING] Remove --old-reporter from solc

  #10167 commented on Nov 12, 2020 • 13 new comments

• Add Solidity test case generator

  #9722 commented on Nov 9, 2020 • 10 new comments

• [SMTChecker] Add uncovered test and replace uncovered tests by asserts

  #10207 commented on Nov 9, 2020 • 10 new comments

• Yul parser refactor

  #9555 commented on Nov 12, 2020 • 9 new comments

• Replace rule list with "DSL"

  #7520 commented on Nov 12, 2020 • 7 new comments

• [DOCS] Translation Workflow for Docs

  #10119 commented on Nov 12, 2020 • 4 new comments

• ewasm: Add support for hera debug module

  #9929 commented on Nov 11, 2020 • 4 new comments

• [Sol->Yul] Copying arrays from calldata to memory

  #10211 commented on Nov 11, 2020 • 4 new comments

• [Sol->Yul] Implement readFromStorage for array types

  #10128 commented on Nov 10, 2020 • 3 new comments

• [ewasm] Constructors with parameters crash code generator

  #10117 commented on Nov 10, 2020 • 3 new comments

• Natspec: Fix internal error when different return name was inherited

  #9989 commented on Nov 10, 2020 • 3 new comments

• [SMTChecker] Rerun tests from Solc-Verify

  #8145 commented on Nov 9, 2020 • 2 new comments

• Overload resolution failure should explain for each candidate why it does not match.

  #9607 commented on Nov 9, 2020 • 2 new comments

• Optimiser: simplification rule for rounding

  #3042 commented on Nov 9, 2020 • 2 new comments

• Think about how to optimize call(abi.encode(...))

  #4182 commented on Nov 11, 2020 • 2 new comments

• Restrict free functions

  #9735 commented on Nov 8, 2020 • 1 new comment

• Decide how to deal with incorrectly encoded short byte arrays

  #10156 commented on Nov 9, 2020 • 1 new comment

• [Sol - Yul] Implement support for libraries

  #8078 commented on Nov 9, 2020 • 1 new comment

• [CLI] Rewrite the command line interface (solc) and consider using StandardCompiler as backend.

  #9583 commented on Nov 9, 2020 • 1 new comment

• 0.7.4 Compiler Warning: unnamed return variable

  #10084 commented on Nov 10, 2020 • 1 new comment

• Add inline docs to the AST

  #1771 commented on Nov 10, 2020 • 1 new comment

• Consider enabling compiler warnings beyond "-Wall".

  #6905 commented on Nov 11, 2020 • 1 new comment

• ABI: fixed-length bytes larger than 32 bytes

  #8772 commented on Nov 12, 2020 • 1 new comment

• [CLI] Solc should report if there was no contract to compile

  #4617 commented on Nov 12, 2020 • 1 new comment

• File-level inline assembly blocks

  #9282 commented on Nov 12, 2020 • 1 new comment

• Cleanup exceptions and exception handling.

  #3819 commented on Nov 12, 2020 • 1 new comment

• Clean up the mess of basePath in solc

  #9353 commented on Nov 10, 2020 • 1 new comment

• Improve error message when assigning builtin functions

  #9360 commented on Nov 10, 2020 • 1 new comment

• Support address().codehash

  #9888 commented on Nov 10, 2020 • 1 new comment

• Apply constant propagation in the TypeChecker

  #10018 commented on Nov 10, 2020 • 1 new comment

• Change ABIEncoderV1 to not pad empty strings

  #10194 commented on Nov 9, 2020 • 1 new comment

• Change source location to cover the entire function prototype

  #10210 commented on Nov 6, 2020 • 0 new comments

• [Testing] Create a grammar based Solidity fuzzer

  #9673 commented on Nov 9, 2020 • 0 new comments

• Optimize AND/SHL

  #9119 commented on Nov 9, 2020 • 0 new comments

• [SMTChecker] Support struct constructor

  #9664 commented on Nov 9, 2020 • 0 new comments

• Consider type checking casting in 0.8

  #10195 commented on Nov 9, 2020 • 0 new comments

• [ewasm] Support bignum host functions and use it in EVMToEwasmTranslator

  #6723 commented on Nov 10, 2020 • 0 new comments

• [Sol-Yul] Gnosis MultiSigWallet fails with storage update of array

  #9714 commented on Nov 11, 2020 • 0 new comments

• [ewasm] Support loadimmutable/storeimmutable

  #10148 commented on Nov 11, 2020 • 0 new comments

• File level functionname shadows functionname in Interface

  #10155 commented on Nov 11, 2020 • 0 new comments

• Missing entries in devdoc / userdoc [natspec]

  #1141 commented on Nov 12, 2020 • 0 new comments

• evmasm::Assembly::optimise() is not used for the assembly stack

  #9386 commented on Nov 12, 2020 • 0 new comments

• Fix ewasm polyfills & enable corresponding tests.

  #9508 commented on Nov 9, 2020 • 0 new comments

• [WIP] Ewasm keccak256 polyfill

  #9830 commented on Nov 11, 2020 • 0 new comments

• Allow fallback function to return data.

  #10214 commented on Nov 11, 2020 • 0 new comments