anurag4u80
|
b2ca7916aa
|
Replaced boost::adaptors::transformed
|
2021-04-08 17:38:14 +05:30 |
|
chriseth
|
98a8640928
|
Merge pull request #11203 from anurag-git/issue_10738-1
Use range-v3 loops (reverse, keys, values)
|
2021-04-01 12:19:40 +02:00 |
|
Đorđe Mijović
|
b2555eac81
|
Merge pull request #11200 from ethereum/fixAutoUpdateMacos
|
2021-03-31 20:21:25 +02:00 |
|
anurag4u80
|
bbcdddeed9
|
Replaced keys, values and reverse with ranges
|
2021-03-31 23:33:04 +05:30 |
|
Djordje Mijovic
|
aeba059192
|
Fixing auto update for macos.
|
2021-03-31 16:51:01 +02:00 |
|
Leonardo
|
cbccb53ee2
|
Merge pull request #11178 from blishko/smt-assign-refactor
[SMTChecker] Small refactoring of assignment
|
2021-03-31 16:31:29 +02:00 |
|
Martin Blicha
|
330fb8f4d0
|
[SMTChecker] Assignment refactoring
|
2021-03-31 13:36:50 +02:00 |
|
Harikrishnan Mulackal
|
b605211d53
|
Merge pull request #11170 from ethereum/natspec-doc
Move improvements to the NatSpec documentation
|
2021-03-31 13:18:55 +02:00 |
|
Leonardo
|
78d94737a4
|
Merge pull request #11188 from blishko/issue-11181
[SMTChecker] Fix crash when analysing try-catch clauses with function call.
|
2021-03-31 11:24:36 +02:00 |
|
chriseth
|
851051c64a
|
Merge pull request #10228 from ethereum/issue-9565
Detect circular references for library and free functions
|
2021-03-30 23:49:22 +02:00 |
|
chriseth
|
d710e0b3af
|
Merge pull request #10937 from ethereum/customErrorDocumentation
Custom error documentation
|
2021-03-30 23:37:47 +02:00 |
|
Alex Beregszaszi
|
a99e0eb5cb
|
Move improvements to the NatSpec documentation
|
2021-03-30 22:09:21 +01:00 |
|
Mathias Baumann
|
e590a99f39
|
Detect circular references for library and free functions
|
2021-03-30 23:06:30 +02:00 |
|
chriseth
|
904dade4bd
|
Changelog entry.
|
2021-03-30 23:04:32 +02:00 |
|
chriseth
|
786ae2ceec
|
Use errors in examples.
|
2021-03-30 23:04:32 +02:00 |
|
chriseth
|
0c1be06cba
|
Documentation for custom errors.
|
2021-03-30 23:04:32 +02:00 |
|
chriseth
|
15fe07bebe
|
Merge pull request #10936 from ethereum/customErrorsABI
ABI and Natspec for errors
|
2021-03-30 23:04:09 +02:00 |
|
chriseth
|
4fd61927af
|
Merge pull request #11037 from ethereum/revertStatement
Revert statement.
|
2021-03-30 23:03:54 +02:00 |
|
chriseth
|
317eaf643c
|
Merge pull request #10987 from ethereum/customErrorDeclaration
Syntax for defining custom errors.
|
2021-03-30 23:03:36 +02:00 |
|
chriseth
|
79d7466e19
|
NatSpec for errors.
|
2021-03-30 21:16:58 +02:00 |
|
chriseth
|
517cd17a6f
|
Add errors to the ABI.
|
2021-03-30 21:16:58 +02:00 |
|
chriseth
|
d80059fb98
|
Skip certain test for grammar test.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
e877e2bba7
|
Use all referenced errors.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
1057fd5355
|
Take revert statement into account in control flow graph.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
d5669696d5
|
Code generation for errors.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
3353107779
|
Grammar for revert statement.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
b552e5aeeb
|
AST import and export for revert statement.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
fb67051467
|
Revert statement.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
b04b189959
|
Syntax for custom errors.
|
2021-03-30 21:15:18 +02:00 |
|
Martin Blicha
|
2d231f1859
|
[SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first
|
2021-03-30 20:35:44 +02:00 |
|
Leonardo
|
510bbaf672
|
Merge pull request #11122 from ethereum/smt_cex_local_vars
[SMTChecker] Show local variables in cex
|
2021-03-30 19:14:35 +02:00 |
|
Leonardo Alt
|
ba97d6ac4e
|
Add local vars to cex
|
2021-03-30 17:55:21 +02:00 |
|
Leonardo
|
a7e2a8acb2
|
Merge pull request #11145 from ethereum/smt_out_of_bounds
[SMTChecker] Add `out of bounds` verification target
|
2021-03-30 14:24:50 +02:00 |
|
Harikrishnan Mulackal
|
24536f7f8e
|
Merge pull request #11186 from ethereum/docs_readme
Docs: Update Readme "contact us" sentence and add social badges
|
2021-03-30 13:12:02 +02:00 |
|
Leonardo Alt
|
dbd067d6db
|
Report out of bounds index access
|
2021-03-30 10:28:48 +02:00 |
|
chriseth
|
2346ec1c0c
|
Merge pull request #11189 from ethereum/fix-top-ref-in-solc-bin-bytecode-pr-check
[solc-bin] Fix commit range used by bytecode PR check
|
2021-03-29 18:44:33 +02:00 |
|
Kamil Śliwak
|
d68d4727eb
|
Fix bytecode PR check ignoring TOP_REF and always using HEAD as the end of the commit range
|
2021-03-29 17:48:49 +02:00 |
|
chriseth
|
bb49bc5892
|
Merge pull request #10418 from ethereum/function-specializer
Function specializer
|
2021-03-29 15:48:01 +02:00 |
|
franzihei
|
7cac6f9011
|
Docs: Update Readme "contact us" sentence and social badges
|
2021-03-29 12:23:46 +02:00 |
|
chriseth
|
3598167499
|
Merge pull request #11185 from zayneio/docs-fix-typo
Fix typo in documentation
|
2021-03-29 11:15:36 +02:00 |
|
hrkrshnn
|
0100f48e05
|
FunctionSpecializer: skip specializing recursive functions
This avoids potential pathological behaviour, like in Ackermann function.
|
2021-03-29 11:02:31 +02:00 |
|
hrkrshnn
|
bd5e47dc55
|
Changelog and adding the name to the doc
|
2021-03-29 11:02:31 +02:00 |
|
hrkrshnn
|
2c75d1dfe4
|
Isoltest gas update for FunctionSpecializer
|
2021-03-29 11:02:31 +02:00 |
|
hrkrshnn
|
09998ceb0c
|
Tests for FunctionSpecializer
|
2021-03-29 11:02:18 +02:00 |
|
hrkrshnn
|
45a3747701
|
Added FunctionSpecializer to the optimization suite
|
2021-03-29 11:02:18 +02:00 |
|
hrkrshnn
|
22ebdc7438
|
Implemented FunctionSpecializer
Optimiser step that specializes the function with its literal arguments.
|
2021-03-29 11:02:18 +02:00 |
|
hrkrshnn
|
8564d08228
|
Added a helper class FunctionCopier in ASTCopier
Helper class that creates a copy of the function definition, replacing the names of the variable
declaration with a new name.
|
2021-03-29 11:02:18 +02:00 |
|
zayneio
|
3643024fb0
|
Fix typo in documentation
|
2021-03-28 17:02:18 -04:00 |
|
Kamil Śliwak
|
c37bf89384
|
Merge pull request #11180 from ethereum/fix-trace-diff-fp
Fix false positive caused by early termination due to nested expressi…
|
2021-03-26 23:00:42 +01:00 |
|
Alex Beregszaszi
|
f24b2254ed
|
Merge pull request #11177 from ethereum/doc-pygment
Update pygments-lexer-solidity to 0.7.0
|
2021-03-26 15:34:02 +00:00 |
|