Adding Makefile for c++ code.
Removing some spaces.
Removing spaces before newlines.
Removing constant expression transformation and fixing a bug in counter variable (basic block counter)
Removing buggy update of 'funcTypeReturn' csv file
Removing comment
Minor fixes
Removing comment
Fixing minor bug in csv generation, some records were overwritten
Converting some comment to TODOs
Merge branch 'dev' of github.com:plast-lab/llvm-datalog into dev
Indentation
Minor change in toy example
Minor fixes
Refactoring InstrunctionVisitor and general fixes in csv generation
Adding check-syntax entry to the Makefile.

This enables on the fly compilation for c++ code.
Adding boost flags in compilation and linking
Deleting useless files
Initial commit
Moving predicate names from class to namespace