GitHub - quickstrom/ccs: A CCS workbench to model non-web systems for testing

quickstrom / ccs Public

A CCS workbench to model non-web systems for testing

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
CCS.hs		CCS.hs
Main.hs		Main.hs
Setup.hs		Setup.hs
ccs.cabal		ccs.cabal
run_example.sh		run_example.sh
test.ccs		test.ccs
ticlk.strom		ticlk.strom

About

A CCS workbench to model non-web systems for testing

No releases published

No packages published