solidity/libsolidity
Harikrishnan Mulackal 55d609d354
Merge pull request #11990 from ethereum/smt_user_types
[SMTChecker] Support user types
2021-09-22 15:40:49 +02:00
..
analysis Fill out originLocation with nativeLocation when importing Yul AST 2021-09-22 13:17:18 +02:00
ast Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
codegen Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
formal [SMTChecker] Support user types 2021-09-21 13:23:17 +02:00
interface Use function debug data. 2021-09-22 11:11:51 +02:00
parsing Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
CMakeLists.txt ControlFlowAnalyser: Also consider called functions in a flow 2021-06-01 15:54:37 +02:00