Add files to generate Gitbook.

angr · Mar 20, 2016 · d889ac5 · d889ac5
1 parent e56e995
commit d889ac5
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/SUMMARY.md b/SUMMARY.md
@@ -0,0 +1,18 @@
+# Summary
+
+* [Introduction](README.md)
+* [Top-level interfaces](toplevel.md)
+* [Loading a binary](loading.md)
+* [Intermediate Representation](ir.md)
+* [Solver Engine](claripy.md)
+* [Program States](states.md)
+* [Program Paths](paths.md)
+* [Simuvex](simuvex.md)
+* [Analyses](analyses.md)
+   * [Backward Slicing](analyses/backward_slice.md)
+   * [CFG](analyses/cfg.md)
+* [Surveyors](surveyors.md)
+* [Examples](examples.md)
+* [FAQ](faq.md)
+* [Changelog](changelog.md)
+
diff --git a/book.json b/book.json
@@ -0,0 +1 @@
+{}