Commit Graph

13569 Commits

Author SHA1 Message Date
Alex Beregszaszi
c3ab43dca7 Remove blockhash workaround in tests
This is now obsolete as final constantinople doesn't contain the blockhash EIP.

Revert 3e55aa3fa2.
2019-02-28 21:17:58 +00:00
Bhargava Shastry
c48cc19fae yulInterpreter: Fix u256 overflow in logMemory. 2019-02-28 16:42:50 +01:00
chriseth
ab33ff1408
Merge pull request #6132 from ethereum/ossfuzz-nullref-typechecker
TypeChecker: Check if type exists before dereferencing it
2019-02-28 16:38:54 +01:00
chriseth
3dee9c50cd
Merge pull request #6131 from ethereum/fix-yul-opt
Yul Optimizer: reduce switches with const arguments
2019-02-28 16:28:53 +01:00
chriseth
8649f0ab59
Merge pull request #6140 from ethereum/compilerstack-restrict
Restrict parse/analyse in CompilerStack
2019-02-28 16:26:47 +01:00
Mathias Baumann
50b4193705 TypeChecker: Check if type exists before dereferencing it 2019-02-28 15:49:15 +01:00
Mathias Baumann
c686a65876 Yul Optimizer: reduce switches with const arguments 2019-02-28 15:43:10 +01:00
Alex Beregszaszi
679ff78714 Restrict parse/analyse in CompilerStack 2019-02-28 13:59:33 +00:00
chriseth
6aab3b1369
Merge pull request #6139 from ethereum/compilerstack-restrict
Restrict the state when settings can be altered in CompilerStack
2019-02-28 14:52:52 +01:00
Alex Beregszaszi
8b6049b733
Merge pull request #6111 from ethereum/fuzz-crash-smt
Fix SMT Checker crash due to missing type information
2019-02-28 13:19:32 +00:00
Alex Beregszaszi
b04b86a938 Restrict the state when settings can be altered in CompilerStack 2019-02-28 12:55:36 +00:00
chriseth
e9543d83c7
Merge pull request #6129 from ethereum/expressionSimplifierToUseDataFlowAnalyzer
Fix expression simplifying by moving from SSAValueTracker to DataFlowAnalyzer as a base.
2019-02-28 12:21:41 +01:00
Mathias Baumann
f782125463 Fix SMT Checker crash due to missing type information 2019-02-28 11:55:45 +01:00
chriseth
f9d1c283b7
Merge pull request #5919 from ethereum/docs-ecrecover
[DOCS] Clarify usage of ecrecover
2019-02-27 17:33:37 +01:00
chriseth
7599fd7c4e
Merge pull request #5873 from ethereum/docs-style-guide
[WIP] [DOCS] Add beginnings of Docs Style guide
2019-02-27 16:27:19 +01:00
chriseth
4f7f3bf689
Merge pull request #6113 from ethereum/positionalArgForYulRun
Allow positional arguments for yulrun.
2019-02-27 16:24:04 +01:00
chriseth
477c53a46f Fix expression simplifying by moving from SSAValueTracker to DataFlowAnalyzer as a base. 2019-02-27 16:14:39 +01:00
chriseth
4c1b0fbafa
Merge pull request #6082 from ethereum/emscripten_build_dir
Change emscripten default build dir to "emscriptenBuild"
2019-02-27 15:49:35 +01:00
chriseth
006834d21b
Merge pull request #6128 from ethereum/truffle-npm-workaround
Fix external tests
2019-02-27 15:47:58 +01:00
Erik Kundt
9d6ffb7c0f Adds a workaround for truffle npm issue. 2019-02-27 12:37:53 +01:00
Mathias Baumann
98b7dc2881 Change emscripten default build dir to "emscriptenBuild"
Avoids complications with local build directory when building.
2019-02-27 12:30:15 +01:00
chriseth
77a3d08a87
Merge pull request #6104 from ethereum/useCorrectSolcjs
Use correct solcjs binary for testing.
2019-02-27 11:49:02 +01:00
Chris Ward
0c1affe43e Begin documentation style guide
Add pragma to documentation style guide

Fix formatting and add link

