Commit Graph

12458 Commits

Author SHA1 Message Date
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
chriseth
ea790e3b7e
Merge pull request #5806 from ethereum/calldataStructs
Disallow calldata structs.
2019-01-21 12:03:32 +01:00
Chris Chinchilla
da73e25398
Merge pull request #5797 from ethereum/faq-array-pass
[DOCS] Remove copy between contracts FAQ item
2019-01-21 12:57:01 +02:00
Chris Ward
f39993ced6 Readd example 2019-01-21 12:33:11 +02:00
chriseth
606c2b9945
Merge pull request #5816 from esaulpaugh/develop
improve packed encoding test vector
2019-01-21 10:42:13 +01:00
Daniel Kirchner
610ef9f199 Disallow calldata structs. 2019-01-21 10:30:57 +01:00
Daniel Kirchner
d3270bc311
Merge pull request #5824 from ethereum/boost-cleanup
Remove boost workarounds
2019-01-19 14:40:57 +01:00
Alex Beregszaszi
b1d43a868c Add error condition if compiling with Boost <1.65 2019-01-18 18:13:59 +00:00
Alex Beregszaszi
6a32f7e444 Remove boost_multiprecision_number_compare_bug_workaround for Boost <=1.58 2019-01-18 18:09:26 +00:00
Alex Beregszaszi
8c97fb1688 Remove boost::filesystem::weakly_canonical workaround 2019-01-18 17:59:32 +00:00
Daniel Kirchner
127c78ee64
Merge pull request #5818 from ethereum/javascriptRuleListFix
Split up rule list generation further to fix browser issues.
2019-01-18 17:29:34 +01:00
Daniel Kirchner
870b656eda Split up rule list generation further to prevent issues in browsers with the emscripten build. 2019-01-18 17:02:47 +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
Evan Saulpaugh
bda0bc8f08
improve packed encoding test vector
packed byte length of ints now unambiguously shown to be type-dependent, not value dependent e.g. uint16(0x03) is 0x0003 not 0x03
2019-01-18 02:30:15 -06: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
0711873a2f
Merge pull request #5794 from ethereum/ssaReverser
[Yul] Add SSAReverser to optimiser.
2019-01-17 23:50:51 +01:00
chriseth
0b14d7a2d6
Merge pull request #5807 from ethereum/fixed_point_encoding
Return TypeError is fixed point encoding is attempted.
2019-01-17 23:47:07 +01:00
Alex Beregszaszi
3f7bb4d027
Merge pull request #5814 from tkopczynski/docs-fix-remove-word
[DOCS] Remove unnecessary word
2019-01-17 21:47:33 +00:00
Tomek Kopczynski
369a368a3f Remove unnecessary word 2019-01-17 21:59:31 +01:00
Daniel Kirchner
29f66b2674 Stabilize SSAReverser. 2019-01-17 21:05:32 +01:00
Daniel Kirchner
fd16585724 Undo second SSA transformation and add more tests. 2019-01-17 20:37:43 +01:00
Daniel Kirchner
6de2d92f20 Add SSAReverser to the yul optimiser. 2019-01-17 20:37:43 +01:00
chriseth
2a92403690 Changelog entry. 2019-01-17 20:37:34 +01:00
chriseth
2a0d4f358c Add test for content of creationCode and runtimeCode. 2019-01-17 20:36:48 +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
01ad4bffe7 Documentation. 2019-01-17 20:36:48 +01:00
chriseth
fed56f33d5 Type is not reserved anymore. 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
chriseth
44237211d1 Tests. 2019-01-17 20:36:48 +01:00
Alex Beregszaszi
7c07e94986
Merge pull request #4441 from ethereum/emscriptenBoostTest
Update emscripten version to 1.38.8.
2019-01-17 18:42:00 +00:00
Daniel Kirchner
5baac8470b Use emscripten 1.38.8 on both travis and circle. 2019-01-17 18:31:34 +01:00
chriseth
6de10cb9da
Merge pull request #5809 from ethereum/emscripten-strict
Set emscripten strict mode and remove obsolete option
2019-01-17 17:15:35 +01:00
Alex Beregszaszi
3f58505c76 Remove obsolete ETH_EMSCRIPTEN option
This was made obsolete by using toolchain files (#2836)
2019-01-17 15:23:21 +00:00
Daniel Kirchner
ecdc00d569 Set emscripten to strict mode (wrt deprecated compiler options). 2019-01-17 15:22:43 +00: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
chriseth
d8f663429f
Merge pull request #5805 from ethereum/yulSwitchChangelogFix
Add missing Changelog entries for Yul switch changes.
2019-01-17 13:06:31 +01:00
Daniel Kirchner
1f06a94b5d Add missing Changelog entries for Yul switch changes. 2019-01-17 13:02:01 +01:00
Chris Chinchilla
72c2100164
Merge pull request #5800 from ethereum/wip/faq-call
[DOCS] Add call warning into main docs and remove FAQ item
2019-01-17 11:31:46 +02:00
Erik Kundt
5279f9f03b
Update docs/units-and-global-variables.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
2019-01-17 10:19:16 +02:00
Chris Chinchilla
6841d78896
Merge pull request #5801 from ethereum/idio-contract
[DOCS] Mention that there is no Cron in Ethereum
2019-01-17 10:15:48 +02:00
Chris Chinchilla
49f74a7bc1
Merge pull request #5798 from ethereum/faq-conversion
[DOCS] Remove conversion FAQ Item
2019-01-17 10:14:55 +02:00
chriseth
78e764ef17
Merge pull request #5694 from ethereum/yul-ast-unique_ptr
[libyul] use unique_ptr in AST over shared_ptr
2019-01-16 17:26:09 +01:00