Feature #1514
open
Show addtional information on unsafes and unknowns in comparison
Added by Evgeny Novikov about 13 years ago.
Updated over 11 years ago.
Category:
Statistics server
Description
As all of statistics server users mentioned many times, it will be very helpful to have links to error traces for unsafes and lists of problems names for unknowns in comparison.
Related issues
1 (1 open — 0 closed)
The part related with unsafes was implemented in commit a6190d6 of gsoc-stats-server branch. The second part indeed is rather complicated. First of all, it will make comparison slower since problems will be obtained, will be related with other information and will be shown for all conversions. So before implementing this feature we should redesign comparison at all.
- Priority changed from High to Normal
Here it's generated an incorrect link for a second unsafe error trace.
I will turn this off until it will be implemented properly. Also showing links to unsafes works buggy for conversions to/from deleted (#3355).
Turned off in commit f18bcea of the master branch.
Also available in: Atom
PDF