initial checkin of Cliver
add cliver to makefile
added SocketLog class
fixed #define
Updated gitignore
CVStream class to manage output to console and files
covert klee warning and info file pointers into stream objects
so that cliver can redirect klee messages
delete cliverfunction handler
CVExecutor class inherits from klee Executor class
and uses CVStream for output
added a manager class, ClientVerifier
Support c++ boost
inital cliver tool program
added cliver to makefiles
Added a CV MemoryManager, currently just a clone of klee's original
Changes to support virtual inheritance.
Make use of the CVMemoryManager
use CVExecutor
Cliver Makefile changes
Add ExecutionState as parameter to MemoryManager allocations.
MemoryManager::allocate() and MemoryManager::allocateFixed declared virtual
Add ExecutionState as parameter to every MemoryManager::allocate() and allocateFixed()