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
17,131 Commits 348 Branches 121 Tags
76d3e579bc659867319256e7ba5e855e02b341a5
Commit Graph
353 Commits
Author SHA1 Message Date
Alex Beregszaszi 60d4b1e8cc Rename drop to i64.drop in WasmDialect 
Also properly implement support for both i32.drop and i64.drop in BinaryTransform, TextTransform, and YulInterpreter
 2020-07-06 15:47:17 +01:00
chriseth ea46636ad2 Merge pull request #9281 from ethereum/fix-6772 
Fuzzer: Add a specialized StackTooDeepError Exception that is caught …
 2020-07-01 11:47:35 +02:00
Bhargava Shastry 1a0391bceb Fuzzer: Add a specialized StackTooDeepError Exception that is caught in the fuzzing harness 2020-07-01 11:08:20 +02:00
Bhargava Shastry b82590322c yul proto fuzzer: Remove assertion that no errors/warnings while parsing yul code 2020-06-30 21:46:38 +02:00
Bhargava Shastry d0ea1f97fd Yul interpreter: Return selfbalance constant for the expression 
balance(address()) and balance constant otherwise.
 2020-06-30 16:59:13 +02:00
Mathias Baumann 02328f3bbb Add unit denomination `gwei` 2020-06-24 18:24:56 +02:00
Bhargava ShastrychrisethKamil Śliwak
 		0397266351 Implement multi source semantic tests 
Co-authored-by: chriseth <chris@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2020-06-23 17:29:16 +02:00
Djordje Mijovic 4b6c322279 Fixing various signedness warnings 2020-06-03 10:37:18 +02:00
Djordje Mijovic 1ee6c49028 Adding fixes for signedness warnings in test/tools/yulInterpreter 2020-06-02 16:35:41 +02:00
Bhargava ShastryandLeonardo 596ac018f5 Fuzzer: Add test harness for solidity inheritance protobuf fuzzer 
Co-Authored-By: Leonardo <leo@ethereum.org>
 2020-05-11 23:56:27 +02:00
Bhargava ShastryandLeonardo 00946f3ea0 ossfuzz: Add sol proto fuzzer skeleton 
Co-Authored-By: Leonardo <leo@ethereum.org>
 2020-05-11 23:56:27 +02:00
Kamil Śliwak 156bfadad3 yulopti: Fix conflict between 'l' in yulopti and OptimiserSuite and make future conflicts less likely 
- OptimizerSuite uses letters so switching to punctuation marks in yulopti should help.
 2020-05-07 17:27:24 +02:00
Kamil Śliwak d3d1520870 yulopti: Add an error message to assetion triggered when an optimizer step abbreviation conflicts with yulopti controls 2020-05-07 17:21:39 +02:00
Kamil Śliwak 3e9fa7e388 yulopti: Print errors to stderr rather than stdout 2020-05-07 17:16:50 +02:00
Daniel Kirchner 7b48c120b5 Always enforce via yul for isoltest runs. 2020-05-05 14:08:59 +02:00
Djordje Mijovic 8b7f87eed5 [isoltest] Enforcing compileViaYul to be set if test can pass via yul 2020-05-05 00:38:13 +02:00
Bhargava ShastryandLeonardo 5113af1df0 Update test/tools/ossfuzz/protoToYul.h 
Co-Authored-By: Leonardo <leo@ethereum.org>
 2020-04-27 14:01:11 +02:00
Bhargava Shastry 62e5ccec90 Minor code factoring to clarify for init scope extension 2020-04-27 14:01:11 +02:00
Bhargava Shastry 7280ed716a Yul proto spec: Add multiple variable declaration statement 2020-04-27 14:01:11 +02:00
Bhargava Shastry f78414b333 Disallow statements containing empty blocks e.g., empty if, for, function definition 2020-04-23 10:07:36 +02:00
Bhargava Shastry ea5b64ca9e Fuzzer: Permit linking of libraries in compilation framework 2020-04-20 14:28:38 +02:00
Alexander Arlt aac7a1e434 Apply modernize-pass-by-value. 2020-04-14 10:32:13 -05:00
Alexander Arlt 90bb1d8a7c Apply modernize-use-emplace. 2020-04-02 17:35:48 -05:00
Bhargava Shastry 9544df34d7 solc fuzzers: Use compiler stack for fuzzing 2020-03-20 10:50:26 +01:00
a3d4 f4d9f6772f Unified use of settings. Removed a couple of unused functions. 2020-03-19 14:02:39 +01:00
a3d4 66783c30ce Introduced TestCaseReader. 2020-03-16 23:14:33 +01:00
chriseth 8d2a9bf773 Merge pull request #8458 from a3d4/partfix-8244-introduced-testcase-shouldrun 
Partial Fix #8244: Introduced TestCase::shouldRun().
 2020-03-09 18:35:12 +01:00
