Commit Graph

22825 Commits

Author SHA1 Message Date
wechman
c6ad99c3b1 Add FunctionCallGraph unit tests for user defined operators 2022-09-28 13:06:25 +02:00
wechman
fee6b5f96c Type::userDefinedOperator takes return parameters into account 2022-09-28 13:06:25 +02:00
wechman
e8243d49bc Library function can be used as user operator 2022-09-28 13:06:25 +02:00
wechman
7d12eb5745 Add user operator test cases 2022-09-28 13:06:25 +02:00
wechman
3be5114fb0 Update code to review comments 2022-09-28 13:06:25 +02:00
wechman
c1dc8df9c9 Adjust code to review findings 2022-09-28 13:06:25 +02:00
wechman
a8bf1f255d Adjust code to review findings 2022-09-28 13:06:25 +02:00
wechman
1084a34f28 Add control flow tests for "and" and "or" operators 2022-09-28 13:06:25 +02:00
wechman
43a612e420 Fix control flow check for unary operators 2022-09-28 13:06:20 +02:00
wechman
6c4325ca03 Add tests for ViewPureChecker with custom operators 2022-09-28 12:10:27 +02:00
wechman
545013898e Remove duplicated test 2022-09-28 12:10:27 +02:00
wechman
c7d41fd595 Update tests after error handling adjustment 2022-09-28 12:10:27 +02:00
wechman
8307b670cb Handle not unique operators for user-defined type. 2022-09-28 12:10:27 +02:00
wechman
8272da0aea Add test: operator_parameter_with_wrong_data_location 2022-09-28 12:10:27 +02:00
wechman
61075e28db Minor code adjustments in ExpressionCompiler and IRGeneratorForStatements 2022-09-28 12:10:27 +02:00
wechman
beae1e6263 Disallow overriding operators for enums 2022-09-28 12:10:27 +02:00
wechman
275a43068c Update ViewPureChecker 2022-09-28 12:10:27 +02:00
wechman
c274d07a73 Remove out of date TODOs 2022-09-28 12:05:41 +02:00
wechman
f9a6da293f Update solidity grammar parser 2022-09-28 12:05:41 +02:00
wechman
d3d28e96a8 Update code to review comments 2022-09-28 12:05:41 +02:00
wechman
dd251379e7 Update multiple_custom_operators_same_contract 2022-09-28 12:05:41 +02:00
wechman
cf82accb14 Fix binary operation type checking function 2022-09-28 12:05:41 +02:00
wechman
73d9146077 Fix for ControlFlowBuilder 2022-09-28 12:05:41 +02:00
wechman
7fedb63dd3 Adjust type checking 2022-09-28 12:05:41 +02:00
wechman
56bcb525bc Unary operators with using for directive fix 2022-09-28 12:05:41 +02:00
wechman
6482f5bb17 Use user defined function return type as user defined operator type 2022-09-28 11:32:03 +02:00
Matheus Aguiar
58d19a51c6 Added few tests. 2022-09-28 11:32:03 +02:00
chriseth
3bd047f188 Using for for operators. 2022-09-28 11:32:03 +02:00
Alex Beregszaszi
2201526a90
Merge pull request #13533 from ethereum/evmhost-create
EVMHost: Calculate address for CREATE properly
2022-09-28 02:14:18 +02:00
Alex Beregszaszi
0357cedb5c Update tests and include new for create/create2 calculation 2022-09-27 22:31:46 +02:00
Alex Beregszaszi
9aa304d43a EVMHost: Calculate address for CREATE properly 2022-09-27 22:31:45 +02:00
Alex Beregszaszi
5f8b48793c
Merge pull request #13571 from ethereum/explicit-fixedhash
Drop implicit alignment argument from FixedHash (and improve FunctionSelector helpers)
2022-09-27 22:30:34 +02:00
Alex Beregszaszi
2a41295d03 Drop implicit alignment argument from FixedHash 2022-09-27 17:58:32 +02:00
Alex Beregszaszi
725253551e Improve FunctionSelector helpers 2022-09-27 17:58:32 +02:00
Alex Beregszaszi
d1b8991c03
Merge pull request #13565 from ethereum/evmc-cleanup
EVMHost: a few more simplifications
2022-09-27 17:56:05 +02:00
Alex Beregszaszi
cb5c559392
Merge pull request #13567 from ethereum/ranges-filter
Replace use of boost::adapters::filtered with ranges::views::filter
2022-09-27 17:34:19 +02:00
Alex Beregszaszi
0f484ec93b Replace use of boost::algorithm::all_of with ranges::all_of 2022-09-27 03:33:13 +02:00
Alex Beregszaszi
8230022e18 Remove unused include of boost/variant 2022-09-27 03:27:37 +02:00
Alex Beregszaszi
565423c934 Replace use of boost::adapters::filtered with ranges::views::filter 2022-09-27 03:14:17 +02:00
Alex Beregszaszi
311b2054af
Merge pull request #13556 from GeorgePlotnikov/fix-cvc4-bitvector-ctor-ambigious-call
Update ambiguous CVC4::BitVector ctor call
2022-09-27 00:00:29 +02:00
George Plotnikov
44a2dd864f Update CVC4::BitVector ctor call 2022-09-26 23:03:42 +02:00
Alex Beregszaszi
50182d7ee0 EVMHost: replace precompileALTBN128PairingProduct with mapping 2022-09-26 21:39:18 +02:00
Alex Beregszaszi
f40d1d654d EVMHost: Add size%192 check to bn128pairing
And also refactor resultWithFailure
2022-09-26 21:06:33 +02:00
Alex Beregszaszi
8b7010872c
Merge pull request #13562 from ethereum/evmc-cleanup
EVMHost: Simplify some code and document functions
2022-09-26 18:42:14 +02:00
Alex Beregszaszi
c967a621eb EVMHost: Reduce code duplication in precompiles 2022-09-26 15:38:55 +02:00
Christian Parpart
70aa3aed04
Merge pull request #13540 from ethereum/lsp-require
renames lspAssert() to lspRequire + documentation
2022-09-26 15:06:23 +02:00
Christian Parpart
d07c596f42 Renaming lspAssert to lspRequire plus adding some documentation to make it more clear what this function is supposed to be used for. 2022-09-26 12:14:56 +02:00
Alex Beregszaszi
a260000a16 EVMHost: Make it clear which MockedHost helpers are used
And also remove unused helpers.
2022-09-26 02:05:40 +02:00
Alex Beregszaszi
e3c7369413 EVMHost: Simplify some code and dcoument functions 2022-09-26 01:59:52 +02:00
Kamil Śliwak
3ddf5db755
Merge pull request #13548 from gnattishness/060-opcode-breaking-changes
Add v0.6.0 change notes for inline assembly opcode syntax changes.
2022-09-23 17:32:33 +02:00