netkat-verify

build for command-line interface to verify. You'll need to run "oasis setup" manually if this is your first time checking out.

Name		Name	Last commit message	Last commit date
Latest commit History 80 Commits
lib		lib
quickcheck		quickcheck
test		test
verify		verify
z3-axioms		z3-axioms
z3-sets		z3-sets
.gitignore		.gitignore
INSTALL.txt		INSTALL.txt
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
_oasis		_oasis
_tags		_tags
bad.z3		bad.z3
configure		configure
good.z3		good.z3
last-experiment.z3		last-experiment.z3
list.z3		list.z3
myocamlbuild.ml		myocamlbuild.ml
run-reachability-from-file.sh		run-reachability-from-file.sh
setup.ml		setup.ml
smallest-star.z3		smallest-star.z3

mpmilano/netkat-verify