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
- 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