chriseth
|
fc18258250
|
Remove type check that is covered by assertions.
|
2019-02-07 12:02:15 +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 |
|
Daniel Kirchner
|
b145934fdb
|
Improve examples in standard json documentation.
|
2019-02-05 10:29:09 +01:00 |
|
chriseth
|
d7e2838702
|
Merge pull request #5904 from bshastry/ossfuzz-dict
Add fuzzer config files for oss-fuzz and a solidity fuzzing dictionary
|
2019-02-04 19:17:39 +01:00 |
|
chriseth
|
2c75c08a89
|
Merge pull request #5923 from ethereum/detectStackProblem
Detect stack problem
|
2019-02-04 17:54:44 +01:00 |
|
chriseth
|
22c8d74a8a
|
Store all stack errors before they are thrown.
|
2019-02-04 17:32:05 +01:00 |
|
chriseth
|
77baf6caf7
|
Compilability checker.
|
2019-02-04 17:32:05 +01:00 |
|
chriseth
|
4f641e3732
|
Helper function for analysis.
|
2019-02-04 17:32:05 +01:00 |
|
chriseth
|
dd5b43741c
|
No-output Assembly.
|
2019-02-04 17:32:04 +01:00 |
|
Bhargava Shastry
|
4cac45dc4a
|
Add fuzzer config files for oss-fuzz and a solidity fuzzing dictionary.
Update ossfuzz README.md.
|
2019-02-04 15:58:41 +01:00 |
|
chriseth
|
345aa0105b
|
Merge pull request #5921 from ethereum/someMoreMoves
Add some more explicit moves required in some compiler and boost vers…
|
2019-02-04 15:58:14 +01:00 |
|
chriseth
|
11969cd760
|
Add some more explicit moves required in some compiler and boost version combinations.
|
2019-02-04 15:50:41 +01:00 |
|
chriseth
|
cd8cf7745b
|
Merge pull request #5888 from ethereum/betterStackErrorMessages
Better error message for out of stack in assembly.
|
2019-02-04 15:26:55 +01:00 |
|
chriseth
|
82b6996345
|
Merge pull request #5920 from ethereum/dockerAlpineTravisFix
Fix travis docker build by using boost-static package.
|
2019-02-04 13:32:32 +01:00 |
|
Daniel Kirchner
|
027e1781d3
|
Install static boost on Alpine linux.
|
2019-02-04 13:13:34 +01:00 |
|
chriseth
|
bb46e91677
|
Merge pull request #5891 from ethereum/const-opt-assembly
Take only Assembly instance as an input to ConstantOptimiser
|
2019-01-31 18:54:12 +01:00 |
|
Alex Beregszaszi
|
8536de7aad
|
Merge pull request #5852 from ethereum/solc-api-cleanup
Introduce solidity_free in libsolc
|
2019-01-31 16:26:17 +00:00 |
|