GitXplorerGitXplorer
m

cspec

public
12 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
1008d0766b9b21c49b1c256bd65e168c4bbc49c5

Mention stack requirement

ttchajed committed 5 years ago
Unverified
19fc06f79412a80277ac86340943581539c8c3c8

Add instructions to README

ttchajed committed 5 years ago
Unverified
81b2c40b65acc256003beca597fe924b995ccca3

Add Travis config

ttchajed committed 5 years ago
Unverified
0c1424415629742a0515b3ac1d3b28384fcac890

Make scripts more robust

ttchajed committed 5 years ago
Unverified
4678c147141a7225078019fd2b90292316f34b13

Fix missing argument to Printf

ttchajed committed 5 years ago
Unverified
c87780fbd725718c64db182a557179ebdd3f6e72

Fix typo in Makefile

ttchajed committed 6 years ago

README

The README file for this repository.

CSPEC

Build Status

Framework for reasoning about concurrent code using abstraction, layers, and movers.

Compiling

You'll need Coq v8.9 or master, Go, and Haskell stack.

To compile CSPEC, CMAIL, and GoMail, run make. A benchmarking binary for CMAIL is output to bin/mail-test and a GoMail binary that listens for SMTP and POP3 connections is output to bin/gomail.

The stack initialization doesn't handle parallel builds correctly so a parallel build with a fresh stack install may not work, but re-running should fix any concurrency issues (isn't that ironic?).