llvm code
deleting lines of code
edit getIRFilesfromDir function
Merge remote-tracking branch 'epsa/thesis' into dev
basicblock:pred was added
Merge branch 'thesis' of https://github.com/epsallida/llvm-datalog into dev
Adding lb script with transactions, for deployment.
Removing the ln -r command with something more portable.
fixed cvs generation for instrNext predicate
changed name of structTypeField because it is operand specific
fixed bloxbatch's issue with string in predicate arguments, created dummy wrapper entity Flag
made tmp rule for operand specific predicate struct_type:field
Added code to manually create csv files for primitives types label, void, etc. Also the generator now visits the labels (i.e., basic blocks).
changed terminator instruction from entity to idb rule
changed generated import logic
fixed run.template
Merge branch 'dev' of https://github.com/plast-lab/llvm-datalog into dev
Adding new CSVs
Ignoring operand-specific.logic
Removing TODO comment from auxiliary.logic