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,626 Commits 348 Branches 121 Tags
d41ffd1dcfd1a4c41065c5e163ba52c52d5e9754
Commit Graph
12626 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mathias Baumann d41ffd1dcf Rename & move tests to get rid of old number prefix in name 2019-02-11 11:23:20 +01: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
chriseth 5c50e8fa99 Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA. 2019-02-06 15:48:07 +01:00
chriseth 1236b23168 Merge pull request #5943 from ethereum/singleOutLengthUpdate 
Extract storing length to its own function.
 2019-02-06 14:46:39 +01:00
chriseth 231cec56c6 Merge pull request #5926 from ethereum/inv-num-crash 
Fix crash for too large struct array indicies
 2019-02-06 14:11:25 +01:00
chriseth 49f8fa4cfe Extract storing length to its own function. 2019-02-06 14:03:49 +01:00
Alex Beregszaszi e5bf1f1dd4 Merge pull request #5940 from ethereum/test-metadata 
Clean up metadata helpers in tests
 2019-02-06 12:34:27 +00:00
Mathias Baumann 9f431339ef Fix crash for too large struct array indicies 2019-02-06 11:50:25 +01:00
Alex Beregszaszi 532c55acbd Add better sanity check to test/Metadata 2019-02-05 23:13:21 +00:00
Alex Beregszaszi 43ccc75293 Remove duplicated code in test/Metadata 2019-02-05 23:13:17 +00:00
Alex Beregszaszi 26de5684a2 Move bytecodeSansMetadata(bytes) helper to test/Metadata 2019-02-05 23:13:01 +00:00
Alex Beregszaszi be22032141 Clean up some includes in tests 2019-02-05 22:58:43 +00:00
Alex Beregszaszi d3820aa833 Merge pull request #5939 from ethereum/libsolc-test 
Add last test case for callbacks in libsolc
 2019-02-05 20:55:35 +00:00
Alex Beregszaszi 3cdcd06b66 Add last test case for callbacks in libsolc 2019-02-05 20:26:47 +00:00
chriseth 263eaaa516 Merge pull request #5937 from ethereum/libsolc-callback-test 
Add test cases for libsolc with callbacks
 2019-02-05 21:11:44 +01:00
chriseth 438e19aa0f Merge pull request #5931 from ethereum/fix-mapping-storage-check 
Fix check that mappings can only have storage location
 2019-02-05 21:03:20 +01:00
chriseth 1f7e286158 Merge pull request #5938 from ethereum/const-opt-protected 
Mark apropriate methods protected in ConstantOptimiser
 2019-02-05 20:59:09 +01:00
Alex Beregszaszi 6b11be8c69 Mark apropriate methods protected in ConstantOptimiser 2019-02-05 19:40:34 +00:00
Alex Beregszaszi 257dbf1f6a Add test cases for libsolc with callbacks 2019-02-05 19:34:56 +00:00
Alex Beregszaszi d833024d7d Merge pull request #5935 from ethereum/const-opt-test 
Add optimiser test for triggering CopyMethod in ConstantOpimiser
 2019-02-05 19:21:05 +00:00
Alex Beregszaszi e9a0d99218 Add optimiser test for triggering CopyMethod in ConstantOpimiser 2019-02-05 18:44:53 +00:00
Mathias Baumann 77f407d450 Fix check that mappings can only have storage location 2019-02-05 18:06:42 +01:00
Alex Beregszaszi d44bf59192 Merge pull request #5862 from ethereum/packedEncoding 
[DOC] Specify packed encoding and add warning.
 2019-02-05 16:06:50 +00:00
Alex Beregszaszi 15d79b0917 Merge pull request #5854 from ethereum/docs-string-man-fix 
[DOCS] fix string manipulation innacuracies
 2019-02-05 16:01:56 +00:00
Chris Ward 779b9986ee Clarify that public prefix only applies to state variables and explain strings. 2019-02-05 16:58:57 +01:00
chriseth 4eb48dd6b7 Specify packed encoding and add warning. 2019-02-05 16:49:24 +01:00
Alex Beregszaszi e696cc4d3b Merge pull request #5911 from ethereum/cxx17-circleci 
Build using C++17 on CircleCI
 2019-02-05 15:48:43 +00:00
chriseth d5771072f5 Merge pull request #5932 from ethereum/jsonDocFix 
Fix ast in output selection in standard json doc.
 2019-02-05 16:46:11 +01:00
Daniel Kirchner c4604c0e35 Fix ast in output selection in standard json doc. 2019-02-05 16:33:55 +01:00
chriseth da726d8dc9 Merge pull request #5779 from ethereum/jsonDocFix 
Improve examples in standard json documentation.
 2019-02-05 16:22:51 +01:00