tinyvalidator

Symbolic executor and C-style embedded DSL

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
app		app
formalism		formalism
src		src
test		test
.DS_Store		.DS_Store
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
build.sh		build.sh
cabal.project		cabal.project
testsuite.out		testsuite.out
tinyvalidator.cabal		tinyvalidator.cabal

Provide feedback