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	32996	log stats plain blame
-rw-r--r--	SMTChecker.h	8838	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	908	log stats plain blame
-rw-r--r--	SSAVariable.h	1273	log stats plain blame
-rw-r--r--	SolverInterface.h	7060	log stats plain blame
-rw-r--r--	SymbolicAddressVariable.cpp	1273	log stats plain blame
-rw-r--r--	SymbolicAddressVariable.h	1089	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.cpp	1309	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.h	1211	log stats plain blame
-rw-r--r--	SymbolicIntVariable.cpp	1533	log stats plain blame
-rw-r--r--	SymbolicIntVariable.h	1191	log stats plain blame
-rw-r--r--	SymbolicTypes.cpp	2794	log stats plain blame
-rw-r--r--	SymbolicTypes.h	1597	log stats plain blame
-rw-r--r--	SymbolicVariable.cpp	1149	log stats plain blame
-rw-r--r--	SymbolicVariable.h	1904	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