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 |
|
Alex Beregszaszi
|
ae1cd252b0
|
Take only Assembly instance as an input to ConstantOptimiser
|
2019-01-31 16:02:29 +00:00 |
|
Alex Beregszaszi
|
554511b68e
|
Introduce solidity_free in libsolc
|
2019-01-31 15:53:55 +00:00 |
|
Alex Beregszaszi
|
e83e9a81e5
|
Merge pull request #5910 from ethereum/rpcsession-close
Shutdown IPC socket gracefully in RPCSession
|
2019-01-31 13:55:55 +00:00 |
|
Alex Beregszaszi
|
717727940d
|
Merge pull request #5909 from ethereum/c++17
Use specific boost include in DocStringParser
|
2019-01-31 13:55:27 +00:00 |
|
Alex Beregszaszi
|
b1cb949a4b
|
Shutdown IPC socket gracefully in RPCSession
|
2019-01-31 13:16:35 +00:00 |
|
Alex Beregszaszi
|
021d30f036
|
Use specific boost include in DocStringParser
This is needed for C++17 support (at least on certain Boost and OS combinations)
|
2019-01-31 13:14:29 +00:00 |
|
chriseth
|
ddab3f06a5
|
Merge pull request #5907 from ethereum/rpcsession-check-id
Check message identifier in RPCSession
|
2019-01-31 13:36:37 +01:00 |
|
chriseth
|
7768ce2172
|
Merge pull request #5876 from ethereum/addPaddingToCode
Pad code to multiple of 32 bytes.
|
2019-01-30 14:49:55 +01:00 |
|
Alex Beregszaszi
|
8e2de02fc2
|
Format RPCSession parsing error more nicely
|
2019-01-30 13:34:40 +00:00 |
|
Alex Beregszaszi
|
e1780e3ae8
|
Check message identifier in RPCSession
|
2019-01-30 12:57:25 +00:00 |
|
chriseth
|
53193bc374
|
Merge pull request #5905 from ethereum/docs_typo
Fix typo in creationCode docs
|
2019-01-30 12:55:41 +01:00 |
|
Leonardo Alt
|
61810def3b
|
Fix typo in creationCode docs
|
2019-01-30 12:54:05 +01:00 |
|
chriseth
|
67263d5131
|
Merge pull request #5881 from ethereum/faq-init-value
[DOCS] Remove initialisation of contract with wei FAQ item
|
2019-01-30 12:27:34 +01:00 |
|
chriseth
|
17a1e7aed5
|
Better error message for out of stack in assembly.
|
2019-01-30 12:24:10 +01:00 |
|
Chris Ward
|
e2642c4d9d
|
Remove initialisation of contract with wei FAQ item
|
2019-01-30 12:18:38 +01:00 |
|
chriseth
|
35483422f3
|
Pad code to multiple of 32 bytes.
|
2019-01-30 11:31:28 +01:00 |
|
chriseth
|
d6b8521ed5
|
Merge pull request #5897 from ethereum/travis_cvc4
Remove Z3 from Travis builds
|
2019-01-30 10:42:50 +01:00 |
|
chriseth
|
65e9568858
|
Merge pull request #5884 from ethereum/return-non-constant
[DOCS] Remove return value from non-constant function FAQ Item
|
2019-01-30 10:36:55 +01:00 |
|
chriseth
|
bf3968d69b
|
Merge pull request #5899 from ethereum/fuzzer
Minor cleanups and improved debugging in the fuzzer
|
2019-01-30 10:05:27 +01:00 |
|
Alex Beregszaszi
|
1276f3c4f3
|
Clean up includes in the fuzzer
|
2019-01-29 16:14:51 +00:00 |
|
Alex Beregszaszi
|
0e2b43e141
|
Pass by reference in fuzzer
|
2019-01-29 16:14:48 +00:00 |
|
Leonardo Alt
|
80e5e70671
|
Remove Z3 from Travis builds
|
2019-01-29 17:08:32 +01:00 |
|
Alex Beregszaszi
|
c537321309
|
Add more debuggin in the fuzzer
|
2019-01-29 16:08:25 +00:00 |
|
Alex Beregszaszi
|
110b9a6232
|
Merge pull request #5853 from ethereum/smt_warn_no_solvers
[SMTChecker] Warn when no solver was found and there are unhandled qu…
|
2019-01-29 14:06:04 +00:00 |
|
Alex Beregszaszi
|
be09c6a253
|
Merge pull request #5895 from ethereum/ci_cvc4
Use CVC4 instead of Z3 for Ubuntu CI tests
|
2019-01-29 14:03:20 +00:00 |
|
Leonardo Alt
|
9a33367bc6
|
[SMTChecker] Warn when no solver was found and there are unhandled queries.
|
2019-01-29 14:29:07 +01:00 |
|
Leonardo Alt
|
3790f5fe0e
|
Use CVC4 instead of Z3 for Ubuntu CI tests
|
2019-01-29 14:01:42 +01:00 |
|
Alex Beregszaszi
|
ebf503a67d
|
Merge pull request #5892 from ethereum/fixme
Change FIXMEs into TODOs where appropriate
|
2019-01-29 12:38:10 +00:00 |
|