Finaly clean up formula representation.
authorKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 18:07:42 +0000 (19:07 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 18:07:42 +0000 (19:07 +0100)
commitd8e8a2b5c08a980a440d9fc9f3ea27af7711b524
tree3174995dc26dee12d01bc3410cce99e90006f2b5
parenta3cacfe74ac30fee5fe3afd6b7fa98dea774aad6
Finaly clean up formula representation.
src/ata.ml
src/compile.ml
src/formula.ml
src/formula.mli
src/l2JIT.ml
src/resJIT.ml