-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: jwaldmann/star-exec-presenter
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
some messages (UNSUPPORTED?) from certifier make job completely vanish from our display
bug
#199
opened Aug 31, 2023 by
jwaldmann
does not show jobs/pairs because of failing re-login
starexec connection
#184
opened Oct 19, 2017 by
jwaldmann
clean-up on starexec: download competition data, remove non-competition data
feature proposal
starexec connection
#183
opened Sep 7, 2017 by
jwaldmann
add route for easier comparison of uncertified and certified categories
feature proposal
#181
opened Sep 6, 2017 by
jwaldmann
total time display is broken on competition page if some category is empty
bug
#180
opened Sep 6, 2017 by
jwaldmann
"x of y pairs" on front page has wrong y sometimes
bug
important for TC17
#177
opened Sep 5, 2017 by
jwaldmann
README.txt (et al) considered benchmarks
bug
starexec connection
#171
opened Sep 4, 2017 by
jwaldmann
createJob should evaluate STATUS_MESSAGE_STRING
enhancement
starexec connection
#163
opened Sep 1, 2017 by
jwaldmann
in flexible query, make headings "answered by X solvers" clickable
enhancement
#162
opened Aug 30, 2017 by
jwaldmann
penalty for incorrect answers not implemented
data base
feature proposal
#155
opened Aug 20, 2017 by
jwaldmann
slow loading of job and competition pages after server restart
enhancement
#153
opened Aug 18, 2017 by
jwaldmann
htmlProof is computed in the wrong place and it should not be stored
enhancement
#150
opened Aug 17, 2017 by
jwaldmann
very fast (0/0) MAYBEs (starexec SQL error?)
starexec connection
#139
opened Aug 6, 2017 by
jwaldmann
Previous Next
ProTip!
no:milestone will show everything without a milestone.