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