Commit Graph

12243 Commits

Author SHA1 Message Date
chriseth
f5e52ef3c0
Merge pull request #5679 from ethereum/hashCache
Cache hash computations.
2018-12-18 18:23:27 +01:00
chriseth
34be592e53
Merge pull request #5677 from ethereum/someOpts
Some optimisations.
2018-12-18 18:23:16 +01:00
chriseth
e970590675
Merge pull request #5664 from ethereum/cmakeUpdates
Use imported CMake targets.
2018-12-18 17:45:23 +01:00
chriseth
27e4e25a99 Optimize some instruction comparisons. 2018-12-18 17:25:49 +01:00
chriseth
d959407f66
Merge pull request #5674 from ethereum/parser-pragmaversion
Add version pragma parsing to Parser
2018-12-18 16:42:22 +01:00
chriseth
bd52beedff Cache hash computations. 2018-12-18 16:38:25 +01:00
chriseth
01249984f2 Provide comparison shortcut. 2018-12-18 16:10:14 +01:00
chriseth
18efbb52c0 Use the move. 2018-12-18 16:10:14 +01:00
Alex Beregszaszi
bd2f2ecbbd Move unsatisfied_version test from SolidityNameAndTypeResolution to SolidityParser 2018-12-18 15:02:59 +00:00
Alex Beregszaszi
ba15bc0a23 Fail if parsing failed in AnalysisFramework
Otherwise Compilerstack::analyze will throw an exception.
2018-12-18 15:02:37 +00:00
Alex Beregszaszi
c2ec6d71b4 Add version pragma parsing to Parser 2018-12-18 15:02:35 +00:00
Alex Beregszaszi
a51a8368aa
Merge pull request #5676 from ethereum/someOpts
Make swappable instructions static.
2018-12-18 14:03:50 +00:00
chriseth
68ad015714 Make swappable instructions static. 2018-12-18 12:39:24 +01:00
chriseth
c60ec958ab
Merge pull request #5246 from ethereum/abi-type-array
Updates arrays section to improve order and clarify concepts
2018-12-18 12:20:20 +01:00
Chris Ward
995840bfe0 Updates arrays section to improve order and clarify concepts 2018-12-18 12:17:22 +01: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
chriseth
95977fdaf2
Merge pull request #5672 from ethereum/sort_includes_parsing
Sort includes in libsolidity/parsing
2018-12-17 21:23:11 +01:00
chriseth
8570bee20b
Merge pull request #5669 from ethereum/retire2015
Remove support for Visual Studio 2015.
2018-12-17 19:49:51 +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
chriseth
7b1a6798e6 Remove support for Visual Studio 2015. 2018-12-17 18:56:23 +01:00
chriseth
c5316b13e7
Merge pull request #5668 from ethereum/sort_includes_formal
Sort includes in libsolidity/formal
2018-12-17 18:54:30 +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
chriseth
75ca6d11f4
Merge pull request #5666 from ethereum/sort_includes_ast
Sort includes in libsolidity/ast
2018-12-17 17:46:03 +01:00
chriseth
bcef78b4ce
Merge pull request #4859 from ethereum/input-output
Create section that covers input and output function types
2018-12-17 17:33:23 +01:00
Chris Ward
72c977608f Clean input and output function types
Updates from review
2018-12-17 17:31:12 +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
chriseth
bf7d71d6b3
Merge pull request #5613 from ethereum/yulStringLiterals
[Yul] Use C++ user-defined literals for creating YulString constants.
2018-12-17 14:07:24 +01:00
chriseth
bc85a8915f
Merge pull request #5639 from ethereum/docs-array-delete
DOCS: Add array item deletion idiosyncrasy
2018-12-17 13:52:24 +01:00
Chris Ward
7b9fd4676d Add array item deletion idiosyncracy 2018-12-17 13:50:47 +01:00
chriseth
3c76f1d660
Merge pull request #5662 from ethereum/sort_includes
Sort includes in libsolidity/analysis
2018-12-17 13:49:34 +01:00
chriseth
5b95e816b2
Merge pull request #5658 from ethereum/chriseth-patch-1
Add gnosis safe as external test.
2018-12-17 13:48:57 +01:00
chriseth
1287402920
Merge pull request #5663 from ethereum/docs-formatting-issue
DOCS: Fix italics formatting issue
2018-12-17 13:34:24 +01:00
Chris Ward
2e8114f312 Fix italics formatting issue 2018-12-17 13:30:06 +01:00
Leonardo Alt
36d8a98664 Sort includes in libsolidity/analysis 2018-12-17 12:35:16 +01:00
chriseth
2f11a677de Add gnosis safe as external test. 2018-12-14 23:48:04 +01:00
chriseth
9939697e1f Do not use nvm. 2018-12-14 23:47:47 +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
8d3617b7c5
Merge pull request #5655 from ethereum/removeUnassignedVarDefs
Add variable declaration initializer.
2018-12-13 17:30:26 +01:00
chriseth
bc22a25a60 Remove VarDeclPropagator. 2018-12-13 16:51:10 +01:00
chriseth
6c6a53a439 Do not create unassigned variables. 2018-12-13 16:51:10 +01:00