TermCOMP/TPDB

Issues

• restore proper names for benchmarks now in SRS_Standard/Mixed

  #45 opened 7 months ago by jwaldmann
  0

• make a release corresponding to termcomp23

  #44 opened 7 months ago by jwaldmann
  0