GitXplorerGitXplorer
m

cspec

public
12 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
074e11f5c7758fd0f5624f0466dd23244f9112c4

Update stack config

ttchajed committed 5 years ago
Unverified
a7ee9f922202bc005b755b8544bcc294348f50c6

Test on Coq 8.11

ttchajed committed 5 years ago
Unverified
f90d854ad0b8e87f498ddaef7698241edf71c489

Fix compatibility with newer Coq versions

ttchajed committed 5 years ago
Unverified
1ac3f714f4a5f22037685d34a496d4e19000a3c8

CI: Fix a few config issues

ttchajed committed 5 years ago
Unverified
dacf8458e7a1a5631442daa72fb3aaa9b40c92c4

CI: don't build Go binaries

ttchajed committed 5 years ago
Unverified
d4f129368573c39b3e3a1247d59ef510c1af086b

CI: Fix stack configuration

ttchajed committed 5 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?).