Skip to content
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bench
doc
input
smtlib2parser-1.4
smtlib2sl
solvers
starexec
README.md
divisions.html

README.md

SL-COMP 2014

About

Resources for the first edition of SL-COMP, SL-COMP'14. SL-COMP is a competition of solvers for the theory of Separation Logic (QF_S theory at SMT-COMP 2014).

IMPORTANT: this project has been forked to https://github.com/sl-comp/SL-COMP14

Content

  • bench : set of problems used split in divisions
  • divisions.html : description of divisions with the participating solvers
  • doc : archive of cfp, web sites, and the JSAT paper on the event
  • input : input format description and SMT-lib definition
  • smtlib2parser-1.4 : parser for the SMT-lib format
  • smtlib2sl : translators from the input format of the competition to input format of participating solvers and the input format of SL-COMP 2018
  • solvers : description and material for each participant
  • starexec : material required/returned by the execution platform StarExec
You can’t perform that action at this time.