search

goblint / GobWeb

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

Add SAS paper #20

Closed michael-schwarz closed 3 years ago

michael-schwarz commented 3 years ago

Not sure if this is how it should be done, I seem to be unable to get this angular stuff to compile. Can you have a look @ivanazuzic ?

ivanazuzic commented 3 years ago

Not sure if this is how it should be done, I seem to be unable to get this angular stuff to compile. Can you have a look @ivanazuzic ?

It looks ok. :)