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	28237	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	2119	log stats plain blame
-rw-r--r--	SSAVariable.h	2313	log stats plain blame
-rw-r--r--	SolverInterface.h	7072	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.cpp	1360	log stats plain blame
-rw-r--r--	SymbolicBoolVariable.h	1219	log stats plain blame
-rw-r--r--	SymbolicIntVariable.cpp	2134	log stats plain blame
-rw-r--r--	SymbolicIntVariable.h	1315	log stats plain blame
-rw-r--r--	SymbolicVariable.cpp	1109	log stats plain blame
-rw-r--r--	SymbolicVariable.h	1610	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