sfu2
diff --git a/‎doc/.gitignore ‎docs/.gitignore b/‎doc/.gitignore ‎docs/.gitignore
diff --git a/‎docs/README.md
+8 b/‎docs/README.md
+8
diff --git a/‎doc/doxygen.config ‎docs/doxygen.config b/‎doc/doxygen.config ‎docs/doxygen.config
diff --git a/‎images/PAG.png ‎docs/images/PAG.png b/‎images/PAG.png ‎docs/images/PAG.png
diff --git a/‎images/andersen.png ‎docs/images/andersen.png b/‎images/andersen.png ‎docs/images/andersen.png
diff --git a/‎images/callgraph.png ‎docs/images/callgraph.png b/‎images/callgraph.png ‎docs/images/callgraph.png
diff --git a/‎images/consG.png ‎docs/images/consG.png b/‎images/consG.png ‎docs/images/consG.png
diff --git a/‎images/cpu2000-flto ‎docs/images/cpu2000-flto b/‎images/cpu2000-flto ‎docs/images/cpu2000-flto
diff --git a/‎images/cpu2006-flto ‎docs/images/cpu2006-flto b/‎images/cpu2006-flto ‎docs/images/cpu2006-flto
diff --git a/‎images/database.png ‎docs/images/database.png b/‎images/database.png ‎docs/images/database.png
diff --git a/‎images/framework.png ‎docs/images/framework.png b/‎images/framework.png ‎docs/images/framework.png
diff --git a/‎images/help.png ‎docs/images/help.png b/‎images/help.png ‎docs/images/help.png
diff --git a/‎images/icfg.png ‎docs/images/icfg.png b/‎images/icfg.png ‎docs/images/icfg.png
diff --git a/‎images/mssa-cha.png ‎docs/images/mssa-cha.png b/‎images/mssa-cha.png ‎docs/images/mssa-cha.png
diff --git a/‎images/pagedge.png ‎docs/images/pagedge.png b/‎images/pagedge.png ‎docs/images/pagedge.png
diff --git a/‎images/pagnode.png ‎docs/images/pagnode.png b/‎images/pagnode.png ‎docs/images/pagnode.png
diff --git a/‎images/pt.png ‎docs/images/pt.png b/‎images/pt.png ‎docs/images/pt.png
diff --git a/‎images/setupcmake.png ‎docs/images/setupcmake.png b/‎images/setupcmake.png ‎docs/images/setupcmake.png
diff --git a/‎images/setupconfiguration.png ‎docs/images/setupconfiguration.png b/‎images/setupconfiguration.png ‎docs/images/setupconfiguration.png
diff --git a/‎images/setupdashboard.png ‎docs/images/setupdashboard.png b/‎images/setupdashboard.png ‎docs/images/setupdashboard.png
diff --git a/‎images/setupdebug.png ‎docs/images/setupdebug.png b/‎images/setupdebug.png ‎docs/images/setupdebug.png
diff --git a/‎images/setupenv.png ‎docs/images/setupenv.png b/‎images/setupenv.png ‎docs/images/setupenv.png
diff --git a/‎images/startup.png ‎docs/images/startup.png b/‎images/startup.png ‎docs/images/startup.png
diff --git a/‎images/svf-stat.pdf ‎docs/images/svf-stat.pdf b/‎images/svf-stat.pdf ‎docs/images/svf-stat.pdf
diff --git a/‎images/svfg-framework.png ‎docs/images/svfg-framework.png b/‎images/svfg-framework.png ‎docs/images/svfg-framework.png
diff --git a/‎images/svfg.png ‎docs/images/svfg.png b/‎images/svfg.png ‎docs/images/svfg.png
diff --git a/‎images/svfg_opt.png ‎docs/images/svfg_opt.png b/‎images/svfg_opt.png ‎docs/images/svfg_opt.png
diff --git a/‎images/svfgedge-cha.png ‎docs/images/svfgedge-cha.png b/‎images/svfgedge-cha.png ‎docs/images/svfgedge-cha.png
diff --git a/‎images/svfgnode-cha.png ‎docs/images/svfgnode-cha.png b/‎images/svfgnode-cha.png ‎docs/images/svfgnode-cha.png
diff --git a/‎images/tools.png ‎docs/images/tools.png b/‎images/tools.png ‎docs/images/tools.png
diff --git a/‎images/users.png ‎docs/images/users.png b/‎images/users.png ‎docs/images/users.png
diff --git a/‎images/vm1.png ‎docs/images/vm1.png b/‎images/vm1.png ‎docs/images/vm1.png
diff --git a/‎images/vm2.png ‎docs/images/vm2.png b/‎images/vm2.png ‎docs/images/vm2.png
diff --git a/‎images/vm3.png ‎docs/images/vm3.png b/‎images/vm3.png ‎docs/images/vm3.png
diff --git a/‎images/vm4.png ‎docs/images/vm4.png b/‎images/vm4.png ‎docs/images/vm4.png
diff --git a/‎images/vm5.png ‎docs/images/vm5.png b/‎images/vm5.png ‎docs/images/vm5.png
diff --git a/‎stylesheets/github-light.css ‎docs/stylesheets/github-light.css b/‎stylesheets/github-light.css ‎docs/stylesheets/github-light.css
diff --git a/‎stylesheets/normalize.css ‎docs/stylesheets/normalize.css b/‎stylesheets/normalize.css ‎docs/stylesheets/normalize.css
diff --git a/‎stylesheets/stylesheet.css ‎docs/stylesheets/stylesheet.css b/‎stylesheets/stylesheet.css ‎docs/stylesheets/stylesheet.css
diff --git a/‎index.html
+3-3 b/‎index.html
+3-3
@@ -0,0 +1,8 @@
+# SVF-Teaching
+Learning and Teaching Software Analysis, Verification and AI via [SVF](https://github.com/SVF-tools/SVF)
+
+[Software Analysis Course](https://github.com/SVF-tools/Teaching-Software-Analysis)
+
+[Software Verification Course](https://github.com/SVF-tools/Teaching-Software-Verification)
+
+[Static Analysis and AI Course](https://github.com/SVF-tools/Teaching-Static-Analysis-AI)
@@ -4,10 +4,10 @@
     <meta charset="UTF-8">
     <title>SVF:Pointer Analysis for C and C++  </title>
     <meta name="viewport" content="width=device-width, initial-scale=1">
-    <link rel="stylesheet" type="text/css" href="stylesheets/normalize.css" media="screen">
+    <link rel="stylesheet" type="text/css" href="docs/stylesheets/normalize.css" media="screen">
     <link href='http://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'>
-    <link rel="stylesheet" type="text/css" href="stylesheets/stylesheet.css" media="screen">
-    <link rel="stylesheet" type="text/css" href="stylesheets/github-light.css" media="screen">
+    <link rel="stylesheet" type="text/css" href="docs/stylesheets/stylesheet.css" media="screen">
+    <link rel="stylesheet" type="text/css" href="docs/stylesheets/github-light.css" media="screen">
   </head>
   <body>
     <section class="page-header">