GitHub - weikengchen/obliv-c

This is a fork of https://github.com/samee/obliv-c with some modifications.

Please do not use this repo unless you know what you are looking for.

Name		Name	Last commit message	Last commit date
Latest commit History 4,635 Commits
SCDtoObliv		SCDtoObliv
bin		bin
doc		doc
lib/perl5		lib/perl5
m4		m4
src		src
test		test
web		web
.gitattributes		.gitattributes
.gitignore		.gitignore
.merlin		.merlin
.travis-ci.sh		.travis-ci.sh
.travis.yml		.travis.yml
CHANGES		CHANGES
LICENSE-cil		LICENSE-cil
LICENSE-oblivcc		LICENSE-oblivcc
Makefile.in		Makefile.in
README-cil.md		README-cil.md
README.md		README.md
TODO.obliv		TODO.obliv
_tags		_tags
aclocal.m4		aclocal.m4
cil.odocl		cil.odocl
config.guess		config.guess
config.h.in		config.h.in
config.mk.in		config.mk.in
config.sub		config.sub
configure		configure
configure.ac		configure.ac
findlib.md		findlib.md
install-sh		install-sh
myocamlbuild.ml		myocamlbuild.ml
oblivc.vim		oblivc.vim
stamp-h.in		stamp-h.in

Provide feedback