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,445 Commits 348 Branches 121 Tags
valgrind-bits
Commit Graph
2778 Commits
Author SHA1 Message Date
Christian Parpart d9b8c89e81 test: SolidityOptimizer: small adaption for running under valgrind, eliminating race condition 2019-04-24 16:14:47 +02:00
Christian Parpart 1a3c31a926 Strips commonly used helper functions in scripts into its own file to be shared with scripts along with minor syntax cleanup. 
Also includes first bits for valgrind testing.
 2019-04-24 16:14:42 +02:00
chriseth 424c6f5639 Merge pull request #6550 from ethereum/smt_this 
[SMTChecker] Support this as address
 2019-04-19 00:42:33 +02:00
chriseth 1d5559c350 Merge pull request #6554 from ethereum/add-ternary-ops 
ossfuzz: Generate addmod and mulmod builtin functions
 2019-04-19 00:41:57 +02:00
Leonardo f8b1326712 Merge pull request #6539 from ethereum/fix-dup-case-literals 
ossfuzz: Fixes buggy generation of duplicate case literals
 2019-04-19 00:40:26 +02:00
Leonardo Alt dd1afeba52 [SMTChecker] Support this as address 2019-04-18 17:56:52 +02:00
chriseth b02fbc5d02 Merge pull request #6503 from ethereum/inlineAsm-yul 
Inline asm yul
 2019-04-18 17:15:09 +02:00
Mathias Baumann 3d061c83d7 IR: Generate inline asm blocks 2019-04-18 16:49:19 +02:00
Bhargava Shastry 836c466f09 ossfuzz: Generate addmod and mulmod builtin functions 2019-04-18 14:21:02 +02:00
Bhargava Shastry 68b7f40184 ossfuzz: Fixes buggy generation of duplicate case literals 2019-04-18 14:12:23 +02:00
chriseth fce19bde58 Merge pull request #6545 from ethereum/smt_contracts 
[SMTChecker] Support contract type
 2019-04-18 13:01:18 +02:00
chriseth 0bfd587363 Merge pull request #6527 from rocky/move-SemVerHandler 
Move SemVerHandler to analysis to parsing to increase modularity...
 2019-04-18 13:00:45 +02:00
chriseth 87a4ce2679 Merge pull request #6540 from ethereum/add-for-break-continue 
Generate break and continue statements inside for loop body.
 2019-04-18 12:57:40 +02:00
chriseth fb302c1c4f Merge pull request #6473 from ethereum/libeventhash-6435 
Fix external ABI type name for contracts
 2019-04-18 12:53:34 +02:00
Mathias Baumann 0f4b53e9a0 Fix external ABI type name for contracts 2019-04-18 11:39:48 +02:00
Leonardo Alt ecd89393ee [SMTChecker] Support contract type 2019-04-17 16:30:11 +02:00
hydai d5b65fbf5b [Yul] Output an error of a switch case which contains string literals longer than 32 chars 2019-04-17 22:17:18 +08:00
rocky b424446c5f Move SemVerHandler to analysis to parsing to increase modularity... 
If ever you want to separate building analysis from scanning/parsing/ast, this will help.
 2019-04-17 10:13:42 -04:00
chriseth 4509e8efbb Merge pull request #6543 from ethereum/typeprovider-bits 
TypeProvider bits
 2019-04-17 15:50:08 +02:00
chriseth 922ab0d72d Merge pull request #6534 from ethereum/reuseLiteralContent-6472 
Re-produce the original 'useLiteralContent' setting
 2019-04-17 15:41:55 +02:00
Mathias Baumann b24dd42e47 Re-produce the original 'useLiteralContent' setting 2019-04-17 14:54:51 +02:00
Christian Parpart 721bf367a3 [libsolidity] TypeProvider: eliminate redundant "Type" suffix in provider function signatures. 2019-04-17 14:42:07 +02:00
chriseth dd15c24320 Merge pull request #6490 from g-r-a-n-t/pass-large-strings-by-value 
Pass large strings by value
 2019-04-17 14:40:39 +02:00
