GitHub - ppedrot/ocaml-compactor: Small library to compute maximal sharing of OCaml datastructures.

ppedrot / ocaml-compactor Public

Notifications You must be signed in to change notification settings
Fork 0
Star 7

Small library to compute maximal sharing of OCaml datastructures.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 80 Commits
copt		copt
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README		README
analyze.ml		analyze.ml
analyze.mli		analyze.mli
compact.ml		compact.ml
compact.mli		compact.mli
dot.ml		dot.ml
dot.mli		dot.mli
hopcroft.ml		hopcroft.ml
hopcroft.mli		hopcroft.mli
main.ml		main.ml
partition.ml		partition.ml
partition.mli		partition.mli

Repository files navigation

This library uses Hopcroft algorithm to minimize Coq file objects.
It is adaptable to any OCaml structure easily.

Article describing the algorithm and its justification (in French):
http://hal.archives-ouvertes.fr/hal-00779752/

Hopcroft implementation is taken from:
http://arxiv.org/abs/0802.2826