From 57b39ea12826c2ea4b1eb5b923ed4aa588445e10 Mon Sep 17 00:00:00 2001
From: JoelYYoung <56264140+JoelYYoung@users.noreply.github.com>
Date: Mon, 24 Aug 2026 21:07:02 +1000
Subject: [PATCH 1/3] Update MSli news links

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d0929152f..49eeb0ba2 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
 SVF provides reusable abstractions, graphs, and solvers for analyzing LLVM IR.
 
 ## News
-* <b>[On-demand program slicing](https://github.com/SVF-tools/SVF/tree/master/svf/include/MTA) published in our [ISSTA paper](https://joelyyoung.github.io/pdf/issta26.pdf) is now available in SVF </b>
+* <b>[MSli](https://github.com/SVF-tools/SVF/wiki/MTA-MSli), an on-demand program slicing tool for multithreaded programs, is now available in [SVF/MTA](https://github.com/SVF-tools/SVF/tree/master/svf/lib/MTA). </b>
 * <b>SVF now supports [LLVM-22](https://github.com/SVF-tools/SVF/pull/1876) (Contributed by [Giorgio](https://github.com/dg1474)). </b>
 * <b>SVF now supports [LLVM-21](https://github.com/SVF-tools/SVF/pull/1815) (Contributed by [cjsrxzdyzds](https://github.com/cjsrxzdyzds)). </b>
 * <b>SVF now supports new [build system](https://github.com/SVF-tools/SVF/pull/1703) (Thank [Johannes](https://github.com/Johanmyst) for his help!). </b>

From 5efd1a0fa47cecb3becb8891b71782f5676dd78b Mon Sep 17 00:00:00 2001
From: JoelYYoung <56264140+JoelYYoung@users.noreply.github.com>
Date: Mon, 24 Aug 2026 21:17:53 +1000
Subject: [PATCH 2/3] Clarify MTA wiki contents

---
 svf/lib/MTA/README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/svf/lib/MTA/README.md b/svf/lib/MTA/README.md
index d05c607bb..c067407da 100644
--- a/svf/lib/MTA/README.md
+++ b/svf/lib/MTA/README.md
@@ -2,5 +2,4 @@
 
 This directory contains SVF's multithreaded analysis (MTA) and the MSli
 multi-stage slicing implementation. See the [MTA-MSli wiki page](https://github.com/SVF-tools/SVF/wiki/MTA-MSli)
-for build instructions, command examples, and measured small- and large-program
-results.
+for an overview, benchmark inputs, build instructions, and usage examples.

From 56f31fb2a149f6b937e0331b543eb1bc3d8b1088 Mon Sep 17 00:00:00 2001
From: JoelYYoung <56264140+JoelYYoung@users.noreply.github.com>
Date: Mon, 24 Aug 2026 21:22:11 +1000
Subject: [PATCH 3/3] Move MTA README to public headers

---
 README.md                 | 2 +-
 svf/include/MTA/README.md | 6 ++++++
 svf/lib/MTA/README.md     | 5 -----
 3 files changed, 7 insertions(+), 6 deletions(-)
 create mode 100644 svf/include/MTA/README.md
 delete mode 100644 svf/lib/MTA/README.md

diff --git a/README.md b/README.md
index 49eeb0ba2..ff3dfcd82 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
 SVF provides reusable abstractions, graphs, and solvers for analyzing LLVM IR.
 
 ## News
-* <b>[MSli](https://github.com/SVF-tools/SVF/wiki/MTA-MSli), an on-demand program slicing tool for multithreaded programs, is now available in [SVF/MTA](https://github.com/SVF-tools/SVF/tree/master/svf/lib/MTA). </b>
+* <b>[MSli](https://github.com/SVF-tools/SVF/wiki/MTA-MSli), an on-demand program slicing tool for multithreaded programs, is now available in [SVF/MTA](https://github.com/SVF-tools/SVF/tree/master/svf/include/MTA). </b>
 * <b>SVF now supports [LLVM-22](https://github.com/SVF-tools/SVF/pull/1876) (Contributed by [Giorgio](https://github.com/dg1474)). </b>
 * <b>SVF now supports [LLVM-21](https://github.com/SVF-tools/SVF/pull/1815) (Contributed by [cjsrxzdyzds](https://github.com/cjsrxzdyzds)). </b>
 * <b>SVF now supports new [build system](https://github.com/SVF-tools/SVF/pull/1703) (Thank [Johannes](https://github.com/Johanmyst) for his help!). </b>
diff --git a/svf/include/MTA/README.md b/svf/include/MTA/README.md
new file mode 100644
index 000000000..1ec4bd6ea
--- /dev/null
+++ b/svf/include/MTA/README.md
@@ -0,0 +1,6 @@
+# MTA and MSli
+
+This directory contains the public interfaces for SVF's multithreaded analysis
+(MTA) and the MSli multi-stage slicing implementation. See the [MTA-MSli wiki
+page](https://github.com/SVF-tools/SVF/wiki/MTA-MSli) for an overview, benchmark
+inputs, build instructions, and usage examples.
diff --git a/svf/lib/MTA/README.md b/svf/lib/MTA/README.md
deleted file mode 100644
index c067407da..000000000
--- a/svf/lib/MTA/README.md
+++ /dev/null
@@ -1,5 +0,0 @@
-# MTA and MSli
-
-This directory contains SVF's multithreaded analysis (MTA) and the MSli
-multi-stage slicing implementation. See the [MTA-MSli wiki page](https://github.com/SVF-tools/SVF/wiki/MTA-MSli)
-for an overview, benchmark inputs, build instructions, and usage examples.