issues
search
goblint
/
GobWeb
Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add links to talk videos to papers
#40
karoliineh
closed
1 month ago
0
Update papers
#39
karoliineh
closed
2 months ago
0
Add VMCAI paper + Add SV-COMP papers and Javierfest as to appear + Add Michael Petter to contributors.
#38
michael-schwarz
closed
6 months ago
0
Papers, Funding, Links, 404 page & Authors
#37
michael-schwarz
closed
8 months ago
2
Link to Imprint is broken
#36
michael-schwarz
closed
12 months ago
0
Typo in paper name
#35
michael-schwarz
closed
12 months ago
0
Update papers
#34
michael-schwarz
closed
1 year ago
0
Update paper list
#33
michael-schwarz
closed
2 months ago
3
Update papers
#32
michael-schwarz
closed
1 year ago
0
Update papers
#31
michael-schwarz
closed
1 year ago
0
Add Excite Funding to Acknowledgments & Add ESOP paper & Team Picture
#30
michael-schwarz
closed
1 year ago
6
Add Karoliine to list of authors
#29
michael-schwarz
closed
1 year ago
0
Link to Kalmer's diss is a 404
#28
michael-schwarz
closed
1 year ago
2
More and updated text
#27
michael-schwarz
closed
1 year ago
2
Add TD3 Long & Pre-print of Interactive to List of Papers
#26
michael-schwarz
closed
1 year ago
0
Add 404 page
#25
sim642
closed
8 months ago
0
Replace old screenshot of IDE plugin
#24
karoliineh
closed
2 years ago
0
Replace outdated Eclipse screenshot with GobPie screenshot of the same thing
#23
michael-schwarz
closed
1 year ago
0
Papers list doesn't have authors
#22
sim642
closed
8 months ago
0
Show profile photos for authors of Goblint
#21
ivanazuzic
closed
2 years ago
0
Add SAS paper
#20
michael-schwarz
closed
2 years ago
1
Don't show banner at the bottom of the screen permanently
#19
jerhard
opened
3 years ago
0
Add ATVA'17 Paper to papers section
#18
michael-schwarz
closed
3 years ago
1
Write about our funding
#17
ivanazuzic
closed
3 years ago
9
Redirect old webpage to new one
#16
michael-schwarz
closed
3 years ago
2
Change description of SVCOMP Paper
#15
michael-schwarz
closed
3 years ago
1
Improve Download section
#14
jerhard
closed
3 years ago
0
Change title of homepage to Goblint
#13
michael-schwarz
closed
3 years ago
1
Provide the missing PDFs
#12
ivanazuzic
closed
1 year ago
2
Change the features overview
#11
ivanazuzic
closed
3 years ago
0
Impressum in the footer
#10
ivanazuzic
closed
3 years ago
0
Authors
#9
ivanazuzic
closed
3 years ago
5
Add copy citations for all papers
#8
ivanazuzic
closed
3 years ago
0
Interactive example
#7
ivanazuzic
opened
3 years ago
1
New screenshots
#6
ivanazuzic
closed
1 year ago
0
Authors and contact
#5
ivanazuzic
closed
8 months ago
7
Documentation
#4
ivanazuzic
closed
3 years ago
2
Tables are not sortable
#3
ivanazuzic
closed
3 years ago
0
The features are not properly responsive
#2
ivanazuzic
closed
3 years ago
0
Footer problems
#1
ivanazuzic
closed
3 years ago
0