search

jwaldmann / star-exec-presenter

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

cannot render plain text benchmarks #151

Open jwaldmann opened 7 years ago

jwaldmann commented 7 years ago

most benchmarks are in XTC format, but some are not. They have extension .c, .koat, .smt2, .itrs, .smt2

jwaldmann commented 7 years ago

apparently that's now fixed, as a side effect of d0d62828b6c59b73ce9e74c159f6ef7c35476aef (for #154)

jwaldmann commented 7 years ago

well not really fixed - plain text is currently shown as html, so the formatting is lost.