Move docs style guide

Changes from review
2019-02-27 11:48:51 +01:00
chriseth
5123a2afa7 Allow positional arguments for yulrun. 2019-02-27 11:44:09 +01:00
chriseth
5345afaa34
Merge pull request #6125 from ethereum/windows-fix-again
Fix ambiguous type on Windows
2019-02-27 10:54:19 +01:00
chriseth
a0dcb36f96
Merge pull request #6117 from ethereum/fixWindowsAgain
Fix windows build.
2019-02-27 10:44:46 +01:00
Erik Kundt
e13bb994fb Fix ambiguous type on Windows. 2019-02-27 10:40:58 +01:00
chriseth
9b7d793407 Fix windows build. 2019-02-26 19:43:24 +01:00
chriseth
cc27d95be2
Merge pull request #6112 from ethereum/fixYulrun
Fix signextend implementation
2019-02-26 19:10:04 +01:00
chriseth
514c9910aa Fix implementation of signextend. 2019-02-26 17:56:32 +01:00
chriseth
ebec54aacb
Merge pull request #6093 from ethereum/mapping-string-keys
Allow dynamic types in public mappings
2019-02-26 17:05:18 +01:00
chriseth
4e74c508ce
Merge pull request #6089 from ethereum/extcodehash
Consider extcodehash as part of Constantinople
2019-02-26 17:04:01 +01:00
Mathias Baumann
e4a52aa2f6 Allow dynamic types in public mappings 2019-02-26 15:48:54 +01:00
chriseth
da7139afc5
Merge pull request #6097 from ethereum/meta-name
Provide access to the name of contracts.
2019-02-26 15:38:06 +01:00
chriseth
aba879f39f Use correct solcjs binary for testing. 2019-02-26 15:10:58 +01:00
Alex Beregszaszi
d2f493268b Provide access to the name of contracts. 2019-02-26 14:07:03 +00:00
chriseth
1169004cec
Merge pull request #6105 from ethereum/explainRuns
More explanation about the "runs" parameter.
2019-02-26 13:55:41 +01:00
Alex Beregszaszi
cb7b053a4a Consider extcodehash as part of Constantinople 2019-02-26 12:40:31 +00:00
Alex Beregszaszi
5fc8e29fff More granular error reporting in warnOnInstruction in AsmAnalysis 2019-02-26 12:39:15 +00:00
chriseth
80417e3d8c
Merge pull request #6100 from ethereum/smt_dynamic_cast_types
[SMTChecker] Replace dynamic_cast by category check
2019-02-26 13:28:48 +01:00
chriseth
38fc740690
Merge pull request #6080 from ethereum/library-index-access
Disallow index access on contracts and libraries
2019-02-26 13:26:05 +01:00
chriseth
760e6cc321 More explanation about the "runs" parameter. 2019-02-26 13:14:41 +01:00
chriseth
dad0c647ad
Merge pull request #6101 from ethereum/lll-literal-test
Add test for returning string literal in LLL
2019-02-26 13:03:36 +01:00
chriseth
472a64454f
Merge pull request #6096 from ethereum/mark-fixedpoint-unimplemented
Properly issue unimplemented assertion on FixedPointType in type conversion
2019-02-26 12:27:50 +01:00
Alex Beregszaszi
758537b274 Add test for returning string literal in LLL 2019-02-25 23:59:52 +00:00
Leonardo Alt
bbd2c91e19 [SMTChecker] Replace dynamic_cast by category check 2019-02-26 00:47:59 +01:00
Erik Kundt
3076d80480 Adds syntax test that covers arrays of contracts. 2019-02-25 23:05:33 +00:00
Erik Kundt
2d0daae796 Disallows index access on contracts and libraries. 2019-02-25 23:05:33 +00:00
Alex Beregszaszi
97d3b88f65
Merge pull request #6092 from ethereum/shift-combine
Combine multiple shifts with constant shift-by values in the optimiser
2019-02-25 21:27:41 +00:00
Alex Beregszaszi
358ccbe372 Properly issue unimplemented assertion on FixedPointType in type conversion 2019-02-25 21:21:33 +00:00