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
23,333 Commits 348 Branches 121 Tags
d08de34bd38607e22add7ba5b641679f19e5aada
Commit Graph
7164 Commits
Author SHA1 Message Date
Kamil Śliwak 593e207094 Merge pull request #14104 from ethereum/extract-parse-literal 
Refactor literal parsing before adding suffixes
 2023-04-12 14:52:04 +02:00
Daniel 6bc6ae94a6 Merge pull request #14050 from ethereum/contract-ast-internal-function-ids 
Annotate internal function IDs
 2023-04-12 14:11:39 +02:00
Kamil Śliwak c1fffa892d Parser: Extract literal parsing into a separate function 2023-04-12 12:30:05 +02:00
Kamil Śliwak 46457cfc25 Merge pull request #14103 from ethereum/extra-tests 
A few extra tests for operators, denominations and virtual functions
 2023-04-12 11:32:26 +02:00
hrkrshnn 41ce3feb0a test: some tests for push0 
1. `push0_disallowed.yul`: checks if `push0()` is a valid builtin in strict Yul
2. `push0_disallowed.sol`: checks if `push0()` is a valid builtin in inline assembly
3. `push0.sol`: simple semantic test that returns 0
4. `evmone_support.sol`: tests if push0 works properly in evmone
5. Updated some bytecode too large tests to use `shanghai` as version
6. Updated various tests where `push1 0` was hardcoded in different forms / expectations on bytecode
size (`Assembler.cpp`, `GasCosts.cpp`, `SolidityCompiler.cpp`, `SolidityExpressionCompiler.cpp`)
 2023-04-12 00:10:24 +02:00
Kamil Śliwak 66fcd542bc Tests for denominations in array sizes 2023-04-07 14:54:09 +02:00
Kamil Śliwak fc7cd54849 Tests for changing virtual function mutability when overriding 2023-04-07 14:49:55 +02:00
Kamil Śliwak 5687f6e934 Tests for literal denominations with non-integer literals 2023-04-07 14:48:13 +02:00
Kamil Śliwak 8dd6f77692 Extra test for operator cleanup 2023-04-07 14:47:34 +02:00
Kamil Śliwak e29a68d374 Merge pull request #14098 from ethereum/workaround-oz-ext-test-2 
Skip `TransparentUpgradeableProxy` openzeppelin external tests due to partial viaIR support in Hardhat
 2023-04-06 15:53:33 +02:00
Kamil Śliwak a902c09cb7 Merge pull request #14086 from ethereum/gnosis-ext-workaround 
Skip via-ir with yul optimizer for Gnosis external tests
 2023-04-06 15:52:15 +02:00
Rodrigo Q. Saramago f404eb0349 More openzeppelin workarounds 2023-04-06 13:23:36 +02:00
Rodrigo Q. Saramago 33b07c5dc6 Skip via-ir with yul optimizer for Gnosis external tests 2023-04-05 21:27:31 +02:00
Kamil Śliwak 9020efec58 Merge pull request #14087 from ethereum/better-error-for-invalid-call 
Better error message when trying to call things that are not functions
 2023-04-05 17:38:10 +02:00
Christian Parpart be8752b5d3 Adds natspec to AST for enum definition. 2023-04-05 14:58:32 +02:00
Kamil Śliwak a019f400d0 Better error message when trying to call things that are not functions 2023-04-04 17:30:37 +02:00
Kamil Śliwak 79d975a77d Merge pull request #14078 from ethereum/fix_missing_keyword_unicode 
Fix missing keyword `unicode` in grammar
 2023-04-03 12:53:20 +02:00
Matheus Aguiar 4aa310034c Added missing keyword unicode to Lexer 2023-03-28 13:51:43 -03:00
Leo Alt ce9a7ee954 update smtchecker tests 2023-03-28 18:23:54 +02:00
Matheus Aguiar 0158de60be Refactored NumberUnit and FunctionDefinition. Added OctalNumber. Fixed number followed by identifier with no whitespace. 2023-03-24 16:19:33 -03:00
Rodrigo Q. SaramagoandDaniel a0e62bbd3d Annotate function ID of functions that may be called via the internal dispatch. 
Co-authored-by: Daniel <daniel@ekpyron.org>
 2023-03-20 20:14:41 +01:00
