CVS log for OpenXM_contrib2/asir2018/engine/p-itv.c

Default branch: MAIN

Revision 1.6 / (download) - annotate - [select for diffs], Tue Nov 12 10:53:22 2019 UTC (5 years, 1 month ago) by kondoh
Branch: MAIN
CVS Tags: HEAD
Changes since 1.5: +40 -16 lines
Diff to previous 1.5 (colored)

Added elementary functions for interval arithmetic using mpfi

Revision 1.5 / (download) - annotate - [select for diffs], Thu Nov 7 08:50:49 2019 UTC (5 years, 1 month ago) by kondoh
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

fix istoitv()

Revision 1.4 / (download) - annotate - [select for diffs], Thu Oct 17 03:03:12 2019 UTC (5 years, 2 months ago) by kondoh
Branch: MAIN
Changes since 1.3: +9 -7 lines
Diff to previous 1.3 (colored)

fix interval arithmetic

Revision 1.3 / (download) - annotate - [select for diffs], Tue Jun 4 07:11:23 2019 UTC (5 years, 6 months ago) by kondoh
Branch: MAIN
Changes since 1.2: +47 -27 lines
Diff to previous 1.2 (colored)

fix interval arithmetic

Revision 1.2 / (download) - annotate - [select for diffs], Fri Sep 28 08:20:28 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.1: +4 -4 lines
Diff to previous 1.1 (colored)

Changed macros : QTOS->ZTOS, STOQ->STOZ etc.

Revision 1.1 / (download) - annotate - [select for diffs], Wed Sep 19 05:45:07 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN

Added asir2018 for implementing full-gmp asir.

Diffs between
and