Commit Graph

13865 Commits

Author SHA1 Message Date
chriseth
a86a88f123
Merge pull request #6820 from ethereum/noRecursiveInline
Do not inline recursive functions.
2019-05-22 22:53:47 +02:00
chriseth
1e3878121a Do not inline recursive functions. 2019-05-22 18:15:21 +02:00
chriseth
8ebf057b5c
Merge pull request #6817 from ethereum/const-opt-comments
Document copyRoutine in ConstantOptimiser
2019-05-22 17:22:19 +02:00
Alex Beregszaszi
5acd862b05 Document copyRoutine in ConstantOptimiser 2019-05-22 15:18:57 +01:00
mingchuan
4ab377eb00
Add tests for ForLoopConditionIntoBody 2019-05-22 21:51:03 +08:00
mingchuan
a86b00e8d0
[YulOpt] Implement ForLoopConditionIntoBody 2019-05-22 21:32:18 +08:00
chriseth
4646fee9d4
Merge pull request #6816 from ethereum/ossfuzz-ci-additional-asan-flags
Added/corrected ASan flags to ossfuzz regression CI
2019-05-22 14:46:54 +02:00
Bhargava Shastry
1d23a69eca Added/corrected ASan flags to ossfuzz regression CI 2019-05-22 13:57:41 +02:00
chriseth
b44e1df87b
Merge pull request #6815 from ethereum/add-asan-runtime-flags-to-asan-ci
Adds ASan runtime flags to enable additional security checks
2019-05-22 13:42:46 +02:00
Bhargava Shastry
9eed83b512 Adds ASan runtime flags to enable additional security checks 2019-05-22 13:17:29 +02:00
chriseth
0e81c04a98
Merge pull request #6806 from guylando/develop
Added a reference to an extended list of security recommendations.
2019-05-22 13:13:48 +02:00
chriseth
1b6bd72e70
Merge pull request #6811 from ethereum/cmake-sanitizer
cmake: Minor refactoring of SANITIZE flag
2019-05-22 13:08:22 +02:00
Bhargava Shastry
9f77d90c0b cmake: Minor refactoring of SANITIZE flag 2019-05-22 11:33:27 +02:00
chriseth
7506b5752a Do not require payable for callvalue instruction. 2019-05-22 11:30:29 +02:00
chriseth
f06582f97f
Merge pull request #6810 from ethereum/ossfuzz-remove-redundant-ci-config
Remove test results config from ossfuzz regression job
2019-05-22 11:14:59 +02:00
Bhargava Shastry
42bee0081c Remove test results config from ossfuzz regression job 2019-05-22 11:00:44 +02:00
Bhargava Shastry
804368bb51 First commit 2019-05-22 10:15:28 +02:00
Guy
2734eae6fb Added a reference to an extended list of security recommendations. 2019-05-22 10:56:25 +03:00
chriseth
cf1c236d49
Merge pull request #6801 from ethereum/fix-spells
Completely fix spelling
2019-05-21 12:00:04 +02:00
Mathias Baumann
ed5c77e9a8 Completely fix spelling 2019-05-21 11:57:16 +02:00
chriseth
0e132d0773
Merge pull request #6799 from ethereum/fix-spells
Fix new found spelling mistakes and add exceptions
2019-05-21 11:35:47 +02:00
Mathias Baumann
cbf81b123a Fix new found spelling mistakes and add exceptions 2019-05-21 10:59:34 +02:00
chriseth
e324deabd6
Merge pull request #6740 from ethereum/unary-ops
[Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, !
2019-05-20 18:06:01 +02:00
chriseth
af2bdfd2fa
Merge pull request #6793 from ethereum/irCheckedMul
[Sol - Yul] Implement checked multiplication.
2019-05-20 17:54:57 +02:00
chriseth
ebecb14d7c
Merge pull request #6796 from guylando/develop
Clarified inheritance documentation.
2019-05-20 17:41:53 +02:00
chriseth
3d8b323d3b
Merge pull request #6775 from ethereum/addEVMBuiltins
Add evm builtins
2019-05-20 17:38:57 +02:00
Daniel Kirchner
b6f4d4e9bc [Sol - Yul] Implement checked multiplication. 2019-05-20 17:36:53 +02:00
chriseth
1dc15d5864 Modify parser and optimizer. 2019-05-20 17:32:56 +02:00
Guy Lando
ee0cb71959
Clarified inheritance documentation. 2019-05-20 18:30:47 +03:00
chriseth
46d9df7574 Add EVM opcodes as builtins. 2019-05-20 16:46:31 +02:00
chriseth
003c170989 Add EVM instructions as builtin functions. 2019-05-20 16:46:31 +02:00
Christian Parpart
63ae9f1415
[isoltest] TestFileParser: Fixes access of iterator at and beyond iterator ends. 2019-05-20 16:29:03 +02:00
Mathias Baumann
86000fdcce [Sol -> Yul] Implement unary -, + 2019-05-20 16:14:46 +02:00
chriseth
e08f521b7e
Merge pull request #6764 from ethereum/smt_fix_tuple_ice
[SMTChecker] Fix ICE in unsupported function calls with multi return values
2019-05-20 15:18:11 +02:00
chriseth
bbf45c4af1
Merge pull request #6758 from ethereum/smt_global_context
[SMTChecker] Move handling of global vars and functions
2019-05-20 15:15:54 +02:00
chriseth
c2c44ff739
Merge pull request #6791 from ethereum/anonymousEvents
Advantages of anynomous events.
2019-05-20 15:11:24 +02:00
chriseth
20f3ab5961 Advantages of anynomous events. 2019-05-20 15:06:53 +02:00
chriseth
8daa281d3d
Merge pull request #6776 from ethereum/equivalentFunctionHashes
Use block hashes in EquivalentFunctionDetector.
2019-05-20 14:35:39 +02:00
chriseth
0731abd3f6
Merge pull request #6782 from ethereum/makeVectorEWasmCodeTransform
Use make_vector in EWasmCodeTransform.
2019-05-20 13:07:56 +02:00
Mathias Baumann
7dbcb80523 [Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, ! 2019-05-20 11:43:12 +02:00
Daniel Kirchner
39670abe4d Use make_vector in EWasmCodeTransform. 2019-05-17 14:13:43 +02:00
chriseth
4f3b7b232b
Merge pull request #6774 from ethereum/dialectRefactor
Dialect refactor
2019-05-17 14:00:09 +02:00
chriseth
4bdb981224 Make dialect const& and allocate single instances statically. 2019-05-17 12:54:24 +02:00
chriseth
88e9fbe671
Merge pull request #6780 from ethereum/moveInitialization
make_vector helper for move initialization
2019-05-17 12:48:30 +02:00
Daniel Kirchner
05c210772a Make use of make_vector where possible. 2019-05-17 10:08:53 +02:00
Daniel Kirchner
2046e61c26 Add make_vector helper to compensate for the lack of rvalue initializer lists. 2019-05-17 10:08:53 +02:00
Daniel Kirchner
3c66a56e60 Use block hashes in EquivalentFunctionDetector. 2019-05-17 08:39:42 +02:00
chriseth
570db164c9 Make Dialect const. 2019-05-16 21:51:54 +02:00
chriseth
9a387380b3 Move generation of builtin functions to helper. 2019-05-16 21:51:54 +02:00
chriseth
7de150924c Extract subIDs from Dialect to allow it being const. 2019-05-16 21:51:54 +02:00