search

goblint / GobWeb

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

Add Excite Funding to Acknowledgments & Add ESOP paper & Team Picture #30

Closed michael-schwarz closed 1 year ago

michael-schwarz commented 1 year ago

Does anyone have a copy of Martin Schwarz's dissertation? I can not find it anywhere online, so I had to link to this bookstore that sells it for ~60€...

Closes #428.

sim642 commented 1 year ago

Does anyone have a copy of Martin Schwarz's dissertation? I can not find it anywhere online, so I had to link to this bookstore that sells it for ~60€...

It's already linked on the site: http://www2.in.tum.de/bib/files/diss-schwarz.pdf. Or do you mean something else?

sim642 commented 1 year ago

Maybe the new team photo should be slightly cropped? Looks a bit odd with all the empty space on the right.

michael-schwarz commented 1 year ago

It's already linked on the site: http://www2.in.tum.de/bib/files/diss-schwarz.pdf. Or do you mean something else?

That link is a 404 though!

sim642 commented 1 year ago

That link is a 404 though!

Not for me, I get this PDF from there: diss-schwarz.pdf. Maybe there's something funny happening when you try accessing it within TUM networks.

michael-schwarz commented 1 year ago

Maybe there's something funny happening when you try accessing it within TUM networks.

It seems to be some sort of https:// vs http:// shenanigans are happening here. With https:// one gets a 404, without it, it works... I'll ask Michael Petter if he has an idea to fix it.

michael-schwarz commented 1 year ago

Michael Petter fixed the webserver, the URLs now all work. There's no need to change these then.