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 |
|
chriseth
|
3fc118ba21
|
Analyze and compile sub-objects.
|
2018-12-06 14:32:04 +01:00 |
|
chriseth
|
f6ed29b88b
|
Extend abstract assembly to be able to handle sub-objects.
|
2018-12-06 14:32:04 +01:00 |
|
chriseth
|
4721cf332f
|
Expose EthAssemblyAdapter.
|
2018-12-06 14:32:04 +01:00 |
|
chriseth
|
0e8841005c
|
Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor
[2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
|
2018-12-06 14:01:39 +01:00 |
|
Christian Parpart
|
073b03d90c
|
liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and making use of new SourceLocation's CharStream knowledge
|
2018-12-06 14:01:01 +01:00 |
|
chriseth
|
7f39c3e522
|
Binary search for dispatch.
|
2018-12-06 13:07:14 +01:00 |
|
chriseth
|
5fde279d2a
|
Merge pull request #5514 from corollari/develop
Remove unary + from the type system
|
2018-12-06 10:27:09 +01:00 |
|
Albert
|
df08d79623
|
Fix #5470
Remove unary + from the type system
|
2018-12-06 01:54:04 +01:00 |
|
chriseth
|
3a378eae1a
|
Restrict toHex to bytes.
|
2018-12-05 22:37:05 +01:00 |
|
Kevin Kelley
|
fb6fd1b3c2
|
add a 'readable' format for large hex values
|
2018-12-05 22:15:02 +01:00 |
|
chriseth
|
63d67c7153
|
Merge pull request #5591 from ethereum/smt_simplify_sort
[SMTChecker] Simplify symbolic variables
|
2018-12-05 17:28:45 +01:00 |
|
Erik Kundt
|
e3accc6aa6
|
Simplifies Result<T> and prevents undefined behaviour.
|
2018-12-05 10:33:34 +01:00 |
|
Erik Kundt
|
05e74d096e
|
Introduces Result<T> for operator and implicit conversion type checks.
|
2018-12-05 10:33:34 +01:00 |
|
Leonardo Alt
|
b9f424e373
|
[SMTChecker] Simplify symbolic variables
|
2018-12-05 09:56:52 +01:00 |
|
chriseth
|
6efe2a5266
|
Merge pull request #5390 from ethereum/smt_one_loop
[SMTChecker] Unroll loops once
|
2018-12-05 09:23:19 +01:00 |
|
chriseth
|
c8e201e520
|
Provide Yul Object builtins.
|
2018-12-04 15:40:50 +01:00 |
|
chriseth
|
7ee1ddc172
|
Switch namespaces.
|
2018-12-04 15:36:03 +01:00 |
|
chriseth
|
0b1125281a
|
Remove some includes.
|
2018-12-04 15:31:00 +01:00 |
|
chriseth
|
3ebb78a886
|
Adjust include paths.
|
2018-12-04 15:20:29 +01:00 |
|
chriseth
|
0ec7a0e72c
|
Move AsmCodeGen.
|
2018-12-04 15:20:23 +01:00 |
|
Leonardo Alt
|
8069bb61da
|
[SMTChecker] Loops are unrolled once
|
2018-12-04 12:35:19 +01:00 |
|
chriseth
|
99db4e3ff4
|
Introduce the concept of builtin functions.
|
2018-12-04 12:06:33 +01:00 |
|
Anurag Dashputre
|
82f5763e7a
|
Fix internal compiler error for unimplemented base contract function.
|
2018-12-03 12:25:31 +01:00 |
|
chriseth
|
4b98946e5a
|
Merge pull request #5341 from ethereum/optimizeAssemblyCommandline
Apply the optimize commandline parameter to assembly mode.
|
2018-12-03 11:52:48 +01:00 |
|
chriseth
|
5897b14d63
|
Merge pull request #5568 from ethereum/smt_remove_unary_plus
[SMTChecker] Remove unary plus operator
|
2018-12-03 11:19:34 +01:00 |
|
chriseth
|
3f613a44ec
|
Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVariable
Public state variables are implementing external functions.
|
2018-12-03 10:46:44 +01:00 |
|
chriseth
|
0668a9ecfb
|
Public state variables are implementing external functions.
|
2018-12-03 10:46:03 +01:00 |
|
Leonardo Alt
|
6d41ffb4a5
|
[SMTChecker] Remove unary plus operator
|
2018-12-03 10:35:38 +01:00 |
|
chriseth
|
aaeb74f592
|
Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring
[1/3] SourceLocation related refactoring.
|
2018-11-30 23:45:31 +01:00 |
|
chriseth
|
6c44c5f0c9
|
Apply the optimize commandline parameter to assembly mode.
|
2018-11-30 23:39:05 +01:00 |
|
Christian Parpart
|
435f7b3b72
|
liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream already)
Also, ParserBase::sourceName() was dead code. Eliminating it should
increase test coverage (how sneaky) :-)
|
2018-11-30 17:07:17 +01:00 |
|
Christian Parpart
|
c48a5264be
|
liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream source, eliminating sourceName
Also, adapted affecting code to those changes.
|
2018-11-30 17:07:12 +01:00 |
|
chriseth
|
cc00d8172b
|
Merge pull request #5528 from ethereum/smt_sorts_virtual
[SMTChecker] Make smt::Sort::operator== virtual
|
2018-11-30 16:48:46 +01:00 |
|
chriseth
|
33d6a24c47
|
Move library related checks.
|
2018-11-30 16:30:20 +01:00 |
|
chriseth
|
4f992298c6
|
Move hash collisions checks.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
6d1644e55c
|
Move external type clash check.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
4f4f623273
|
Move fallback function checks.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
2a85152463
|
Move constructor checks.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
b610be4882
|
Rename functions.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
d1cc731843
|
No need to visit structs early.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
2c2c976697
|
Move base constructor argument checks.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
57a62429c9
|
Move abstract function check.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
89cf6a5a38
|
Move override checks.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
d054a3b85d
|
Move duplication checks.
|
2018-11-30 16:30:19 +01:00 |
|
chriseth
|
0bd9db480f
|
Add skeleton for contract level checker.
|
2018-11-30 16:30:19 +01:00 |
|
Leonardo Alt
|
2f6de12e8c
|
[SMTChecker] Make smt::Sort::operator== virtual
|
2018-11-30 10:41:15 +01:00 |
|
chriseth
|
d6d41b2bc7
|
Merge pull request #5548 from ethereum/fixMemberAccess
Fix bug related to state variables of function type accessed via base contract.
|
2018-11-30 09:26:08 +01:00 |
|
chriseth
|
c445e7dfa4
|
Disallow inline arrays of mapping type.
|
2018-11-29 19:45:06 +01:00 |
|
chriseth
|
73a64da041
|
Fix bug related to state variables of function type accessed via base contract.
|
2018-11-29 19:30:27 +01:00 |
|
chriseth
|
124a8def84
|
Merge pull request #5543 from ethereum/fixSortMOve
Fix move bug.
|
2018-11-29 16:13:24 +01:00 |
|
chriseth
|
9e9250c961
|
Fix move bug.
|
2018-11-29 15:32:38 +01:00 |
|
Leonardo Alt
|
67bbcefe6c
|
Report deprecation error on functions sha3 and suicide also without call.
|
2018-11-29 14:29:13 +01:00 |
|
Christian Parpart
|
22eff22492
|
liblangutil: extends CharStream to know about the respective (file-)name (and adapt codebase to it)
|
2018-11-29 12:45:27 +01:00 |
|
chriseth
|
f6d013237d
|
Merge pull request #5538 from hydai/static_uint256
Replace IntegerType(256) with static function IntegerType::uint256()
|
2018-11-29 11:17:33 +01:00 |
|
Leonardo Alt
|
1d47919c0c
|
Fix ICE when function type struct parameter has field of non-existent type
|
2018-11-29 10:38:47 +01:00 |
|
hydai
|
9326adc3db
|
Replace IntegerType(256) with static function IntegerType::uint256()
|
2018-11-29 17:07:18 +08:00 |
|
chriseth
|
b4086ac870
|
Merge pull request #5526 from ethereum/fixGetterNewCoder
Fix: Disallow structs in getters for old encoder.
|
2018-11-28 17:05:52 +01:00 |
|
chriseth
|
46f3da0b87
|
Properly check getter types to be old-abi-coder-compatible.
|
2018-11-28 14:08:25 +01:00 |
|
chriseth
|
5c0331a058
|
Merge pull request #5525 from ethereum/obsoleteComment
Remove obsolete comment.
|
2018-11-28 12:23:12 +01:00 |
|
chriseth
|
4fa47322f9
|
Remove obsolete comment.
|
2018-11-28 11:49:00 +01:00 |
|
chriseth
|
728119bb11
|
Use yul parser in assembly stack.
|
2018-11-27 15:59:57 +01:00 |
|
chriseth
|
e016cb99e6
|
Yul objects.
|
2018-11-27 15:59:57 +01:00 |
|
chriseth
|
240ad0e34e
|
Merge pull request #5382 from ethereum/libraryMappingPublic
Allow mapping arguments for public and external library functions.
|
2018-11-26 19:47:32 +01:00 |
|
chriseth
|
4d7799eed4
|
Properly disallow different return types for interface overloads with different visibilities.
|
2018-11-26 16:51:28 +01:00 |
|
chriseth
|
f937896727
|
Merge pull request #5445 from ethereum/publicExternalOverwrite
Allow overwriting external functions (with ``calldata`` arguments) with public functions (with ``memory`` arguments)
|
2018-11-26 16:50:40 +01:00 |
|
Daniel Kirchner
|
30e6f8d3fb
|
Allow mapping arguments for public and external library functions.
|
2018-11-26 16:31:46 +01:00 |
|