Various fixes to MPFR java

runtimeverification / mpfr-java

GNU MPFR Java Bindings

Other

11 stars 10 forks source link

Closed dwightguth closed 10 years ago

dwightguth commented 10 years ago

I made several small changes to the library in order to be able to support its use for K. @andreistefanescu please reveiew.

andreistefanescu commented 10 years ago

lgtm