-
Notifications
You must be signed in to change notification settings - Fork 17
/
changes-6.0.html
72 lines (59 loc) · 2.31 KB
/
changes-6.0.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<!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>
<h1>Changes in YAP-6</h1>
<h2>Yap-6.0.7:</h2>
<ul>
<li> NEW: YAP_SetYAPFlag (request from Theo Mantadelis). </li>
<li> NEW: support div/2 as per WG17. </li>
<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>
<li> NEW: coinduction.yap. </li>
<li> FIXED: remove leftover files including two lib*.a (obs from
Bernd Gutmann).</li>
<li> FIXED: Make clean should result in recompiling all *.o (obs from
Bernd Gutmann).</li>
<li> NEW: Ulrich Neumerkel's lambda library.</li>
<li> DELETE: ^/2 and ^/3 as grammar built-ins.</li>
<li> FIXED: make install in clpqr was broken if we used local install_sh .</li>
<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>
</ul>
<h2>Yap-6.0.6:</h2>
<ul>
<li> FIXED: fix problems in indexing compiled bignums (obs from Jos de
Roo), center hash computing code in TermExt.h.</li>
<li> FIXED: similar problem in unify_dbterm.</li>
<li> FIXED: bug in implementation of unify_bigint instruction (obs
from Jos de Roo).</li>
</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>
<li> IMPROVEMENT: better emulation of SWI atom_t and functor_t. Now
they can be defined to be a constant.</li>
<li> FIXED: 64 bit complaints in Matlab interface.</li>
</ul>
<hr>
</body>
</html>