From 5814bf82309fe05bc44fa82d8e23965150d9b766 Mon Sep 17 00:00:00 2001 From: Jihyeok Park Date: Sun, 3 Nov 2019 14:34:54 +0900 Subject: [PATCH] Update README.rst typo: kaist-plrg -> sukyoung --- README.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.rst b/README.rst index 4d05cd14a..95b2f8ab5 100644 --- a/README.rst +++ b/README.rst @@ -13,7 +13,7 @@ Older versions are still available at the SAFE1.0 branch. For more information, please check out `our user manual`_. -.. _our user manual: https://github.com/kaist-plrg/safe/blob/master/doc/manual.pdf +.. _our user manual: https://github.com/sukyoung/safe/blob/master/doc/manual.pdf Requirements ============ @@ -59,7 +59,7 @@ Changes from SAFE 1.0 * Several components from SAFE 1.0 may not be integrated into SAFE 2.0. Such components include interpreter, concolic testing, clone detector, clone refactoring, TypeScript support, Web API misuse detector, and several abstract domains like the string automata domain. .. _Test262: https://github.com/tc39/test262 -.. _an HTML-based debugger for its analyzer: https://github.com/kaist-plrg/safe/blob/master/doc/htmldebugger.png +.. _an HTML-based debugger for its analyzer: https://github.com/sukyoung/safe/blob/master/doc/htmldebugger.png SAFE 2.0 Roadmap ============