search

goblint / GobWeb

Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3 stars 0 forks source link

Documentation #4

Closed ivanazuzic closed 3 years ago

ivanazuzic commented 3 years ago

Do we want to have Goblint documentation offered through this webpage? We could use this package to include our markdown files in the Angular web page https://github.com/jfcere/ngx-markdown. Frama-C offers their documentation here: https://frama-c.com/html/documentation.html Apron also offers the documentation on their web page: https://antoinemine.github.io/Apron/doc/

michael-schwarz commented 3 years ago

https://goblint.readthedocs.io/en/latest/

ivanazuzic commented 3 years ago

I've added a link to that page in the Downloads section.