Up to [local] / OpenXM_contrib2 / asir2018 / builtin
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.2 / (download) - annotate - [select for diffs], Tue Nov 12 10:53:22 2019 UTC (4 years, 11 months ago) by kondoh
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +2 -2
lines
Diff to previous 1.1 (colored)
Added elementary functions for interval arithmetic using mpfi
Revision 1.1 / (download) - annotate - [selected], Wed Sep 19 05:45:06 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
Added asir2018 for implementing full-gmp asir.