Leonardo 3896aa75cc Merge pull request #8426 from ethereum/fix-7948 
ossfuzz: Update README.md with steps to build fuzzers via docker
 2020-03-09 16:41:10 +01:00
a3d4 29b770c434 Introduced TestCase::shouldRun(). 2020-03-09 15:52:20 +01:00
Bhargava Shastry 2153a1ef1d Update test/tools/ossfuzz/README.md 
Address review comments
 2020-03-09 10:38:19 +01:00
Bhargava Shastry 7483c6f13e ossfuzz: Update README.md with steps to build fuzzers via docker 2020-03-05 10:43:31 +01:00
Bhargava Shastry ed02aae1d9 Update solidity fuzzing dictionary with >0.6.0 keywords 2020-02-28 15:46:21 +01:00
Bhargava Shastry 79f1917422 yul proto fuzzer: Refactor dataoffset/size specification 2020-02-11 13:58:36 +05:30
Bhargava Shastry 59e7206c8f yul proto fuzzer: Support boolean literal generation 2020-02-10 20:48:29 +05:30
chriseth 5de3379d82 Merge pull request #8238 from ethereum/yul-syntax-tests 
Implement yul syntax tests
 2020-02-05 15:15:41 +01:00
Mathias Baumann fc10e701fc Implement yul syntax tests 2020-02-05 14:58:34 +01:00
chriseth 48933df18d Add some missing wasm functions. 2020-02-04 22:44:08 +01:00
chriseth a7624ffc45 Implement i32 builtins for the interpreter. 2020-02-04 22:44:08 +01:00
cameel 5fbc4d4afa [yulopti] Automate printing of the usage banner 
- This now displays internal step names rather than human-readable ones but the internal ones are readable enough and it's not something worth creating another map.
- Options in the banner are now aligned in columns and thus easier to read.
 2020-02-03 12:22:47 +01:00
cameel 4129c27495 [yulopti] Replace hard-coded step list with OptimiserSuite's maps 2020-02-03 12:22:47 +01:00
chriseth 2afcfec77b Merge pull request #8220 from ethereum/remove-var-name-cleaner-from-optimiser-suite-step-list 
Remove var name cleaner from optimiser suite step list
 2020-01-30 17:58:43 +01:00
cameel ed5210490d [yulopti] Run disambiguator after VarNameCleaner 
- This is a trivial change and it makes it safe to use in combination with other step.
 2020-01-30 17:35:27 +01:00
chriseth fbe5bb0cce Parse default dialect and omit when printing. 2020-01-29 17:25:25 +01:00
chriseth 457cdecf6f Merge pull request #8135 from ethereum/fix-get-options-7112 
TestFramework: Merge Options.h into Common.h
 2020-01-29 16:05:55 +01:00
Mathias Baumann 00e4d13975 TestFramework: Merge Options.h into Common.h 2020-01-29 12:27:05 +01:00
Bhargava Shastry 8cbe1d4b1d yul proto fuzzer: Make function call generation optional 2020-01-24 12:31:43 +05:30
Bhargava Shastry a335fed189 yul proto fuzzer: Add EVM version field 2020-01-24 12:31:20 +05:30
Bhargava Shastry 9befb4bdf0 yul proto fuzzer: Do not generate infinite for loops and limit total 
number of for loops per test program to two
 2020-01-20 16:27:01 +05:30
cameel bf5e62931d fixup! [yulopti] Fix typo: (f)flatten -> (f)latten 2020-01-17 12:38:45 +01:00
cameel 49ca1f8534 [yulopti] Add missing ConditionalUnsimplifier to the list of available optimizations 2020-01-17 08:01:39 +01:00