formal « libsolidity - dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

Mode	Name	Size
-rw-r--r--	CVC4Interface.cpp	5225	log stats plain blame
-rw-r--r--	CVC4Interface.h	1951	log stats plain blame
-rw-r--r--	SMTChecker.cpp	34684	log stats plain blame
-rw-r--r--	SMTChecker.h	9127	log stats plain blame
-rw-r--r--	SMTLib2Interface.cpp	5395	log stats plain blame
-rw-r--r--	SMTLib2Interface.h	2199	log stats plain blame
-rw-r--r--	SMTPortfolio.cpp	4470	log stats plain blame
-rw-r--r--	SMTPortfolio.h	1787	log stats plain blame
-rw-r--r--	SSAVariable.cpp	913	log stats plain blame
-rw-r--r--	SSAVariable.h	1298	log stats plain blame
-rw-r--r--	SolverInterface.h	7060	log stats plain blame
-rw-r--r--	SymbolicAddressVariable.cpp	1296	log stats plain blame
-rw-r--r--	SymbolicAddressVariable.h	1068	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.cpp	1317	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.h	1211	log stats plain blame
-rw-r--r--	SymbolicIntVariable.cpp	1546	log stats plain blame
-rw-r--r--	SymbolicIntVariable.h	1191	log stats plain blame
-rw-r--r--	SymbolicTypes.cpp	3416	log stats plain blame
-rw-r--r--	SymbolicTypes.h	1713	log stats plain blame
-rw-r--r--	SymbolicVariable.cpp	1160	log stats plain blame
-rw-r--r--	SymbolicVariable.h	1930	log stats plain blame
-rw-r--r--	VariableUsage.cpp	2272	log stats plain blame
-rw-r--r--	VariableUsage.h	1290	log stats plain blame
-rw-r--r--	Z3Interface.cpp	4517	log stats plain blame
-rw-r--r--	Z3Interface.h	1585	log stats plain blame