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 |
|
Bhargava Shastry
|
33ccc19619
|
Add a nightly run for ossfuzz regression tests
|
2019-04-17 15:31:40 +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 |
|
chriseth
|
a2773e8272
|
Also run commandline tests with ASAN.
|
2019-04-17 13:45:06 +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 |
|
chriseth
|
b10fcb4b6c
|
Remove eval.
|
2019-04-17 10:16:41 +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
|
96d748fdad
|
Remove "pwd" calls, path is already absolute.
|
2019-04-16 14:43:32 +02:00 |
|
chriseth
|
6bc5068a67
|
Only ask for cmdline test updates in interactive runs.
|
2019-04-15 23:51:31 +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 |
|
chriseth
|
73ac8f6220
|
Merge pull request #6421 from ethereum/smt_fix_variable_usage
[SMTChecker] Refactor VariableUsage
|
2019-04-15 13:39:10 +02:00 |
|
chriseth
|
e4e786a9bb
|
Merge pull request #6513 from ethereum/aleth_update
Update aleth to version 1.6.0-rc.1.
|
2019-04-15 13:35:43 +02:00 |
|