GitHub - gautammohan/servois: Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.

gautammohan / servois Public

forked from angelhof/servois

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

Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.

BSD-3-Clause license

0 stars 6 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
contrib		contrib
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README		README

Repository files navigation

Servois
=======

Servois is an experimental tool for automatically generating
commutativity conditions from data-structure specifications.

Please see
  http://cs.nyu.edu/~kshitij/projects/servois
for more details about the project.

Dependecies
-----------

Requires CVC4 development builds, download from here
  http://cvc4.cs.nyu.edu/downloads/

Install CVC4 at /usr/local/bin/cvc4. Alternatively, update
src/synth.py

Examples
--------

There are several examples in the test/ directory. A python script
runs all the examples.

  cd test
  ./runall.py

--Kshitij Bansal <[email protected]> [Sun, 18 Oct 2015 00:14:27 -0400]