Commit Graph

12420 Commits

Author SHA1 Message Date
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
chriseth
11209ec48a Add variable declaration initializer. 2018-12-13 16:49:04 +01:00
chriseth
633dd44576
Merge pull request #5649 from ethereum/returnsAreZero
[Yul] Consider return variables to be zero initially.
2018-12-13 16:46:48 +01:00
chriseth
b11d413720 Consider return variables to be zero initially. 2018-12-13 16:02:30 +01:00
chriseth
996bfb2a83
Merge pull request #5648 from ethereum/useMemoryDB
Update to use memorydb for aleth.
2018-12-13 15:58:33 +01:00
chriseth
1d274a8924
Merge pull request #5644 from ethereum/noInlineIntoLarge
[Yul] Do not inline into already big functions.
2018-12-13 15:57:49 +01:00
chriseth
1c4caaa0a2
Merge pull request #5636 from ethereum/faq-array-literal
DOCS: Remove FAQ item that covers array literals
2018-12-13 15:56:21 +01:00
chriseth
ef95a1ab53
Merge pull request #5651 from ethereum/cmdlineJsonTests
Remove pre-release warning from standard json cmdline tests.
2018-12-13 15:28:40 +01:00
Daniel Kirchner
d5a50d8aee Remove pre-release warning from standard json cmdline tests. 2018-12-13 14:42:29 +01:00
chriseth
b103c68fe1
Merge pull request #5650 from ethereum/printerConst
AsmPrinter functions should be const.
2018-12-13 13:57:19 +01:00
chriseth
6101258248 AsmPrinter functions should be const. 2018-12-13 13:00:59 +01:00
chriseth
60a368244a Do not inline into already big functions. 2018-12-13 12:12:54 +01:00
chriseth
02a8e5d4e9 Update to use memorydb for aleth. 2018-12-13 12:07:32 +01:00
chriseth
642c69f935
Merge pull request #5641 from ethereum/supportUnassigned
[Yul] Support unassigned variables in the SSA value tracker and the data flow analyzer.
2018-12-13 11:33:45 +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
b3e2ba1581
Merge pull request #5643 from ethereum/releaseChecklist
Clarify the need to wait for the static PPA build to finish in the release checklist.
2018-12-13 09:45:56 +01:00
Daniel Kirchner
ae0808a0f1 Clarify the need to wait for the static PPA build to finish in the release checklist. 2018-12-12 18:52:24 +01:00
Daniel Kirchner
5ac7620045 Use C++ user-defined literals for creating YulString constants. 2018-12-12 18:45:43 +01:00
chriseth
e85c3428b4
Merge pull request #5634 from ethereum/staticPPA
Replace trusty PPA build by static PPA build.
2018-12-12 18:43:08 +01:00
chriseth
b014732c81
Merge pull request #5638 from ethereum/header-guard
Add missing header guards
2018-12-12 18:41:58 +01:00
chriseth
17bf164afe
Merge pull request #4951 from ethereum/alethUpdates
Use current aleth release for testing.
2018-12-12 18:41:35 +01:00
chriseth
9557dd7e74 Support unassigned variables in the SSA value tracker and the data flow analyzer. 2018-12-12 18:06:28 +01:00
Daniel Kirchner
e00dfd8ae2 Update changelog and release checklist. 2018-12-12 17:53:31 +01:00
Leonardo Alt
8cd2ac8462 Disallow unknown JSON keys in standard-json 2018-12-12 17:32:42 +01:00