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
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
