florianschanda/smtlib_schanda

Issues

• classify griggio benchmarks

  #5 opened 6 years ago by florianschanda
  1

• fix datatype definitions in SPARK vcs

  #9 opened 6 years ago by florianschanda
  0

• re-organize --suite from run.py

  #8 opened 6 years ago by florianschanda
  0

• re-organize repository

  #7 opened 6 years ago by florianschanda
  0

• rework benchmarking setup

  #6 opened 6 years ago by florianschanda
  0

• add OOM category to results

  #4 opened 7 years ago by florianschanda
  0

• add tests from P405-006__coq_lemma_library

  #3 opened 7 years ago by florianschanda
  0

• Request for the report_*.txt output

  #2 opened 7 years ago by martin-cs
  1

• add benchmarks using the proposed float extensions

  #1 opened 7 years ago by florianschanda
  2