GitHub - 9060/spdiff: Diff program for semantic patches

Name		Name	Last commit message	Last commit date
Latest commit History 307 Commits
article		article
coccinelle @ 9c0c494		coccinelle @ 9c0c494
demos/ASE2012		demos/ASE2012
localcocci		localcocci
spdiff-exp @ 56eafc5		spdiff-exp @ 56eafc5
tests		tests
web		web
.gitignore		.gitignore
.gitmodules		.gitmodules
ANSITerminal.ml		ANSITerminal.ml
ANSITerminal.mli		ANSITerminal.mli
Makefile		Makefile
ast_to_flow2.ml		ast_to_flow2.ml
c_unparse.ml		c_unparse.ml
control_flow_c2.ml		control_flow_c2.ml
control_flow_c2.mli		control_flow_c2.mli
diff.ml		diff.ml
diff.py		diff.py
diff.pyc		diff.pyc
difftype.ml		difftype.ml
dottest.dot		dottest.dot
env.ml		env.ml
genericlexer.mll		genericlexer.mll
genericparser.mly		genericparser.mly
getfiles		getfiles
getfiles.ml		getfiles.ml
gtree.ml		gtree.ml
gtree_util.ml		gtree_util.ml
hashcons.ml		hashcons.ml
hashcons.ml.html		hashcons.ml.html
hashcons.mli		hashcons.mli
hashcons.mli.html		hashcons.mli.html
itemset_type.mli		itemset_type.mli
jconfig.ml		jconfig.ml
main.ml		main.ml
miner.ml		miner.ml
msa.ml		msa.ml
mtop		mtop
mytop		mytop
notes.txt		notes.txt
out		out
perm-test.ml		perm-test.ml
reachtest.ml		reachtest.ml
reader.ml		reader.ml
sort.ml		sort.ml
spdiff.mli		spdiff.mli
spdiffimpl.ml		spdiffimpl.ml
spec_file		spec_file
util.ml		util.ml
visitor_j.ml		visitor_j.ml