Indentation
Minor change in toy example
Minor fixes
Refactoring InstrunctionVisitor and general fixes in csv generation
Adding boost flags in compilation and linking
Deleting useless files
Initial commit
Moving predicate names from class to namespace
Converting DirInfo to singleton class. The directories are no longer constants
Refactoring InstructionVisitor class. It now uses the CsvGeneration class, almost all the boilerplate code is gone
Removing module processing from main and adding command line argumets handling
Renaming c++ header files from .h to .hpp
Renaming predicateNames namespace to predicate_names.
Merge branch 'dev' of github.com:plast-lab/llvm-datalog into dev