search

goblint / GobWeb

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

More and updated text #27

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

I gave writing some text for the website that sounds a bit more exciting a crack.

I think one should review it very critically to ensure we don't overpromise, but I feel with the current we might be selling ourselves short a bit.

michael-schwarz commented 2 years ago

@stilscher Good opportunity for you to provide a professional photo :wink: Otherwise, I might be tempted to use one of the violin ones one can find online :upside_down_face:

michael-schwarz commented 2 years ago

I have now pushed the new website to https://goblint.in.tum.de/, I think you'll have to update https://goblint.cs.ut.ee/ on the Tartu side manually, right?