chriseth 9f8406ad37 Add protection against mixing "viaIR" and "non-viaIR".		2021-09-22 15:34:39 +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 constants via modules	2021-09-16 14:35:05 +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