diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix GMP

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1522 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2006-01-18 06:02:02 +00:00
parent 54595ec094
commit 3f20b8d418
4 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/adtdefs.c
View File

@ -751,7 +751,7 @@ Yap_GetValue(Atom a)
}
#ifdef USE_GMP
else {
out = Yap_MkBigIntTerm(Yap_BigIntOfTerm(out));
out = Yap_MkBigIntTermCopy(Yap_BigIntOfTerm(out));
}
#endif
}

1
C/arith1.c
View File

@ -101,7 +101,6 @@ EvalToTerm(blob_type f, union arith_ret *res)
case big_int_e:
{
Term t = Yap_MkBigIntTerm(res->big);
mpz_clear(res->big);
return t;
}
#endif

6
H/arith2.h
View File

@ -688,7 +688,11 @@ p_times(Term t1, Term t2 E_ARGS)
}
case double_e:
/* big * float */
RFLOAT(mpz_get_d(v1.big)*v2.dbl);
{
Float dbl = mpz_get_d(v1.big)*v2.dbl;
mpz_clear(v1.big);
RFLOAT(dbl);
}
case big_int_e:
/* big * big */
{

3
changes-5.1.html
View File

@ -16,7 +16,8 @@
<h2>Yap-5.1.0:</h2>
<ul>
<li> FIXED: don't pass a pointer to a mpz_t.</li>
<li> FIXED: MkBigInt already frees bigint.</li>
<li> FIXED: don't pass a pointer to a mpz_t. (Nuno Fonseca)</li>
<li> FIXED: YENV may be an HW register ('d break some tabling code)
(Remko Troncon) </li>
<li> FIXED: All YAAM instructions are now brackedted, so Op introduced an { and EndOp intr