lequangloc / SL-COMP18 Public

forked from sl-comp/SL-COMP18

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Resources for the SL-COMP 2018 edition

0 stars 2 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
bench		bench
doc		doc
input		input
solvers		solvers
starexec		starexec
tools		tools
CONTACT.md		CONTACT.md
NEWS.md		NEWS.md
README.md		README.md

Repository files navigation

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/