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,415 Commits 348 Branches 121 Tags
bdbe1e55b3015faa5790ddf3bfa89f3326f275da
Commit Graph
13415 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth bdbe1e55b3 Merge pull request #6552 from dm4/fix-typo 
[libyul] fix typo
 2019-04-18 13:20:12 +02:00
dm4 b2c812c794 [libyul] fix typo 2019-04-18 19:07:06 +08: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
chriseth fcc298872c Merge pull request #6533 from rocky/gdb-clang-g3 
Maximum clang/gcc debugging when debugging desired.
 2019-04-18 12:34:01 +02:00
chriseth 3ba811f1ad Merge pull request #6544 from ethereum/smt_warn_external 
[SMTChecker] Add note about not inlining external function calls
 2019-04-18 12:14:53 +02:00
chriseth 27d0481958 Merge pull request #6542 from hydai/yul/string_literal_too_long 
[Yul] Output an error of a switch case which contains string literals…
 2019-04-18 12:13:28 +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
Leonardo Alt 03d18f1b98 [SMTChecker] Add note about not inlining external function calls 2019-04-17 16:14:07 +02: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 9733ae7483 [libsolidity] TypeProvider: cleanup unnecessary std:: qualifiers 2019-04-17 14:45:29 +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
chriseth 2be8f18055 Merge pull request #6500 from ethereum/soltest-case-selector 
[soltest] Test filter for isoltest
 2019-04-17 14:35:52 +02:00
Grant Wuerker 69b4ce36de Some move semantics improvements. 2019-04-17 14:19:48 +02:00
Christian Parpart 862b65d6e3 [libsolidity] remove ReferenceType::copyForLocationIfReference (use TypeProvider instead) 2019-04-17 13:25:03 +02:00
Bhargava Shastry 6f673f5e81 Generate break and continue statements inside for loop body. 2019-04-17 13:02:47 +02:00
Christian Parpart b83097bdc6 [libsolidity] Types: eliminate redundant MagicType::metaType() (use TypeProvider instead) 2019-04-17 12:59:48 +02:00
Christian Parpart a99a460c79 [libsolidity] Types: remove some old comments 2019-04-17 12:00:33 +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 1feefa1ccc Merge pull request #6536 from ethereum/mentionKeysMetadata 
[DOCS] Mention other keys in metadata mapping.
 2019-04-17 11:05:22 +02:00
chriseth b8ad8fb15e Merge pull request #6417 from ethereum/memleaks 
Type System API refactor
 2019-04-17 11:04:24 +02:00
chriseth 34995d4e97 Merge pull request #6486 from nanspro/develop 
No special treatment of pre blocks in loops
 2019-04-17 10:45:43 +02:00
chriseth 6e83eba9a3 Mention other keys in metadata mapping. 2019-04-17 10:40:26 +02:00
fnatic 5b6ed7a97c Removing scope rules for pre block in 'For Loops' 2019-04-17 05:58:40 +05:30
chriseth 4e2d4f02b0 Make data location explicit. 2019-04-16 23:22:08 +02:00
chriseth 2761aed1d3 Lazy-initialize string and bytes types. 2019-04-16 23:22:08 +02:00
chriseth 4656d7ca7d Change pre-created types to unique_ptr to avoid copying and moving. 2019-04-16 23:22:08 +02:00
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 59d4f54729 libsolidity: Be more restrictive to not allow any copy constructors at all in Type system. 
This enforces us to be a little bit more historical in how to initialize
our std::array<>'s in TypeProvider.
 2019-04-16 18:26:46 +02:00
Christian Parpart a2a3b007f3 TypeProvider: storageType() to make all parameters explicit 2019-04-16 18:26:46 +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
rocky 6d5505720d Maximum clang/gcc debugging when debugging desired. 
-g3 adds macro information. See https://gcc.gnu.org/onlinedocs/gcc/Debugging-Options.html
Both clang and gdb support this, and I think this preferred over the older -ggdb.
 2019-04-16 11:47:06 -04: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 a61931c5da Merge pull request #6512 from ethereum/smt_refactor_symbvars 
[SMTChecker] Allow SymbolicVariable from smt::Sort
 2019-04-16 15:45:08 +02:00
chriseth fb06451f45 Add assertion that DeadCodeEliminator needs ForLoopInitRewriter. 2019-04-15 23:26:56 +02:00
chriseth edfebcf957 Merge pull request #6519 from ethereum/wrong-mem-loc 
Fix wrong location for inline asm blocks
 2019-04-15 17:00:56 +02:00
Mathias Baumann efc8d79d53 Fix wrong location for inline asm blocks 2019-04-15 16:40:07 +02:00
Leonardo Alt 07fac9e381 [SMTChecker] Allow SymbolicVariable from smt::Sort 2019-04-15 14:52:46 +02:00
chriseth bf5792f7ca Merge pull request #6483 from ethereum/smt_support_mod 
[SMTChecker] Support mod
 2019-04-15 13:42:18 +02:00