Skip to content

Commit d7f33cd

Browse files
committed
add link to installation instructions
1 parent 4168d72 commit d7f33cd

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

README.md

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
# Web Frontend for Goblint
22

3-
Originally developed by Alex Micheli for his Bachelor's thesis at TUM i2.
3+
The Web Frontend allows inspecting the analyzed files and results of an analysis run with Goblint.
4+
It is based on [jsoo-react](https://github.com/jchavarri/jsoo-react) and was originally developed by Alex Micheli for his Bachelor's thesis at TUM i2.
45

5-
Based on [jsoo-react](https://github.com/jchavarri/jsoo-react).
6+
## Installing
7+
8+
Follow the instructions in the [Read the Docs](https://goblint.readthedocs.io/en/latest/user-guide/inspecting/).

0 commit comments

Comments
 (0)