issues
search
jwaldmann
/
star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod
2
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
use output-size info from post-processors
#149
jwaldmann
closed
7 years ago
0
HTML display of "ITS certified" proofs does not work
#148
jwaldmann
closed
7 years ago
1
automate installation of TPDB updates
#147
jwaldmann
opened
7 years ago
1
using wrong subset of benchmarks
#146
jwaldmann
closed
7 years ago
0
benchmark source not shown
#145
jwaldmann
closed
7 years ago
0
missing HTML output for job pairs
#144
jwaldmann
closed
7 years ago
0
errors when starting (many) jobs
#143
jwaldmann
closed
7 years ago
0
install and use tpdb-10.5
#142
jwaldmann
closed
7 years ago
1
improve display of error messages returned by starexec API
#141
jwaldmann
closed
7 years ago
1
add UltimateBuchiAutomizer
#140
Heizmann
closed
7 years ago
0
very fast (0/0) MAYBEs (starexec SQL error?)
#139
jwaldmann
opened
7 years ago
1
update tct config for termcomp2017
#138
mischel
closed
7 years ago
0
job-starter wants BenchExec, but gets runsolver
#137
jwaldmann
closed
7 years ago
0
registration for TC 2017
#136
jwaldmann
closed
7 years ago
0
use new CeTA (with two arguments)
#135
jwaldmann
closed
7 years ago
0
make fixed URLs for results of previous competitions
#134
jwaldmann
closed
7 years ago
0
there are some "</a></a>" in the output
#133
jwaldmann
closed
7 years ago
0
service outages
#132
jwaldmann
closed
7 years ago
2
termcomp results display is broken
#131
jwaldmann
opened
7 years ago
0
switch off web site refresh
#130
jwaldmann
opened
7 years ago
1
results tables should be available in machine readable format (CSV) as well
#129
jwaldmann
closed
7 years ago
0
switch from runsolver to benchexec
#128
jwaldmann
closed
7 years ago
3
more detailed computation and display of scores for complexity
#127
jwaldmann
opened
7 years ago
0
show job status in overview and single page
#126
jwaldmann
opened
8 years ago
0
results display "finished in <time>" is invalidated by pause/resume
#125
jwaldmann
opened
8 years ago
2
"resume job" does not work reliably
#124
jwaldmann
opened
8 years ago
2
insert repeated headers in long tables
#123
jwaldmann
closed
8 years ago
1
more flexible job starter (time-out per meta-cat)
#122
jwaldmann
opened
8 years ago
0
for backwards compatibility, accept and ignore `O(1)` as lower bound
#121
jwaldmann
closed
8 years ago
0
old complexity results: `YES(?,O(n^2))`, current: `WORST_CASE(Omega(n^1), O(n^2))`
#120
jwaldmann
closed
8 years ago
2
PersistMarshalError "field result: Invalid SolverResult: OTHER"
#119
jwaldmann
closed
8 years ago
3
parsing of old competitions (from DB) is broken
#118
jwaldmann
closed
8 years ago
1
virtual best solver: cell should show name of original solver
#117
jwaldmann
opened
8 years ago
0
realize "virtual best solver" concept
#116
jwaldmann
opened
8 years ago
1
update UltimateBuchiAutomizer
#115
Heizmann
closed
8 years ago
0
cells in tables should show size of answer
#114
jwaldmann
closed
7 years ago
1
flexible query: sort by column
#113
jwaldmann
closed
7 years ago
2
show unique feautures of solvers
#112
jwaldmann
closed
8 years ago
2
updated AProVE's registration
#111
ffrohn
closed
8 years ago
0
update tct
#110
mischel
closed
8 years ago
0
update UltimateBuchiAutomizer
#109
Heizmann
closed
8 years ago
0
repair missing whitespace on overview page (3718of 7490 pairs)
#108
jwaldmann
closed
8 years ago
0
should parse WORST_CASE(?,O(n)) (with missing exponent)
#107
jwaldmann
closed
8 years ago
2
update UltimateBuchiAutomizer
#106
Heizmann
closed
8 years ago
0
compare this year and last year
#105
jwaldmann
closed
7 years ago
2
Prelude.maximum: empty list when viewing a competition
#104
jwaldmann
closed
7 years ago
0
must parse WORST_CASE(NON_POLY, ?)
#103
jwaldmann
closed
8 years ago
2
category should use complexity scoring, but does not
#102
jwaldmann
opened
8 years ago
1
show ASCII version of benchmark
#101
jwaldmann
opened
8 years ago
0
UltimateBuchiAutomizer2016
#100
Heizmann
closed
8 years ago
0
Previous
Next