diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,331 Commits 2 Branches 6 Tags 146 MiB
4e0390da5c
Commit Graph

1992 Commits

Author SHA1 Message Date
Vítor Santos Costa
4e0390da5c Merge branch 'master' of ../yap-6.2 2010-12-02 19:42:52 +00:00
Vítor Santos Costa
514758e65b imake call_foreign_function module aware. 2010-12-01 19:30:58 +00:00
Vitor Santos Costa
7f846cd17b Merge ../yap-6.2 2010-12-01 14:04:55 +00:00
Vitor Santos Costa
22c27e0d5e fix debugging stuff. 2010-11-30 22:34:54 +00:00
Vitor Santos Costa
bb679f15fd Merge ../yap-6.2 2010-11-30 22:34:16 +00:00
Vitor Santos Costa
aead067476 mv swi compatibility stuff to library/dialect 2010-11-30 22:33:33 +00:00
Vitor Santos Costa
7341d86758 Merge ../yap-6.2 2010-11-30 22:02:42 +00:00
Abramo Bagnara
94194209ec Extended C predicates to have 10 arguments. 2010-11-30 12:27:30 +00:00
Vítor Santos Costa
63ea05bde8 Merge branch 'master' of ../yap-6.2 2010-11-29 18:45:50 +00:00
Vítor Santos Costa
c454690a67 fix save_program to reload foreign files SWI style when restarting. 2010-11-29 18:44:39 +00:00
Vítor Santos Costa
40be6b56f2 Merge branch 'master' of ../yap-6.2 2010-11-29 18:09:19 +00:00
Vítor Santos Costa
863747da7b fix save/1 and save/2 to at least work now. 2010-11-29 18:08:11 +00:00
Vítor Santos Costa
338a6a1b9b Merge branch 'master' of ../yap-6.2 2010-11-29 16:53:32 +00:00
Vítor Santos Costa
a1d9a1d095 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-11-29 16:52:25 +00:00
Vitor Santos Costa
d1a05d2fb4 Merge ../yap-6.2 2010-11-28 11:53:16 +00:00
Vitor Santos Costa
4aee4df719 single initialization for top frame. 2010-11-28 11:51:31 +00:00
Vitor Santos Costa
55d28f6ad5 Merge ../yap-6.2 2010-11-26 23:37:36 +00:00
Vitor Santos Costa
471cc93f6c fix some bad code in legalAtom, allowing /a/b not to be quoted (obs from Paulo Moura). 2010-11-26 23:36:50 +00:00
Vítor Santos Costa
89280493d0 fix restopring from gfull saved states. 2010-11-26 18:02:44 +00:00
Vítor Santos Costa
31d0969585 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-11-25 16:33:50 +00:00
Vítor Santos Costa
969dcfa98c save should set slots. 2010-11-25 16:33:25 +00:00
Vitor Santos Costa
edae401189 Merge ../yap-6.2 2010-11-24 10:02:04 +00:00
Vitor Santos Costa
bdc497cba0 Merge ../yap-6.2 2010-11-24 08:44:37 +00:00
Paulo Moura
907d10128d Commented out buggy patch for supporting quote atoms starting with /* as it breaks write_canonical/1. 2010-11-23 00:12:41 +00:00
Vitor Santos Costa
f9cd010242 do not reexecute function on restore if f_name is NULL. 2010-11-22 21:47:17 +00:00
Vítor Santos Costa
a2286354c8 fix shared object stuff (obs from Roberto Bagnara). 2010-11-22 18:07:01 +00:00
Vitor Santos Costa
cee293fe3a Merge ../yap-6.2 2010-11-22 12:52:07 +00:00
Vitor Santos Costa
2ee12ca1a7 only force 1E30 an error if in ISO mode. 
always 1.0e30.
 2010-11-22 12:51:02 +00:00
Vitor Santos Costa
9c91a63436 Merge ../yap-6.2 2010-11-22 10:38:22 +00:00
Vitor Santos Costa
92bfc4cedc fix loop in c_files (obs from roberto bagnara). 2010-11-22 10:36:32 +00:00
Vitor Santos Costa
1730d4e206 fix profon profon (obs from Bernd). 2010-11-21 23:31:42 +00:00
Vitor Santos Costa
133e562adb fix profon profon (obs from Bernd). 2010-11-21 23:04:38 +00:00
Vitor Santos Costa
cf59f9aedc Merge ../yap-6.2 2010-11-21 22:12:20 +00:00
Vitor Santos Costa
7640700fdf [PATCH-YAP 6/6] ISO: compound(+1). now holds. 
from ulrich neumerkel
 2010-11-21 22:11:10 +00:00
Vitor Santos Costa
0fa3fff5d5 [PATCH-YAP 5/5] ISO: reject 1E1 as float notation 
from ulrich neumerkel
 2010-11-21 22:09:07 +00:00
Vitor Santos Costa
c4913849c6 [PATCH-YAP 3/4] ISO: Restrict binary, octal, hexadecimal integer constant indicators 
and exponent char to minuscules.  (6.4.4)
from Ulrich Neumerkel
 2010-11-21 21:55:58 +00:00
Vitor Santos Costa
86d0a251b5 [PATCH-YAP 4/4] ISO: quote atoms starting with /* (7.10.5 d) 
from ulrich neumerkel
 2010-11-21 21:53:58 +00:00
Vitor Santos Costa
bb570108de ISO: Always bracket atoms that are current operators when written as 
operands (7.10.5 h 2 ii)
 2010-11-21 21:47:07 +00:00
Vitor Santos Costa
f34cd3cfea Merge ../yap-6.2 2010-11-07 19:57:39 +00:00
Vitor Santos Costa
c8c5c3d1dc Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-11-07 19:56:34 +00:00
Vitor Santos Costa
d1c27fd31e Merge ../yap-6.2 2010-11-07 19:45:44 +00:00
Vitor Santos Costa
8f02054109 From Keri Harris 
In the event that Yap is compiled on a machine where the timezone is not set
it's possible to hit a buffer overflow:
 2010-11-07 19:32:40 +00:00
Vítor Santos Costa
6fb86625c6 fix operator declaration (patch from Ulrich Neumerkel) 2010-11-05 11:00:14 +00:00
Vitor Santos Costa
216c1b85f3 an implementation of the meld language. 2010-11-01 21:29:12 +00:00
Vitor Santos Costa
8ca680705d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2010-11-01 21:28:49 +00:00
Vitor Santos Costa
2f3d762f80 display reference count in DBRef. 2010-11-01 21:28:18 +00:00
Vítor Santos Costa
e509d11c2e routines to copy rational terms to tree and vice-versa. 2010-11-01 20:11:28 +00:00
Vítor Santos Costa
a44d847b61 improve writing infinite terms. 2010-11-01 20:10:32 +00:00
Vítor Santos Costa
d1a0cfe21a Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-10-29 14:43:30 +01:00
Vitor Santos Costa
7e90e90239 fixes to number_codes and number_chars. 2010-10-29 10:28:25 +01:00