chriseth fac5666dc9 Re-implement unused assign / unused store eliminator. 2023-03-20 13:49:37 +01:00
Francois-Rene Rideau acaa019785 Keep test/lsp.py working when not on a tty 2023-03-19 16:09:42 -04:00
Leo Alt 6c58f31b4a add cli tests 2023-03-15 17:52:58 +01:00
Leo Alt aacbe72079 group unsupported warnings 2023-03-15 17:06:06 +01:00
Leo Alt 21c0f78650 Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
Rodrigo Q. Saramago f974dbc205 Update openzeppelin skipped tests that depends on hardhat via-ir full support 2023-03-07 18:50:48 +01:00
Bhargava Shastry 1ac3abfbb7 Strict assembly fuzzer: Change optimization setting from full to minimal. 2023-02-24 22:42:07 +01:00
wechman aba5ac5e2a User-defined operators: Tests 2023-02-22 00:40:03 +01:00
Kamil Śliwak fa0d3a44a7 Tests for using enums and fixed-point types as user-defined types 2023-02-21 23:42:22 +01:00
Kamil Śliwak 38b5ae578b Fix typo in test name: singed -> signed 2023-02-21 21:30:03 +01:00
Daniel Kirchner 4064116df4 Do not duplicate subassemblies. 
Add LinkerObject check and more tests
 2023-02-20 22:20:45 +01:00
Kamil Śliwak 973eda17b4 Merge pull request #13977 from ethereum/revert-openzeppelin-time-workaround 
Remove openzeppelin workaround
 2023-02-17 14:13:17 +01:00
Rodrigo Q. Saramago 228c355424 Remove openzeppelin workaround 2023-02-16 13:10:21 +01:00
chriseth 01b10e2515 Gas updates. 2023-02-15 21:33:06 +01:00
chriseth 07750ea23a More aggressive runtime code exclusion. 2023-02-15 21:33:06 +01:00
Kamil Śliwak e147654f92 Merge pull request #13971 from ethereum/improve-error-reporting-for-wrong-constructor-arguments 
Improve error messages for wrong constructor arguments
 2023-02-15 20:39:59 +01:00
Rodrigo Q. Saramago ceaa7b53da Skipping flaky openzeppelin tests 2023-02-15 18:54:15 +01:00
Kamil Śliwak 1a981af548 Only suggest removing parentheses from a construction call if they're empty 2023-02-15 14:27:03 +01:00
Kamil Śliwak 73183d3df9 Fix missing base constructor arguments being treated as an unimplemented function 2023-02-15 14:27:03 +01:00
Kamil Śliwak bc3cbfa18d Add more tests tests for calls to base constructor with missing or wrong arguments 2023-02-15 14:17:55 +01:00
Kamil Śliwak 16bc4c6b5f Fix test for replacing base constructor 2023-02-15 14:17:55 +01:00
Daniel 7cd589eee4 Merge pull request #13961 from ethereum/fix-external-test-gp2 
gp2 external test workaround
 2023-02-13 21:36:36 +01:00
chriseth 91b14174d8 Merge pull request #13702 from ethereum/new_knowledge_engine 
Re-implement KnowledgeBase using groups of constantly-spaced variables.
 2023-02-13 20:05:47 +01:00
Rodrigo Q. Saramago a5166f0a19 gp2 external test workaround 2023-02-11 17:16:03 +01:00
Leo 59f9ab4dee Merge pull request #13939 from pgebal/fix_handling_bitwise_operators_when_parsing_z3_call_result 
Fixes handling bitwise operators for z3 model checker
 2023-02-09 12:16:28 +01:00
chriseth 695b250557 Update gas costs. 2023-02-09 10:47:12 +01:00
chriseth 47aa1c65ae Re-implement KnowledgeBase using groups of constantly-spaced variables. 2023-02-09 10:47:11 +01:00
Pawel Gebal a38549dc19 Fixes handling bitwise operators for z3 model checker 2023-02-08 18:37:17 +01:00
Leo Alt db9c11a2a5 fix abstract nondet exception 2023-02-08 16:59:37 +01:00