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,924 Commits 348 Branches 121 Tags
yulDataFlowGraph
Commit Graph
4839 Commits
Author SHA1 Message Date
Leo Alt 61160aa0e7 Add constraints correlating address(this).balance and msg.value 2021-08-25 21:10:08 +02:00
Leo Alt 718f392849 Don't erase things for BMC if function call is staticcall 2021-08-25 14:09:46 +02:00
Leo Alt a55685c04f Erase balances when delegatecall is seen 2021-08-25 12:39:26 +02:00
soroosh-sdi b0ce98bcb2 Using range-v3 instead of boost 
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
 2021-08-24 23:50:23 +04:30
soroosh-sdi 0417ee2a21 Replace boost::adaptors with range-v3 
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
 2021-08-24 13:07:26 +04:30
Kamil Śliwak 6b7857d56b Merge pull request #11650 from ethereum/boost-path-in-read-file-as-string 
Use `boost::filesystem::path` in `readFileAsString()`
 2021-08-20 19:45:54 +02:00
Leo Alt d89d63bf9c Use the nondeterministic interface also for BARECALL 2021-08-19 16:34:01 +02:00
Marenz 121fd40f74 Allow reading of immutables during construction time 2021-08-19 13:59:05 +02:00
Kamil Śliwak cb1a0f08ca readFileAsString(): Accept path as boost::filesystem::path instead of string 2021-08-17 12:58:33 +02:00
chriseth 94c4e1e172 Simplify yul conversion function even more. 2021-08-16 22:24:06 +02:00
chriseth fe0d027d45 Merge pull request #11785 from ethereum/someMoreBaseFees 
Some more base fees.
 2021-08-12 19:48:10 +02:00
Leo Alt 6ee60aa628 Fix false positive on external calls from constructors 2021-08-12 18:51:55 +02:00
chriseth 90c4623460 Some more base fees. 2021-08-12 16:37:21 +02:00
chriseth ccdc11ea5b Merge pull request #11741 from ethereum/shadowing_inlineasm_fix_yul_codegen 
Fixed inline assembly external identifier access.
 2021-08-12 14:38:24 +02:00
Leo Alt 10397e440c Fix ICE in constants 2021-08-12 10:53:01 +02:00
chriseth a4c94a1b5b Fixed inline assembly external identifier access. 2021-08-11 18:18:29 +02:00
hrkrshnn 95091f6b58 Implemented block.basefee in Solidilty and basefee() in Yul. 
Also added basefee to Yul grammar.
 2021-08-09 16:18:08 +02:00
Leo Alt ee6285d6d7 Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
Leo Alt 08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
chriseth db85849648 Merge pull request #11737 from ethereum/fix_shift_cleanup 
Yul: Fix cleanup for left shift of bytes types.
 2021-08-05 12:55:42 +02:00
chriseth 6b888b531b Refactor conversion function. 2021-08-05 11:48:35 +02:00
chriseth 0112fed73b Yul: Fix cleanup for left shift of bytes types. 2021-08-05 10:54:48 +02:00
chriseth 467cbf92bc Only provide code generator to CodeTransform. 2021-08-04 18:38:10 +02:00
Leo Alt 3c1f555f71 Tests 2021-08-04 13:54:50 +02:00
Leo Alt 41087f3195 Add CLI and JSON option to show unproved targets 2021-08-04 13:54:50 +02:00
Leo Alt 685d7a8c99 Bundle all unproved targets in a single message and only show all if setting chooses that 2021-08-04 13:54:50 +02:00
chriseth ae519c1278 Merge pull request #11658 from ethereum/removeScannerFromCompilerStack 
Remove scanner from compiler stack
 2021-08-03 17:47:39 +02:00
Christian Parpart d203c80abd Eliminate unnecessary m_source from Parser 2021-08-03 16:03:45 +02:00
Christian Parpart 6294aa871a Simplify AsmParser::parse(.) usage 2021-08-03 15:43:17 +02:00
chriseth ffc5cfd9a5 Remove scanner from compiler stack. 2021-08-03 15:43:17 +02:00
Mathias Baumann 2ee6c7be64 Print @src and @use-src locations in AsmPrinter 2021-08-03 15:29:52 +02:00
Leo Alt 6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Ladislav Sladecek 9bbeea58c8 Make --pretty-json work with Standard JSON output 2021-07-26 16:00:46 +02:00
Kamil Śliwak 6d6c9e6e4f Merge pull request #11660 from ethereum/docs-fix-badly-indented-lists-and-blocks 
[Docs] Fix badly indented lists and blocks
 2021-07-21 18:35:19 +02:00
Mathias Baumann bf204403d8 Add "@use-src" header for generated yul code 2021-07-15 14:26:01 +02:00
Marenz 57db4c82ba Fix: Use correct byte offset separation 
":" instead of ","
 2021-07-15 13:15:21 +02:00
Kamil Śliwak ce79e2515b docs: Fix badly indented lists 2021-07-15 10:13:30 +02:00
Kamil Śliwak 6753c8f624 Rename escapeAndQuoteYulString() back to escapeAndQuoteString() 2021-07-14 21:29:01 +02:00
chriseth e3525b81d0 Supply scanner to model checker. 2021-07-14 15:12:10 +02:00
chriseth 01dc77e5a2 Properly assign source names for AST import. 2021-07-14 15:12:10 +02:00
chriseth f75b55071e Remove CharStream from SourceLocation. 2021-07-14 15:12:07 +02:00
Christian Parpart 132fa46faa Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations. 2021-07-09 11:48:00 +02:00
Daniel Kirchner 0a6fc89da2 Fix negation function name collision. 2021-07-08 10:47:29 +02:00
chriseth 566537835b Merge pull request #11627 from ethereum/allowEmptyFileName 
Include locations with empty source name.
 2021-07-07 12:52:49 +02:00
chriseth 6ba298c82b Include locations with empty source name. 2021-07-07 12:13:52 +02:00
Kamil Śliwak 7d16c7b127 Equality operators for ModelCheckerSettings and ImportRemapper 2021-07-06 17:17:18 +02:00
chriseth 09578e7e22 Merge pull request #11550 from ethereum/runs-constant 
Constant for default --runs
 2021-07-06 10:44:07 +02:00
chriseth 54b1c667f1 Merge pull request #11595 from ethereum/issue-11526 
Fix yul codegen bug when using binary negation.
 2021-06-30 11:55:42 +02:00
Mathias Baumann c47d02066c Fix yul codegen bug when using binary negatition. 2021-06-29 17:41:03 +02:00
chriseth eaac16c779 Merge pull request #11590 from ethereum/disallow-non-hex-zero-and-fix-bytes32-literals-in-bytes-concat 
Disallow non-hex zero literals and fix 32-byte hex literals in `bytes.concat()`
 2021-06-29 16:34:26 +02:00