SL-COMP 2019 Repository

Repository for SL-COMP'19, the 3rd 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://sl-comp.github.io