]> matita.cs.unibo.it Git - helm.git/commit
Cic2acic : added some debugging information
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:09:35 +0000 (12:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:09:35 +0000 (12:09 +0000)
commitdb10f4aee3571b87d24c3f52a61721311c384dd2
treedf35476f18df9cdc5496c67b928528b7ca3193be
parent37bbd741fbba797bc7c64318f13edce28131cd91
Cic2acic  : added some debugging information
Procedural: some refactoring and improvements
components/acic_procedural/.depend
components/acic_procedural/.depend.opt
components/acic_procedural/Makefile
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralClassify.ml
components/acic_procedural/proceduralHelpers.ml [new file with mode: 0644]
components/acic_procedural/proceduralHelpers.mli [new file with mode: 0644]
components/acic_procedural/proceduralPreprocess.ml
components/cic_acic/cic2acic.ml
components/cic_acic/cic2acic.mli