sl-comp / SL-COMP18

Resources for the SL-COMP 2018 edition

3 stars 2 forks source link

readme

SL-COMP 2018 Repository

Repository for SL-COMP'18, second edition of the competition of solvers for the theory of Separation Logic.

Content

bench : set of problems used, split in divisions
doc : documents related with the competition
input : input format description and SMT-lib definition
solvers : description and material for each participant
starexec : material required/returned by the execution platform StarExec
tools : software related with the competition, e.g., parsers, translators, etc.

Contact

See file CONTACT.md and visit competition's web site https://www.irif.fr/~sighirea/sl-comp/18/