From a55a4665ed9f49a937567ee13e75d8b001b7b939 Mon Sep 17 00:00:00 2001 From: Marek Chalupa Date: Thu, 21 May 2020 15:23:31 +0200 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 7e1e1a8e2..ea60ac98d 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,8 @@ DG is a library containing various bits for program analysis. However, the main Further, DG contains an implementation of dependence graphs and a [static program slicer](doc/llvm-slicer.md) for LLVM bitcode. Some documentation can be found in the [doc/](doc/) directory. + +* [Downloading DG](doc/downloading.md) * [Compiling DG](doc/compiling.md) * [Using llvm-slicer](doc/llvm-slicer.md) * [Other tools](doc/tools.md)