search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
927 stars 140 forks source link

Remove unused files #536

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Phasar contains several files that are either empty or not used at all. This PR removes many of them.

@pdschubert , @MMory if I have deleted some files that you still need, please tell me; then I will revive them

MMory commented 1 year ago

lgtm, except for the conflict. After its resolution I am happy to merge.