remove preprocessing for VERSION and NOALLOC

ocaml / Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Other

231 stars 70 forks source link

remove preprocessing for VERSION and NOALLOC #87

Closed hhugo closed 3 years ago

hhugo commented 4 years ago

We'll be able to remove preprocessing entirely once we get rid of asm files #79 (see #86)

hhugo commented 3 years ago

How do you feel about merging this PR ? Or do you prefer to see what happens with #79 ?

antoinemine commented 3 years ago

Let's wait until we are ready to merge #79, and merge both together.