Certificates

Author nicolas.boulenguez@free.fr
Branch net.prjek.mtn-host.libgmpada
Changelog Checked that adding mpfr was easy, added -lmpfr switch.
Added inline pragmas.
Updated documentation in README.
Many minor style corrections.
Made inherited "with" and elaboratation order explicit.
Rewriting Value functions allows all packages preelaboration.
Date 2010-01-29T20:18:40

Revision Details

Oldrevision Old revision is: [6ea1c036..] (diff)
Patch Patch file Makefile (diff)
Patch file Makefile_build.gpr (diff)
Patch file Makefile_test.gpr (diff)
Patch file README (diff)
Patch file TODO (diff)
Patch file demo/demo.adb (diff)
Patch file src/gmp-binding.adb (diff)
Patch file src/gnu_multiple_precision-aux.adb (diff)
Patch file src/gnu_multiple_precision-aux.ads (diff)
Patch file src/gnu_multiple_precision-big_floats.adb (diff)
Patch file src/gnu_multiple_precision-big_floats.ads (diff)
Patch file src/gnu_multiple_precision-big_integers.adb (diff)
Patch file src/gnu_multiple_precision-big_integers.ads (diff)
Patch file src/gnu_multiple_precision-big_rationals.adb (diff)
Patch file src/gnu_multiple_precision-big_rationals.ads (diff)
Patch file src/gnu_multiple_precision-generic_text_io.adb (diff)
Patch file src/gnu_multiple_precision-random_numbers.adb (diff)
Patch file src/gnu_multiple_precision-random_numbers.ads (diff)
Patch file src/gnu_multiple_precision.adb (diff)
Patch file src/gnu_multiple_precision.ads (diff)
Ancestry of 8044077b9f60f3e447850162e91c07b0886ecaa9
reading this graph