Christian Parpart
|
4105b0a587
|
LSP: Introduce HandlerError(id, code, message) exception for easier handling.
|
2022-01-05 11:04:40 +01:00 |
|
chriseth
|
e3bb5ab7b2
|
Merge pull request #12431 from ethereum/fixFun2
Safer constructors for FunctionType
|
2022-01-04 18:18:21 +01:00 |
|
chriseth
|
692614df72
|
Merge pull request #12437 from ethereum/encodeCallForDeclarations
abi.encodeCall for declarations.
|
2021-12-29 18:40:18 +01:00 |
|
Leo
|
048a8f4d28
|
Merge pull request #12455 from ethereum/smt_analyze_contracts
[SMTChecker] Do not analyze unecessary contracts
|
2021-12-29 15:14:35 +01:00 |
|
Marenz
|
b95db2db5e
|
Remove unnecessary checks in modifier resolve function
|
2021-12-29 13:27:10 +01:00 |
|
chriseth
|
4c838d9cf5
|
abi.encodeCall for declarations.
|
2021-12-29 12:26:04 +01:00 |
|
Leo Alt
|
fb8c138b8b
|
Do not analyze unecessary contracts
|
2021-12-24 19:36:32 +01:00 |
|
chriseth
|
7620bfaad8
|
Add option member for function type.
|
2021-12-23 12:05:18 +01:00 |
|
chriseth
|
f94279a437
|
Use options struct for function type factory function.
|
2021-12-23 12:05:14 +01:00 |
|
chriseth
|
4fa8eee683
|
Use function names instead of members.
|
2021-12-23 11:55:33 +01:00 |
|
chriseth
|
ef6dd2ec50
|
Merge pull request #12433 from ethereum/removeConstexpr
Remove constexpr.
|
2021-12-21 16:03:58 +01:00 |
|
mejsiej
|
ddd9a84141
|
Improve failure message when generating getter.
|
2021-12-20 18:16:27 +01:00 |
|
chriseth
|
c374d27eec
|
Remove constexpr.
|
2021-12-20 17:30:20 +01:00 |
|
chriseth
|
3193dfbb5d
|
Merge pull request #11350 from ethereum/lsp
Language Server
|
2021-12-16 18:54:26 +01:00 |
|
Christian Parpart
|
927b24df1f
|
Initial implementation of Language Server
|
2021-12-16 17:52:49 +01:00 |
|
Marenz
|
7a96953e78
|
Implement typechecked abi.encodeCall()
|
2021-12-16 17:35:58 +01:00 |
|
nishant-sachdeva
|
9b55d4788e
|
Added sameType check for fromType and toType in YulUtilFunctions.cpp and relevant tests in semanticTests
|
2021-12-15 23:50:25 +05:30 |
|
Leo Alt
|
316be7206f
|
Fix soundness of storage/memory pointers that were not erasing enough knowledge
|
2021-12-14 12:02:18 +01:00 |
|
chriseth
|
c0b41cfcdd
|
Add const and file name.
|
2021-12-13 17:33:48 +01:00 |
|
chriseth
|
0e6388a907
|
Clarify FileReader interface.
|
2021-12-13 14:54:58 +01:00 |
|
nishant-sachdeva
|
a4fbc607c6
|
Issue 11610 : Replced typeError with fataTypeError in lines 390 and 406. Test file added in test/libsolidity/syntaxTests/calldata_struct_argument_with_internal_type_inside.sol
Issue : 11610 : Test cases updated, Changelog.md file updated to include change on 0.8.11
|
2021-12-03 12:23:35 +05:30 |
|
Leo Alt
|
16535aae32
|
Fix ICE when unsafe targets are solved more than once and the cex is different
|
2021-12-03 00:21:38 +01:00 |
|
chriseth
|
b6bd85202c
|
Accessors for exceptions.
|
2021-12-01 14:26:23 +01:00 |
|
chriseth
|
1633e367c9
|
Merge pull request #12199 from ethereum/expose-parsingAndImporting
Expose "parsingAndImporting" setting to user
|
2021-11-08 17:06:20 +01:00 |
|
Marenz
|
fc224f74c7
|
Evaluate absolute paths for imports in 'parsing' stage
|
2021-11-08 16:34:02 +01:00 |
|
chriseth
|
a1aa9d2d90
|
Skip extcodesize check if return data is expected.
|
2021-11-08 14:58:09 +01:00 |
|
chriseth
|
f9ba1bf3c8
|
Merge pull request #12227 from ethereum/smt_fix_gas
Fix ICE in CHC when using gas in the function options
|
2021-11-08 11:54:20 +01:00 |
|
Leo
|
58688bd9c1
|
Merge pull request #12167 from ethereum/smt_merge_query_entry_points
[SMTChecker] Merge all entry points for a target
|
2021-11-03 16:43:16 +01:00 |
|
Leo Alt
|
dff280cadc
|
Fix ICE in CHC when using gas in the function options
|
2021-11-03 15:40:54 +01:00 |
|
Daniel Kirchner
|
4229369180
|
Compatibility with StackCompressor and StackLimitEvader.
|
2021-11-03 12:39:55 +01:00 |
|
Leo Alt
|
e40cf92b1d
|
[SMTChecker] Merge all entry points for a target
|
2021-11-03 11:12:58 +01:00 |
|
chriseth
|
8e208f23cb
|
Fix assignment of return variables from modifiers.
|
2021-11-01 14:14:50 +01:00 |
|
David Dzhalaev
|
79ffa16a61
|
Improve error message for contract size limit error
|
2021-10-27 20:06:53 +02:00 |
|
hrkrshnn
|
8815d6f5f0
|
Moved a check related to constants to TypeChecker
And added a proper error message when constant types containing (nested) mapping types are used.
|
2021-10-26 18:43:04 +02:00 |
|
hrkrshnn
|
51009c005d
|
Moved a canBeStored assert for struct members to TypeChecker
This is to avoid a assert from failing for forward declared user defined value types.
|
2021-10-26 18:43:04 +02:00 |
|
hrkrshnn
|
9428dbc94f
|
Moved storage size assert to TypeChecker from DeclarationTypeChecker
|
2021-10-26 18:43:04 +02:00 |
|
Leo Alt
|
37215ffcfd
|
Add SMTCheckerTest isoltest option to ignore invariants
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
3118fb3666
|
Add invariants option to CLI and JSON
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
d419c30ca6
|
Add errorCode list to invariants report
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
49e7627bd3
|
Use invariants in CHC
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
bc90533c93
|
Add invariants to ModelCheckerSettings
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
d554824f70
|
Add Invariants which traverses the proof and collects invariants for the given predicates
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
9bcd2c18e4
|
Add expression substitution to Predicate
|
2021-10-26 11:30:30 +02:00 |
|
Leo Alt
|
ce72d7cd26
|
Add ExpressionFormatter which translates an smtutil::Expression into a Solidity-like expression string
|
2021-10-26 11:30:30 +02:00 |
|
Kamil Śliwak
|
fdf3b96e3f
|
Merge pull request #12155 from vowchick/develop
Use range-v3 loops: delete boost includes
|
2021-10-16 12:03:43 +02:00 |
|
vowchick
|
5d985a24ac
|
Use range-v3 loops: delete boost includes
An addition to issue #10738, couldn't change boost::for_each to
std::for_each, doesn't compile.
Build successful
./scripts/test.sh successful
|
2021-10-16 11:54:46 +03:00 |
|
tcoyvwac
|
ba0c09e082
|
Prefer make_unique over new
|
2021-10-15 19:46:47 +02:00 |
|
chriseth
|
1e630fc584
|
Merge pull request #12082 from ethereum/controlFlowSideEffectsUserDefined
Control flow side effects of user defined functions
|
2021-10-14 18:28:22 +02:00 |
|
chriseth
|
9417d6775f
|
Control flow side-effects for user-defined functions.
|
2021-10-14 17:46:07 +02:00 |
|
Christian Parpart
|
86a7e19879
|
libsolidity: Adding a comment to nameLocation().
|
2021-10-14 17:33:15 +02:00 |
|