cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,286 Commits 348 Branches 121 Tags
0b44389fc6f04425d602b46f96b1b2f0984fcdea
Commit Graph
13286 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Chris Ward 0b44389fc6 Add 0.5.x warning 2019-04-03 17:37:35 +02:00
chriseth e9ffbefb05 Merge pull request #6413 from ethereum/ossfuzz-build-ci 
Add CI to build ossfuzz fuzzer binaries
 2019-04-03 11:03:30 +02:00
Bhargava Shastry 0d2566fa71 Add CI to build ossfuzz fuzzer binaries 2019-04-03 10:27:05 +02:00
chriseth 1b7878cfde Merge pull request #6445 from ethereum/circularStorageMemoryCopy 
Implemented copying recursive structs from storage to memory.
 2019-04-03 10:20:23 +02:00
chriseth bf4fa704db Merge pull request #6434 from ethereum/fix_z3_docs 
Fix Z3 version in docs
 2019-04-02 18:02:30 +02:00
Daniel Kirchner ab8dfed144 Implement copying recursive structs from storage to memory. 2019-04-02 16:01:44 +02:00
chriseth 7c880a26c0 Merge pull request #6431 from ethereum/external-tests-split 
Split up external tests
 2019-04-02 14:39:00 +02:00
Erik Kundt 20216f3a86 Separates CircleCI jobs for external tests. 2019-04-02 13:43:03 +02:00
Erik Kundt 79e74b75d1 Splits up external tests into separate files. 2019-04-02 13:42:58 +02:00
chriseth 7b0f7eb1cc Merge pull request #6440 from ethereum/use-default-constructor-for-evm-version 
Use default EVMVersion instead of a hard coded one
 2019-04-02 12:10:00 +02:00
Bhargava Shastry 0cc6e1cb08 Use default EVMVersion instead of a hard coded one 2019-04-02 11:40:59 +02:00
Leonardo Alt c7c15a41cc Fiz Z3 version in docs 2019-04-01 21:22:38 +02:00
chriseth e894e0b967 Merge pull request #6410 from ethereum/eliminate-dead-code 
Yul Optimizer: Remove dead code
 2019-04-01 18:12:47 +02:00
chriseth 862ad28edd Merge pull request #6433 from ethereum/fuzzhelp 
Run several instances of solfuzzer in parallel
 2019-04-01 17:49:58 +02:00
Mathias Baumann 3216e5d846 Run several instances of solfuzzer in parallel 2019-04-01 17:18:15 +02:00
Mathias Baumann e20acf5d0a Yul Optimizer: Remove dead code 2019-04-01 17:16:04 +02:00
Mathias Baumann 30820dda99 Support multiple input files with solfuzzer 2019-04-01 16:57:32 +02:00
chriseth e7340f2126 Merge pull request #6430 from ethereum/fuzzhelp 
Fix --help parameter for solfuzzer
 2019-04-01 16:51:15 +02:00
chriseth 2ecd056534 Merge pull request #6423 from ethereum/forceABIV2InExternalTests 
Force-activate ABIEncoderV2 in external tests.
 2019-04-01 16:44:52 +02:00
Mathias Baumann 101ca5c120 Fix --help parameter for solfuzzer 
the `readStandardInput()` branch would be taken if "input-file" was not
given and only "help", thus never reaching the check for "help"
 2019-04-01 15:50:34 +02:00
chriseth 45e3cce765 Force-activate ABIEncoderV2 in external tests. 2019-04-01 15:36:03 +02:00
chriseth 8e07a2396f Merge pull request #6428 from ethereum/external-tests-optimizer 
Fixes forced optimizer settings in external tests
 2019-04-01 15:35:36 +02:00
Erik Kundt c72686b343 Fixes forced optimizer settings in external tests. 2019-04-01 14:53:21 +02:00
chriseth 6de376542c Merge pull request #6422 from ethereum/ci-smaller-log-output 
Decrease xml test log size
 2019-04-01 14:42:38 +02:00
Mathias Baumann bddef01fdd Decrease xml test log size 2019-04-01 12:38:29 +02:00
chriseth a3a60b8eb9 Merge pull request #6414 from ethereum/chriseth-patch-1 
Layout cleanup.
 2019-04-01 09:50:36 +02:00
chriseth 91a54f9b4d Merge pull request #6160 from ethereum/rulelist-reject 
Optimize obsolete ANDs in combination with certain SHIFTs
 2019-03-29 18:01:33 +01:00
Mathias Baumann 5c66ccc179 Optimize obsolete ANDs in combination with certain SHIFTs 2019-03-29 10:08:05 +01:00
Alex Beregszaszi 84fbf605aa Replace shifts by larger than 255 with 0 2019-03-29 10:07:54 +01:00
chriseth af09cb3af2 Layout cleanup. 2019-03-28 23:43:27 +01:00
chriseth 65026a0a25 Merge pull request #6412 from iostat/remapping-doc-fix 
[DOCS] use correct global remapping syntax in documentation
 2019-03-28 23:38:47 +01:00
Ilya Ostrovskiy 7860918de5 use correct global remapping syntax in documentation 2019-03-28 15:01:41 -04:00
chriseth f9820adb5e Merge pull request #6396 from ethereum/optSetForAsmStack 
Make optimiser settings available to assembly stack.
 2019-03-28 19:03:23 +01:00
chriseth 84251e5a22 Merge pull request #6405 from ethereum/smt_compound_assignment 
[SMTChecker] Support arithmetic compound assignment operators.
 2019-03-28 18:27:25 +01:00
chriseth 3264e9abf0 Make optimiser settings available to assembly stack. 2019-03-28 18:24:13 +01:00
chriseth bb899b4c26 Merge pull request #6382 from ethereum/smt_fix_short_circuit 
[SMTChecker] Implement Boolean short-circuiting correctly
 2019-03-28 17:35:11 +01:00
Leonardo Alt 8721952ded Changelog entry 2019-03-28 16:22:18 +01:00
Leonardo Alt dadafed022 Short circuit tests 2019-03-28 16:08:30 +01:00
Leonardo Alt a7e826a224 [SMTChecker] Implement short circuit 2019-03-28 16:08:30 +01:00
chriseth a1d59dfb4c Merge pull request #6371 from ethereum/smt_variable_usage_function_calls 
[SMTChecker] Merge SSA state vars properly
 2019-03-28 15:54:31 +01:00
chriseth 30da62aa2c Merge pull request #6408 from ethereum/includeCleanup 
Include cleanup
 2019-03-28 15:31:07 +01:00
Leonardo Alt c7e5468505 Arithmetic compound assignment operators tests 2019-03-28 15:27:52 +01:00
Leonardo Alt 15269067b5 Support arithmetic compound assignment operators 2019-03-28 15:27:52 +01:00
Leonardo Alt ecbf36f271 Refactor computing symbolic arithmetic operation 2019-03-28 15:27:36 +01:00
chriseth 2005e70fb9 Merge pull request #6409 from ethereum/namespaceFix 
Fix namespace.
 2019-03-28 15:24:18 +01:00
chriseth e82dcd1f91 Fix namespace. 2019-03-28 14:55:50 +01:00
chriseth 2b0c653f57 Merge pull request #6241 from ethereum/yul-bc-codegen 
Yul codegen for break & continue statements
 2019-03-28 14:48:50 +01:00
chriseth f2cee9ec0c Include cleanup. 2019-03-28 14:32:48 +01:00
chriseth 20ae3ad555 Remove "using namespace". 2019-03-28 14:32:48 +01:00
Leonardo Alt 2764d2f525 Tests that used to give false negatives 2019-03-28 14:32:47 +01:00