cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,654 Commits 348 Branches 121 Tags
9e32aa7510ffa4dc713c2b75059db20f3158e6b0
Commit Graph
12654 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Kirchner 9e32aa7510 Disallow calldata arrays with dynamically encoded base types in TypeChecker. 2019-02-11 17:13:12 +01:00
chriseth 92cb6cb793 Merge pull request #5936 from ethereum/calldataStructsV2 
ABIEncoderV2: Implement calldata structs without dynamically encoded members.
 2019-02-11 16:18:27 +01:00
chriseth 18c7ad08a0 Merge pull request #5925 from ethereum/stackCompressor 
Stack compressor
 2019-02-11 16:17:47 +01:00
chriseth 509a200c5c Merge pull request #5952 from ethereum/conditional-expr-delay-fatal 
Conditional Expression: Delay invalid type fatal error
 2019-02-11 16:14:49 +01:00
chriseth 83083d2208 Stack compressor. 2019-02-11 15:48:29 +01:00
chriseth 5a34743d88 Allow optimizer steps to run on FunctionDefinition and group suite. 2019-02-11 15:48:29 +01:00
chriseth b34e104173 Make dialect a shared pointer. 2019-02-11 15:48:29 +01:00
Mathias Baumann 259d803387 Conditional Expression: Delay invalid type fatal error 
Check the whole conditional first and then output errors for
both, the true and false expressions.
 2019-02-11 15:47:19 +01:00
Mathias Baumann 08977af843 Rename & move test to move away from number prefix 2019-02-11 15:47:19 +01:00
Daniel Kirchner 0e4912a203 ABIEncoderV2: Implement calldata structs without dynamically encoded members. 2019-02-11 15:46:58 +01:00
chriseth 94607011dc Merge pull request #5965 from ethereum/fixSolcjsTests 
Use master branch from solc-js for tests
 2019-02-11 15:46:09 +01:00
chriseth b5a2c66771 Merge pull request #5957 from ethereum/function-param-fix 
Ensure function parameter names always matches parameter types length
 2019-02-11 15:45:28 +01:00
chriseth d099d55c66 Use master branch from solc-js. 2019-02-11 15:29:58 +01:00
Mathias Baumann 66b24225fb Remove duplicate if-check 2019-02-11 14:56:57 +01:00
chriseth 49cd55d3a0 Merge pull request #5839 from ethereum/inplaceEncoding 
Inplace and non-padded encoding for ABIEncoderV2.
 2019-02-11 12:01:28 +01:00
chriseth e3a111a49c Merge pull request #5958 from ethereum/incr-type-checker-cov 
Add tests to increase coverage of TypeChecker
 2019-02-11 11:59:10 +01:00
chriseth 07231f3c99 Merge pull request #5960 from ethereum/docs-remove-faq 
[DOCS] Remove Frequently Asked Questions
 2019-02-11 11:39:20 +01:00
Mathias Baumann fe2429de9f Packed Encoding: Disallow types in v2 that aren't allowed in v1 2019-02-11 11:37:48 +01:00
chriseth 227addfcef Syntax tests. 2019-02-11 11:37:48 +01:00
chriseth 299e3b5388 Changelog entry. 2019-02-11 11:37:48 +01:00
chriseth 7684d886ae Semantic tests. 2019-02-11 11:37:47 +01:00
chriseth a8d0ef4bad Allow indexed structs in events with encoder v2. 2019-02-11 11:37:47 +01:00
chriseth 0c2d623ee4 Enable struct encoding. 2019-02-11 11:37:47 +01:00
chriseth a08f4f43fa Add packed encoder V2. 2019-02-11 11:37:47 +01:00
chriseth 1b9d30f05f Packed encoding. 2019-02-11 11:37:47 +01:00
Mathias Baumann feae01f042 Add tests to increase coverage of TypeChecker 2019-02-11 11:23:56 +01:00
Mathias Baumann d41ffd1dcf Rename & move tests to get rid of old number prefix in name 2019-02-11 11:23:20 +01:00
Mathias Baumann 57c1c8b46c Ensure function parameter names always matches parameter types length 2019-02-11 10:57:57 +01:00
Chris Ward b105497d1b Remove Frequently Asked Questions 2019-02-08 08:47:22 +00:00
chriseth d1024cefb9 Merge pull request #5916 from ethereum/asan-clang 
Run clang tests with ASAN
 2019-02-07 20:48:45 +01:00
