Tomáš Kučma

Add support for custom user patterns written in C

2

Adds a header for defining custom C patterns, pass for preprocessing them into valid LLVM pattern format, and creates new interface for these passes. Includes tests for the C patterns....

When a single variable is replaced with two (or more) variables with identical values, DiffKemp maps the first new variable to the original variable successfully, but then cannot map the...

If a semantic preserving change consists of moving a section of code into a separate function and replacing the section with a call to the function, and at the same...