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
|
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
|
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 |
|
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
|
49f8fa4cfe
|
Extract storing length to its own function.
|
2019-02-06 14:03:49 +01:00 |
|
Mathias Baumann
|
9f431339ef
|
Fix crash for too large struct array indicies
|
2019-02-06 11:50:25 +01:00 |
|
Mathias Baumann
|
77f407d450
|
Fix check that mappings can only have storage location
|
2019-02-05 18:06:42 +01:00 |
|
chriseth
|
77baf6caf7
|
Compilability checker.
|
2019-02-04 17:32:05 +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 |
|
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
|
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
|
17a1e7aed5
|
Better error message for out of stack in assembly.
|
2019-01-30 12:24:10 +01:00 |
|
chriseth
|
35483422f3
|
Pad code to multiple of 32 bytes.
|
2019-01-30 11:31:28 +01:00 |
|
Leonardo Alt
|
9a33367bc6
|
[SMTChecker] Warn when no solver was found and there are unhandled queries.
|
2019-01-29 14:29:07 +01:00 |
|
Alex Beregszaszi
|
ee09d54525
|
Change FIXMEs into TODOs where appropriate
|
2019-01-29 00:35:23 +00:00 |
|
chriseth
|
e22a9ea5cf
|
Merge pull request #5883 from ethereum/fixInlineAssembly
Do not provide access to external assembly variables from within functions.
|
2019-01-28 15:12:43 +01:00 |
|
Alex Beregszaszi
|
9aafa32825
|
Disallow empty import statements
|
2019-01-28 13:52:15 +00:00 |
|
chriseth
|
64312584dc
|
Do not provide access to external assembly variables from within functions.
|
2019-01-28 14:42:38 +01:00 |
|
chriseth
|
e3791d6dcf
|
Fix reported packed encoded size for arrays and structs.
|
2019-01-23 11:13:22 +01:00 |
|
chriseth
|
ea292393a3
|
Merge pull request #5838 from maxsam4/useLiteralContent-patch
useLiteralContent data validation
|
2019-01-23 10:35:32 +01:00 |
|
Mudit Gupta
|
2f91781a80
|
useLiteralContent data validation
Squashed commit of the following:
commit bbceee6997c1b951eb6054f7d5b7560fe1773690
Author: Mudit Gupta <guptamudit@ymail.com>
Date: Tue Jan 22 23:27:49 2019 +0530
Removed extra check
commit 4f7c3cc58e94836b1dddcc5f2938da14adad6252
Author: Mudit Gupta <guptamudit@ymail.com>
Date: Tue Jan 22 17:51:05 2019 +0530
Updated test error message
commit 5da45f2a23840e7bb1978853e1c184faec65b3e0
Author: Mudit Gupta <guptamudit@ymail.com>
Date: Tue Jan 22 17:46:09 2019 +0530
Renamed test
commit e661418deac25f31c49091be3c80244f566fc14c
Author: Leonardo <leo@ethereum.org>
Date: Tue Jan 22 17:41:56 2019 +0530
Update libsolidity/interface/StandardCompiler.cpp
Co-Authored-By: maxsam4 <guptamudit@ymail.com>
commit d289b4dc1956ab736aada613e810cf2e2d124d4d
Author: Mudit Gupta <guptamudit@ymail.com>
Date: Tue Jan 22 17:29:40 2019 +0530
changed style
commit 5a7cf08db3027d75081d2e698dd51b807bef5abb
Author: Mudit Gupta <guptamudit@ymail.com>
Date: Tue Jan 22 17:20:37 2019 +0530
Added test case for missing useLiteralContent
commit 6e866c46aa92d6a89f2b341bd717c3886946f3ff
Author: Mudit Gupta <guptamudit@ymail.com>
Date: Tue Jan 22 17:09:30 2019 +0530
input check for useLiteralContent
|
2019-01-23 10:22:27 +05:30 |
|
chriseth
|
628d665474
|
Merge pull request #5843 from ethereum/abi-typos
Do not ignore revertOnFailure flag when validating Address/Contract
|
2019-01-22 18:44:09 +01:00 |
|
Alex Beregszaszi
|
3f2898ea47
|
Do not ignore revertOnFailure flag when validating Address/Contract
|
2019-01-22 14:45:08 +00:00 |
|
chriseth
|
01e87cfc08
|
Refactor struct encoder.
|
2019-01-22 14:45:25 +01:00 |
|
chriseth
|
7b66eb273d
|
Merge pull request #5832 from ethereum/introduceEncodingOptions
[REF] Provide ABI encoding options as single struct parameter.
|
2019-01-21 23:53:21 +01:00 |
|
chriseth
|
7a69455c13
|
Provide ABI encoding options as single struct parameter.
|
2019-01-21 16:43:32 +01:00 |
|
Leonardo Alt
|
7f8ceaadab
|
[SMTChecker] Clear state knowledge after external function calls
|
2019-01-21 12:58:40 +01:00 |
|
chriseth
|
f8e9aed839
|
Merge pull request #5717 from ethereum/smt_typecast
[SMTChecker] Support basic typecast without truncation
|
2019-01-21 12:35:07 +01:00 |
|
Daniel Kirchner
|
610ef9f199
|
Disallow calldata structs.
|
2019-01-21 10:30:57 +01:00 |
|
Alex Beregszaszi
|
7b759866cb
|
Merge pull request #5817 from ethereum/refactoring
Refactoring in TypeChecker and ContractDefinition
|
2019-01-18 11:36:49 +00:00 |
|
Daniel Kirchner
|
b7a86a124d
|
Refactor TypeChecker::visit(FunctionDefinition const&).
|
2019-01-18 12:12:23 +01:00 |
|
Daniel Kirchner
|
a766efc79f
|
Add ContractDefinition::isInterface.
|
2019-01-18 12:11:35 +01:00 |
|
chriseth
|
2ec997e697
|
Merge pull request #5775 from ethereum/codeAccess
Provide access to code of contract types.
|
2019-01-18 00:16:06 +01:00 |
|
chriseth
|
29f6aa7d56
|
Do not create a copy of the assembly.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
a9fa2658d8
|
Add helper to show if contract can be deployed.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
4669b06ab4
|
Warn if type(..).runtimeCode is used with assembly in the constructor.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
0bfdaa500a
|
Add code access dependency.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
e6fee257e6
|
Code generation for access to contract code.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
2fcfb216b5
|
Syntax for meta type information.
|
2019-01-17 20:36:48 +01:00 |
|
Leonardo Alt
|
83e7233bb8
|
Change error message and add tests
|
2019-01-17 14:28:03 +01:00 |
|
Leonardo Alt
|
c96b760c47
|
Return TypeError is fixed point encoding is attempted.
|
2019-01-17 13:36:53 +01:00 |
|
Leonardo Alt
|
a10db051de
|
[SMTChecker] Support basic typecast
|
2019-01-16 13:00:54 +01:00 |
|
Daniel Kirchner
|
0dfd4a726e
|
Warn about unreachable code.
|
2019-01-10 10:36:50 +01:00 |
|
chriseth
|
9222eff08f
|
Make the dialect available everywhere.
|
2019-01-07 16:41:03 +01:00 |
|
chriseth
|
ae08d7c375
|
Merge pull request #5681 from ethereum/limitOutput
Do not compile unless requested.
|
2018-12-19 17:02:28 +01:00 |
|
chriseth
|
4c7151e57f
|
Do not include empty JSON objects in output.
|
2018-12-19 14:59:29 +01:00 |
|
chriseth
|
beae2a608b
|
Only fully compile if binaries requested.
|
2018-12-19 12:58:17 +01:00 |
|
chriseth
|
4e89945d82
|
Some more compiler state tests.
|
2018-12-19 12:58:17 +01:00 |
|
Christian Parpart
|
62fe57479e
|
make use of C++ = default constructor declarations as well as more non-static member initialization syntax.
|
2018-12-19 11:26:42 +01:00 |
|
Christian Parpart
|
d10bae245e
|
liblangutil: SourceLocation to default initialize data members (w/o the use of ctor)
See: http://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#c45-dont-define-a-default-constructor-that-only-initializes-data-members-use-in-class-member-initializers-instead
|
2018-12-19 11:21:45 +01:00 |
|
chriseth
|
678a95f6e3
|
Merge pull request #5686 from ethereum/someStyle
Formatting.
|
2018-12-19 00:33:02 +01:00 |
|
chriseth
|
d8218b7eef
|
Formatting.
|
2018-12-18 23:50:39 +01:00 |
|
chriseth
|
20189c3f3b
|
Merge pull request #5637 from ethereum/better-json-error-reporting
Json: Provide better error message when 'settings' is not an object
|
2018-12-18 19:39:46 +01:00 |
|
Mathias Baumann
|
c43d96f2bf
|
Json: Provide better error messages for wrong types
|
2018-12-18 18:36:50 +01:00 |
|
chriseth
|
f5e52ef3c0
|
Merge pull request #5679 from ethereum/hashCache
Cache hash computations.
|
2018-12-18 18:23:27 +01:00 |
|
chriseth
|
e970590675
|
Merge pull request #5664 from ethereum/cmakeUpdates
Use imported CMake targets.
|
2018-12-18 17:45:23 +01:00 |
|
chriseth
|
bd52beedff
|
Cache hash computations.
|
2018-12-18 16:38:25 +01:00 |
|
Alex Beregszaszi
|
c2ec6d71b4
|
Add version pragma parsing to Parser
|
2018-12-18 15:02:35 +00:00 |
|
chriseth
|
4e475cdbe9
|
Merge pull request #5625 from ethereum/single-check
Do check for callvalue only once if no payable functions
|
2018-12-18 11:36:58 +01:00 |
|
chriseth
|
4b43aecaeb
|
Merge pull request #5671 from ethereum/sort_includes_interface
Sort includes in libsolidity/interface
|
2018-12-18 11:35:56 +01:00 |
|
Mathias Baumann
|
1b8570f829
|
Only generate sort/search code when interface functions exist
|
2018-12-17 21:24:37 +01:00 |
|
Leonardo Alt
|
7f41487ff6
|
Sort includes in libsolidity/parsing
|
2018-12-17 19:28:10 +01:00 |
|
Leonardo Alt
|
340ee4156d
|
Sort includes in libsolidity/interface
|
2018-12-17 19:24:42 +01:00 |
|
Leonardo Alt
|
cce377833a
|
Sort includes in libsolidity/formal
|
2018-12-17 18:26:10 +01:00 |
|
chriseth
|
7d3727bbf7
|
Merge pull request #5665 from ethereum/cmakeHeaders
Add headers to targets in CMakeLists.txt.
|
2018-12-17 17:47:38 +01:00 |
|
chriseth
|
9ab6133f85
|
Merge pull request #5667 from ethereum/sort_includes_codegen
Sort includes in libsolidity/codegen
|
2018-12-17 17:46:53 +01:00 |
|
Leonardo Alt
|
ab76676271
|
Sort includes in libsolidity/codegen
|
2018-12-17 17:06:11 +01:00 |
|
Leonardo Alt
|
b185d01a26
|
Sort includes in libsolidity/ast
|
2018-12-17 15:33:15 +01:00 |
|
Daniel Kirchner
|
2f698b6efe
|
Use imported CMake targets.
|
2018-12-17 15:15:11 +01:00 |
|
Daniel Kirchner
|
2353f73c39
|
Add headers to targets in CMakeLists.txt.
|
2018-12-17 15:01:02 +01:00 |
|
chriseth
|
332f914e4e
|
Merge pull request #5388 from ethereum/smt_mapping
[SMTChecker] Support for mapping
|
2018-12-17 14:09:52 +01:00 |
|
Leonardo Alt
|
36d8a98664
|
Sort includes in libsolidity/analysis
|
2018-12-17 12:35:16 +01:00 |
|
Leonardo Alt
|
9199718ec0
|
Clear all mapping knowledge after array variable assignment
|
2018-12-14 12:21:53 +01:00 |
|
Leonardo Alt
|
6a2809a582
|
[SMTChecker] Support to mapping
|
2018-12-14 12:21:53 +01:00 |
|
chriseth
|
6e205cc4e3
|
Merge pull request #5624 from ethereum/standard_json_unknown_keys
Disallow unknown JSON keys in standard-json
|
2018-12-13 09:58:34 +01:00 |
|
chriseth
|
b014732c81
|
Merge pull request #5638 from ethereum/header-guard
Add missing header guards
|
2018-12-12 18:41:58 +01:00 |
|
Leonardo Alt
|
8cd2ac8462
|
Disallow unknown JSON keys in standard-json
|
2018-12-12 17:32:42 +01:00 |
|
chriseth
|
87237281bf
|
Merge pull request #5630 from ethereum/warn_functions_empty_body
Supress unused var and state mut warnings for functions with empty body
|
2018-12-12 17:00:50 +01:00 |
|
Alex Beregszaszi
|
c863cbf80d
|
Add missing header guards
|
2018-12-12 15:47:05 +00:00 |
|
Leonardo Alt
|
508aae8a67
|
Disable state mutability warning for functions with empty body
|
2018-12-12 14:43:44 +01:00 |
|
Leonardo Alt
|
53537864a2
|
Disable unused var warning for functions with empty body
|
2018-12-12 14:43:44 +01:00 |
|
Daniel Kirchner
|
788612d2ef
|
Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.
|
2018-12-12 04:20:53 +01:00 |
|
chriseth
|
fb3a0ac1c7
|
Codegen for object access.
|
2018-12-11 19:24:44 +01:00 |
|
chriseth
|
8d49e53995
|
Provide Dialect to EVMCodeTransform.
|
2018-12-11 19:24:31 +01:00 |
|
chriseth
|
9f86ede32d
|
Merge pull request #5454 from ethereum/smt_math_functions
[SMTChecker] Abstract math functions
|
2018-12-11 18:35:10 +01:00 |
|
chriseth
|
b5deca0383
|
Merge pull request #4779 from ethereum/optimise-string-literals
Decide better in storing string literals as data
|
2018-12-11 17:50:14 +01:00 |
|
Leonardo Alt
|
08737e43dc
|
[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions
|
2018-12-11 11:28:25 +01:00 |
|
chriseth
|
baaefb4b42
|
Merge pull request #5619 from ethereum/cleanup-abc
Some code cleanup
|
2018-12-10 19:22:02 +01:00 |
|
Mathias Baumann
|
2f6dc2e773
|
Replace push_back with emplace_back where it makes sense
|
2018-12-10 19:02:39 +01:00 |
|
Yi Huang
|
81f703427e
|
Add tests for implcit conversions from literals to fixed-point numbers.
|
2018-12-10 17:31:20 +01:00 |
|
chriseth
|
53f531ecb0
|
Set codecopy limit for data to 32 bytes.
|
2018-12-10 17:11:48 +01:00 |
|
chriseth
|
871ea22bb9
|
Merge pull request #5008 from liangdzou/yul_stack_reuse
Reuse stack slots in Yul codegen
|
2018-12-10 16:14:33 +01:00 |
|
liangdzou
|
362648a450
|
Reuse stack slots in Yul to EVM code generation.
|
2018-12-10 14:28:56 +01:00 |
|
Leonardo Alt
|
de46bb2c42
|
[SMTChecker] Introduce SymbolicFunctionVariable
|
2018-12-10 11:34:29 +01:00 |
|
Erik Kundt
|
e2395a3dcf
|
Adds more detailed type errors and tests.
|
2018-12-07 12:35:35 +01:00 |
|
Erik Kundt
|
b2afb8cdda
|
Adds an additional message to failing type conversions.
|
2018-12-07 11:55:53 +01:00 |
|
chriseth
|
6a9e8a6fe3
|
Merge pull request #4936 from ethereum/binSelect
Binary search for dispatch.
|
2018-12-07 00:55:09 +01:00 |
|
chriseth
|
4b2a64306a
|
Merge pull request #5587 from ethereum/yulCodeBuiltins
Builtin functions to access Yul objects.
|
2018-12-06 16:49:52 +01:00 |
|