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	28179	log stats plain blame
-rw-r--r--	SMTChecker.h	7809	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	2088	log stats plain blame
-rw-r--r--	SSAVariable.h	2337	log stats plain blame
-rw-r--r--	SolverInterface.h	7072	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.cpp	1342	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.h	1228	log stats plain blame
-rw-r--r--	SymbolicIntVariable.cpp	1908	log stats plain blame
-rw-r--r--	SymbolicIntVariable.h	1324	log stats plain blame
-rw-r--r--	SymbolicVariable.cpp	1113	log stats plain blame
-rw-r--r--	SymbolicVariable.h	1575	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