search

jwaldmann / star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod
2 stars 7 forks source link

createJob will make one job per space, these must later be merged #166

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

E.g., for 

 ,Category "Runtime Complexity - Innermost Rewriting certified"
               Catinfo {postproc = ceta , benchmarks = [Hierarchy 278016, Hierarchy 277992] ,

createJob will make two jobs (one for each benchmark space). These must later be merged for displaying.

It could be a more general "merge" operation (if benchmark set is disjoint, do not make separate colums)

jwaldmann commented 7 years ago

seems fixed by #167