cerc-io/solidity
16
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
5a3a5c746f
solidity/libsolidity
History
chriseth 5a3a5c746f
Merge pull request #11864 from ethereum/protectViaIR 
Add protection against mixing "viaIR" and "non-viaIR".
2021-09-22 16:16:11 +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 Add protection against mixing "viaIR" and "non-viaIR". 2021-09-22 15:34:39 +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