2010-05-01 12:57:18 +01:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
|
|
|
"http://www.w3.org/TR/1999/REC-html401-19991224/strict.dtd">
|
|
|
|
|
|
|
|
|
|
<html>
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
<title>YAP change log</title>
|
|
|
|
|
<link rel=stylesheet href="changes.css" type="text/css">
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<hr>
|
|
|
|
|
|
2010-05-11 22:22:13 +01:00
|
|
|
<h1>Changes in YAP-6</h1>
|
2010-05-01 12:57:18 +01:00
|
|
|
|
2010-08-04 20:29:24 +01:00
|
|
|
<h2>Yap-6.0.7:</h2>
|
2010-08-04 23:26:50 +01:00
|
|
|
<ul>
|
2010-08-31 04:25:56 +01:00
|
|
|
<li> NEW: support div/2 as per WG17. </li>
|
2010-08-17 13:19:17 +01:00
|
|
|
<li> FIXED: restore from / file should just try that file. </li>
|
|
|
|
|
<li> FIXED: bad things can happen to P when user code is called (obs
|
|
|
|
|
from Ingo Thon). </li>
|
2010-08-06 00:58:11 +01:00
|
|
|
<li> NEW: coinduction.yap. </li>
|
2010-08-05 22:36:00 +01:00
|
|
|
<li> FIXED: remove leftover files including two lib*.a (obs from
|
|
|
|
|
Bernd Gutmann).</li>
|
2010-08-05 22:35:16 +01:00
|
|
|
<li> FIXED: Make clean should result in recompiling all *.o (obs from
|
|
|
|
|
Bernd Gutmann).</li>
|
2010-08-04 23:36:41 +01:00
|
|
|
<li> NEW: Ulrich Neumerkel's lambda library.</li>
|
|
|
|
|
<li> DELETE: ^/2 and ^/3 as grammar built-ins.</li>
|
2010-08-04 23:26:50 +01:00
|
|
|
<li> FIXED: make install in clpqr was broken if we used local install_sh .</li>
|
2010-08-04 22:09:08 +01:00
|
|
|
<li> DELETE: atan/2 arithmetic function, use atan2/2 instead (WG17).</li>
|
|
|
|
|
<li> FIXED: compilation in Solaris was broken because of conflict in
|
|
|
|
|
declaration of gethostname.</li>
|
|
|
|
|
<li> FIXED: acyclic_term/1 is now built-in (WG17).</li>
|
|
|
|
|
<li> NEW: subsumes_term/2 (WG17).</li>
|
2010-08-04 20:29:24 +01:00
|
|
|
</ul>
|
|
|
|
|
|
2010-05-11 22:22:13 +01:00
|
|
|
<h2>Yap-6.0.6:</h2>
|
2010-05-01 12:57:18 +01:00
|
|
|
<ul>
|
2010-05-14 12:42:30 +01:00
|
|
|
<li> FIXED: fix problems in indexing compiled bignums (obs from Jos de
|
|
|
|
|
Roo), center hash computing code in TermExt.h.</li>
|
2010-05-13 00:04:56 +01:00
|
|
|
<li> FIXED: similar problem in unify_dbterm.</li>
|
|
|
|
|
<li> FIXED: bug in implementation of unify_bigint instruction (obs
|
|
|
|
|
from Jos de Roo).</li>
|
2010-05-11 22:22:13 +01:00
|
|
|
</ul>
|
|
|
|
|
|
|
|
|
|
<h2>Yap-6.0.5:</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li> FIXED: get rid of L constants (use cast).</li>
|
|
|
|
|
<li> FIXED: outputing inf and nan in WIN32/64 (obs from Paulo Moura).</li>
|
|
|
|
|
<li> NEW: WIN64 port.</li>
|
|
|
|
|
<li> FIXED: improve SWI frame handling.</li>
|
|
|
|
|
<li> FIXED: stack expansion could rewrite doubles and big ints.</li>
|
|
|
|
|
<li> FIXED: unsafe test for attvar could crash.</li>
|
|
|
|
|
<li> FIXED: rbtree doc (from Jan Wielemaker).</li>
|
|
|
|
|
<li> FIXED: trail marking should be careful to reset attvars to attvars.</li>
|
|
|
|
|
<li> FIXED: pl_function_t not function_t.</li>
|
|
|
|
|
<li> NEW: update sgml package to latest SWI.</li>
|
|
|
|
|
<li> FIXED: automatic generation of SWI atoms.</li>
|
2010-05-03 14:26:56 +01:00
|
|
|
<li> IMPROVEMENT: better emulation of SWI atom_t and functor_t. Now
|
|
|
|
|
they can be defined to be a constant.</li>
|
2010-05-01 12:57:18 +01:00
|
|
|
<li> FIXED: 64 bit complaints in Matlab interface.</li>
|
|
|
|
|
</ul>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<hr>
|
|
|
|
|
|
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
