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
20,381 Commits 348 Branches 121 Tags
add-break-continue
Commit Graph
349 Commits
Author SHA1 Message Date
chriseth 29a995b937 Merge pull request #11433 from ethereum/panic-dedup 
Insert a call to panic function in legacy codegen (and not inline it every single time)
 2021-05-31 11:23:30 +02:00
Alex Beregszaszi 47167a42a7 Update tests 2021-05-27 18:31:54 +01:00
Leo Alt cb017b95cf update tests 2021-05-26 22:12:49 +02:00
chriseth f9c94d7c42 Note function entry points. 2021-05-04 17:15:13 +02:00
chriseth aded56b5b9 Update tests 2021-05-03 18:28:43 +02:00
chriseth 2e274a0b26 Add commandline test to show debug strings. 2021-05-03 18:28:39 +02:00
chriseth 426d60f07b Commandline test updates. 2021-04-29 16:46:25 +02:00
chriseth f30ef06d62 Update tests. 2021-04-29 15:08:54 +02:00
chriseth cb1af8b88a Make verbatim compatible with KnownState. 2021-04-26 19:56:44 +02:00
chriseth e2d8005737 Add verbatim builtin. 2021-04-26 19:56:44 +02:00
Alex Beregszaszi 73b804aff4 Update tests 2021-04-23 15:54:10 +01:00
hrkrshnn b636ef881e Added command line tests for keccak optimization with low runs 
The value of keccak256(0, 32) should not be replaced by the big constant
 2021-04-22 18:19:47 +02:00
hrkrshnn 221292c278 Tests and changelog 2021-04-22 18:19:47 +02:00
chriseth 314f361d07 Update commandline tests. 2021-04-22 16:54:02 +02:00
chriseth 35b651103d Adjust cost of literal zero. 2021-04-22 11:42:42 +02:00
Leonardo 7bbf3a694b Merge pull request #11261 from ethereum/smt_choose_target 
[SMTChecker] Add option to choose contracts to be analyzed
 2021-04-21 13:11:33 +02:00
Djordje Mijovic d03744489f Update cmdline tests. 2021-04-21 11:01:22 +02:00
Leonardo Alt dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
chriseth 6a0a51110d Merge pull request #11256 from ethereum/smt_target_array 
Change settings.modelChecker.targets to take an array instead of string
 2021-04-19 18:47:06 +02:00
Leonardo Alt e3abde43f5 Change settings.modelChecker.targets to take an array instead of string 2021-04-19 17:53:03 +02:00
Kamil Śliwak 0d4871ad10 Prevent adding '-' CLI flag to allowed paths as if it was an actual file 
- This resulted in a bug where using stdin was effectively disabling allowed path checks.
 2021-04-19 16:58:48 +02:00
Kamil Śliwak 2abd3073d4 Merge pull request #11235 from ethereum/cmdline-tests-for-stdin 
Allow using stdin in cmdlineTests
 2021-04-19 16:21:43 +02:00
chriseth 8eb0d5edf6 Export used errors in the AST. 2021-04-19 14:15:50 +02:00
Kamil Śliwak 59ef75cf5a cmdlineTests: Allow providing content of the standard input when not testing via Standard JSON 2021-04-13 13:37:12 +02:00
Kamil Śliwak 4e4f46cde5 cmdlineTests: Allow tests with no input file 2021-04-13 13:37:12 +02:00
Kamil Śliwak 6a41b417a3 FileReader: Store files loaded by the callback under their source unit name 2021-04-13 13:25:59 +02:00
chriseth 2ed17e4b43 Update tests. 2021-04-12 13:43:56 +02:00
Leonardo Alt ad10bee8f0 update command line tests 2021-04-08 21:03:39 +02:00
chriseth 0cc0cabd30 Merge pull request #11224 from ethereum/lastAllocationUnbounded 
Use unbounded allocation before returning.
 2021-04-08 19:32:40 +02:00
Daniel Kirchner 96c8123b6b Use unbounded allocation before returning. 2021-04-08 18:37:24 +02:00
Daniel Kirchner 4b0f8383a6 Reuse function argument slots and defer allocation of return variable slots in EVMCodeTransform. 2021-04-06 13:38:05 +02:00
Martin Blicha 330fb8f4d0 [SMTChecker] Assignment refactoring 2021-03-31 13:36:50 +02:00
Leonardo Alt dbd067d6db Report out of bounds index access 2021-03-30 10:28:48 +02:00
hrkrshnn 09998ceb0c Tests for FunctionSpecializer 2021-03-29 11:02:18 +02:00
Daniel Kirchner 8b3095920a Inline ordinary jumps to small blocks and jumps to terminating control flow. 2021-03-24 13:50:24 +01:00
chriseth 7aa51bcb40 Test updates. 2021-03-18 08:42:49 +01:00
hrkrshnn 6d9e9e1b1e Fix small bug in GasMeter calculation in creation context 
Old calculation did not ignore `optimize-runs` parameter, when creation code gas computations were
done. This would lead to expanding values such as `shl(180, 1)` inside constructor code, even for
the default value for `--optimize-runs`, i.e., 200.
 2021-03-17 12:33:10 +01:00
chriseth ad5d34df74 Merge pull request #11071 from ethereum/fixCRInSourceRefFor 
Fix handling of carriage return.
 2021-03-09 17:52:34 +01:00
chriseth eb85a4414c Fix handling of carriage return. 2021-03-09 15:33:12 +01:00
chriseth 40c27ccc22 Move AND with constant inside OR. 2021-03-09 15:26:19 +01:00
chriseth 612d8184d1 Update tests. 2021-02-16 15:50:48 +01:00
chriseth 70aa111dbf Update AST Json expectations. 2021-02-11 10:11:24 +01:00
Christian Parpart 32ba5f5ae7 libsolidity: Extend the AST for named AST nodes in order to get precise locations for names. 
The actual SourceLocation on an ASTNode is representing the whole
ASTNode whereas in an LSP (for example) you are also interested in the
SourceLocation of a name of a construct (e.g. variable decarlation, function definition, ...).

This also properly encodes non-existend sources as `-1` in the JSON output (eliminating the use of `numeric_limits<size_t>::max()`).
 2021-02-10 18:13:09 +01:00
Daniel Kirchner cb74a45fd6 Add inlining for old optimizer. 2021-02-09 19:08:58 +01:00
hrkrshnn 8167029dc1 Updating tests after improving Yul error reporting 2021-02-09 16:55:33 +01:00
Martin Blicha a49950cdf3 [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
chriseth c7d1e1911e Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance 
[ewasm] Polyfill: balance, address.
 2021-02-01 16:19:23 +01:00
Martin Blicha deb90d84a6 [SMTChecker] added missing type constraints for Address 2021-01-27 20:39:24 +01:00
chriseth 4697beeab2 Merge pull request #10769 from ethereum/allocationCleanup 
Cleanup allocation.
 2021-01-26 11:58:11 +01:00
chriseth 1adaf929dd Merge pull request #10707 from ityuhui/yh-721-replace-colon-in-cli 
[CLI] Accept also equal sign "=" for ``--libraries``
 2021-01-26 08:17:26 +01:00