Daniel Kirchner 9203363fe9 Merge pull request #5860 from ethereum/test-file-parser 
Test file parser.
 2019-02-07 19:02:13 +01:00
Alex Beregszaszi 62f707610e Run clang tests with ASAN 2019-02-07 18:59:40 +01:00
chriseth e2ae644ffa Merge pull request #5841 from ethereum/smt_mod 
[SMTChecker] Add mod operator
 2019-02-07 15:13:47 +01:00
chriseth bea695f3fc Changelog entry for Z3 version. 2019-02-07 14:25:50 +01:00
Leonardo Alt 4058978b3b Require Z3 >= 4.6.0 2019-02-07 14:24:40 +01:00
Leonardo Alt 637546850f [SMTChecker] Add mod operator 2019-02-07 14:24:40 +01:00
chriseth 8992024302 Merge pull request #5511 from ethereum/cp-error-output 
[solc] colorized diagnostics output
 2019-02-07 13:20:07 +01:00
Christian Parpart 3d4b0f45da liblangutil: refactors SourceReferenceFormatter error formatting for pretty and colored output. 
* Refactors output format in a way it is (or should at least be) more readable.
  (NB.: As source of inspiration, I chose the rustc compiler output.)
* Adds color support to the stream output.
* Also improves multiline source formatting
  (i.e. truncating too long lines, like done with single lines already)
* solc: adds flags --color (force terminal colors) and --no-color (disable autodetection)
* solc: adds --new-reporter to give output in *new* formatting (colored or not)
* Changelog adapted accordingly.
 2019-02-07 12:55:14 +01:00
Christian Parpart ef6a76ce67 libdevcore: Introduces a generalized AnsiColorized, an improved FormattedScope 
a future commit/PR could replace existing code to use AnsiColorized and
remove the old implementation of FormattedScope.
 2019-02-07 12:55:14 +01:00
chriseth caecdfabc5 Merge pull request #5947 from ethereum/incr-type-checker-cov 
Increase coverage in TypeChecker
 2019-02-07 12:31:45 +01:00
chriseth 9de652ab76 Merge pull request #5953 from ethereum/removeCheckCoveredByAssertion 
Remove type check that is covered by assertions.
 2019-02-07 12:19:14 +01:00
chriseth 646c9a9e1f Merge pull request #5950 from ethereum/unreachable-to-assert 
Turn unreachable error statements into asserts
 2019-02-07 12:18:47 +01:00
chriseth fc18258250 Remove type check that is covered by assertions. 2019-02-07 12:02:15 +01:00
Mathias Baumann 5fb79f5e37 Turn unreachable error statements into asserts 2019-02-07 10:07:09 +01:00
Mathias Baumann ee28cb65a6 Add tests to increase coverage of TypeChecker 2019-02-06 20:45:30 +01:00
Erik Kundt c9c4578023 Adds support for tuples in test file parser. 2019-02-06 17:25:40 +01:00
Erik Kundt 161b22bd13 Cleans up test file parser and its tests. 2019-02-06 17:22:40 +01:00
Erik Kundt 7fa167977b Adds multi-line support for test file parser. 2019-02-06 17:22:40 +01:00
Erik Kundt f90c6f57bb Implements a test file parser. 2019-02-06 17:22:40 +01:00
Daniel Kirchner 42240a69e9 Merge pull request #5945 from ethereum/switchToCVC4ForUbuntu 
Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA.
 2019-02-06 17:12:26 +01:00