search

jwaldmann / star-exec-presenter

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

introduce Boolean operations for benchmark selection #195

Closed jwaldmann closed 2 years ago

jwaldmann commented 2 years ago

... at least, negation of NameMatches. Application: set of non-ICFP SRS benchmarks.