Improve web interface

[danieldietsch]

Our new webinterface is live: https://ultimate.sopranium.de

There are still some things that could be improved. Lets track them here.

• P01: Update descriptions
• P02: On landing page: "Development" after "Description" and before "Tools".
• P03: On landing page: header"Description" might be useless
• P04: I dont like the design, it does not support the structure. Users are overwhelmed because it is unclear what a button or link is. The old design was much better.
• P05: Tool pages are labelled with "Ultimate ULTIMATE X", (X is the toolname). The doubled prefix is confusing.
• P06: The tool pages do not link to the webinterface anymore.
• P07: Logos of Automizer and LassoRanker are missing
• P08: Tool interfaces: wide resolutions move the buttons too far to the right.
• P09: Tool interfaces: narrow resolutions hide buttons.
• P10: Tool interfaces: Changing font size changes the font size in the result area too much.
• P11: Tool interfaces: Result mini-window has result type, I think this is too much information.
• P12: Tool interfaces: "Execute" label is too generic. The label should be what the tool does,
• P13: Tool interfaces: If there are no settings, the settings button label is confusing.
• P14: Tool interfaces: There are "Settings" and "Create Sharable Link". "Settings" is a check box. "Create Sharable Link" is a button. It is somehow not consistent. One should separate these things somehow. I am also unclear on how to do that.
• P15: Tool interfaces: "Create sharable link" without period and lower case. Or all words in settings upper case.
• P16: Tool interfaces: Version without "Using"
• P17: Landing page: should probably not contain dependencies
• F1: Landing page: there are a lot of tools, perhaps too much. But I dont know how to make it better.
• F2: Tool interfaces: Execute button is too small and can be easily overlooked.
• F3: Landing page: the developer list is really long. Perhaps separate into active developers and contributors, like in the README? And perhaps nicer formatting.

[schuessf]

• Add GemCutter
• Update examples (add concurrent, check present ones)
• Remove Petri-Automizer as a tool? It uses the old concurrent trace abstraction and does only crash. The new approach should be present in Automizer
• Add data race settings?
• Should LassoRanker have its own web interface or simply be merged with BüchiAutomizer?
• Eliminator does not produce any result, what do we expect?

[maul-esel]

• Tool pages should link to web-interfaces

[schuessf]

I suppose most the points here are either fixed or not as important? Then we could close this issue 😉

[maul-esel]

Not all of them are fixed. It doesn't hurt to keep the issue to track the remaining ones, right?

[maul-esel]

• tool interface: needing to select the language for tools that only support one (e.g. Eliminator) is annoying.
• tool interface: when no language is selected, a program is added, and then a language is selected, the program is deleted. This can also be quite annyoing.