cerc-io/solidity
16
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,721 Commits 348 Branches 121 Tags 100 MiB
e88765f936
Commit Graph

12721 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
chriseth
f3c9b41f7c
Merge pull request #5930 from ethereum/circleci-clang7 
Do not persist output for clang7 build step
 2019-02-05 15:56:16 +01:00
Alex Beregszaszi
70748af981 Do not persist output for clang7 build step 2019-02-05 14:23:59 +00:00
Daniel Kirchner
f56ab1c2e7 Enable cvc4 for C++17 build by switching to Ubuntu disco. 2019-02-05 14:22:36 +00:00
Alex Beregszaszi
6adabf37d1 Build using C++17 on CircleCI 2019-02-05 14:22:33 +00:00
Alex Beregszaszi
57463ca3a5 Add C++17 toolchain 2019-02-05 14:21:23 +00:00