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/