Grant Wuerker 69b4ce36de Some move semantics improvements. 2019-04-17 14:19:48 +02:00
Bhargava Shastry 6f673f5e81 Generate break and continue statements inside for loop body. 2019-04-17 13:02:47 +02:00
chriseth 669df0d1e5 Allow more filters and rename member. 2019-04-17 12:00:01 +02:00
Erik Kundt 827e13a2d7 Refactors passing of options in isoltest. 2019-04-17 11:36:14 +02:00
Erik Kundt 11087422d6 Adds --test | -t option to isoltest. 2019-04-17 11:36:14 +02:00
chriseth b8ad8fb15e Merge pull request #6417 from ethereum/memleaks 
Type System API refactor
 2019-04-17 11:04:24 +02:00
fnatic 5b6ed7a97c Removing scope rules for pre block in 'For Loops' 2019-04-17 05:58:40 +05:30
Christian Parpart 58a45f2cb6 [libsolidity] TypeProvider: adds explicit uint256() accessor and removes default params in integerType(...). 2019-04-16 18:28:40 +02:00
Christian Parpart bf43eebea9 libsolidity: Introducing TypeProvider API, for clear type system ownership. 2019-04-16 18:26:45 +02:00
Christian Parpart 862d798047 [test] AnalysisFramework's instance of CompilerStack to be lazily instanciated. 2019-04-16 18:25:03 +02:00
chriseth 94053c9a52 Merge pull request #6520 from ethereum/addAssertForLoopDeadCode 
Add assertion that DeadCodeEliminator needs ForLoopInitRewriter.
 2019-04-16 15:52:18 +02:00
chriseth fb06451f45 Add assertion that DeadCodeEliminator needs ForLoopInitRewriter. 2019-04-15 23:26:56 +02:00
Mathias Baumann efc8d79d53 Fix wrong location for inline asm blocks 2019-04-15 16:40:07 +02:00
chriseth bf5792f7ca Merge pull request #6483 from ethereum/smt_support_mod 
[SMTChecker] Support mod
 2019-04-15 13:42:18 +02:00
chriseth 73ac8f6220 Merge pull request #6421 from ethereum/smt_fix_variable_usage 
[SMTChecker] Refactor VariableUsage
 2019-04-15 13:39:10 +02:00
Leonardo Alt af9f16e014 [SMTChecker] Support mod 2019-04-12 12:39:25 +02:00
Daniel Kirchner 65991c0922 Merge pull request #6481 from ethereum/smt_inline_asm_warning 
[SMTChecker] Show unsupported warning for asm blocks
 2019-04-12 12:36:26 +02:00
Daniel Kirchner a4fbb06c2a Merge pull request #6491 from ethereum/increase-maxSteps-for-opt-yul 
Increase upper bound for number of interpreted steps for optimized code
 2019-04-12 12:34:47 +02:00
Leonardo dbc9442f9c Merge pull request #6484 from sifmelcara/create-SourceReferenceFormatter-shortcut 
Add a shortcut for formatting error information
 2019-04-12 12:34:08 +02:00
chriseth 565d9837e4 Virtual function calls. 2019-04-11 15:45:43 +02:00
chriseth 18ab8aeb85 Overflow-checked addition. 2019-04-11 15:45:14 +02:00
Mathias L. Baumann 826f2d9084 Merge pull request #6502 from ethereum/fix-ifn-loop 
Fix infinite loop when encountering unexpected test specifications
 2019-04-11 15:23:40 +02:00
Mathias Baumann 71d752d878 Fix infinite loop when encountering unexpected test specifications 2019-04-11 13:37:42 +02:00
Erik Kundt e97d4b4aec Merge pull request #6488 from sifmelcara/cmdlineTests-auto-update 
Auto-correct command line tests
 2019-04-11 12:17:43 +02:00
mingchuan d49733dfc3 Fix variable decl scope issue in DeadCodeEliminator 
FoorLoopInitRewriter needs to be run before DeadCodeEliminator.
 2019-04-10 19:00:29 +08:00
Bhargava Shastry 484c14af81 Increase upper bound for number of interpreted steps for optimized code 2019-04-10 12:57:54 +02:00
mingchuan f1374066af Add shortcuts for formatting error information 2019-04-10 18:44:45 +08:00