Remove unneeded Makefiles

SVF-tools · Feb 28, 2021 · 30ce673 · 30ce673
1 parent ae359f4
commit 30ce673
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 265 deletions.
diff --git a/lib/CUDD/Makefile b/lib/CUDD/Makefile
diff --git a/lib/MSSA/Makefile b/lib/MSSA/Makefile
diff --git a/lib/MTA/Makefile b/lib/MTA/Makefile
diff --git a/lib/Makefile b/lib/Makefile
diff --git a/lib/MemoryModel/Makefile b/lib/MemoryModel/Makefile
diff --git a/lib/SABER/Makefile b/lib/SABER/Makefile
diff --git a/lib/Util/Makefile b/lib/Util/Makefile
diff --git a/lib/WPA/Makefile b/lib/WPA/Makefile
diff --git a/tools/Example/Makefile b/tools/Example/Makefile
diff --git a/tools/Makefile b/tools/Makefile
diff --git a/tools/SABER/Makefile b/tools/SABER/Makefile
diff --git a/tools/WPA/Makefile b/tools/WPA/Makefile