GitHub - sw17ch/Z-ARCHIVED-caut-c11-sync: A synchronous C11 generator for Cauterize.

This repository has been archived by the owner on Aug 4, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
data		data
gen-meta		gen-meta
gen		gen
src/Cauterize		src/Cauterize
.gitignore		.gitignore
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
caut-c11-sync.cabal		caut-c11-sync.cabal
run_crucible.sh		run_crucible.sh

Repository files navigation

# THIS IS EXPERIMENTAL AND LIKELY TO UNDERGO SUBSTANTIAL REVISION

A synchronous C11 generator for Cauterize.

No releases published

No packages published