Commit Graph

6430 Commits

Author SHA1 Message Date
Vitor Santos Costa
0865235c48 swi stuff 2013-01-19 23:06:38 +00:00
Vitor Santos Costa
5880420db9 swi stuff 2013-01-19 22:15:57 +00:00
Vítor Santos Costa
014a0ec5bc CurSlot maintenance 2013-01-19 22:13:43 +00:00
Vítor Santos Costa
eea91f782f more swi win fixes 2013-01-19 14:40:08 +00:00
Vítor Santos Costa
5023da7893 Windows SWI upgrades 2013-01-19 14:35:11 +00:00
Vítor Santos Costa
290e58e262 SWI update 2013-01-19 14:19:01 +00:00
Vítor Santos Costa
b7c230217a update to recent SWI. 2013-01-19 14:15:48 +00:00
Vítor Santos Costa
a1e599ebe4 windows stuff 2013-01-19 11:48:36 +00:00
Vitor Santos Costa
05f9a935e1 windows stuff 2013-01-19 11:47:14 +00:00
Vítor Santos Costa
0e262df2ee fix readline interrupts. 2013-01-19 09:59:31 +00:00
Vitor Santos Costa
c03b5095a3 fix bad define (mei). 2013-01-18 15:23:59 +00:00
Vitor Santos Costa
b25e1fb7e8 update 2013-01-18 14:34:15 +00:00
Vitor Santos Costa
4791a18c5b don't rset RO flags 2013-01-18 14:33:41 +00:00
Vitor Santos Costa
20398352e3 who will you check? 2013-01-18 14:32:13 +00:00
Vitor Santos Costa
bd83674168 new from SWI 2013-01-18 14:31:48 +00:00
Vitor Santos Costa
4f5a3469d6 new from SWI 2013-01-18 14:31:15 +00:00
Vitor Santos Costa
85acf5c4ea slots and recover ENV in failure 2013-01-18 14:30:35 +00:00
Vitor Santos Costa
8758b6de5a improve error handling for qload 2013-01-18 14:30:10 +00:00
Vitor Santos Costa
7e3db0f75c improve error handling for qload 2013-01-18 14:29:41 +00:00
Vitor Santos Costa
fa470556f2 obey types 2013-01-18 14:27:46 +00:00
Vitor Santos Costa
0f362ae77f term and goal expansion should actually call the goal 2013-01-18 14:27:06 +00:00
Vitor Santos Costa
e87a4f4f56 handle exec flags 2013-01-18 14:26:24 +00:00
Vitor Santos Costa
f98a2d5e01 fix unbound throw (obs from Paualo Moura). 2013-01-17 14:00:12 +00:00
Vitor Santos Costa
e7da973009 FreeBSD support by mei 2013-01-17 12:59:52 +00:00
Vitor Santos Costa
33714b14b9 atom completion in readline 2013-01-17 12:43:01 +00:00
Vitor Santos Costa
098608700c fix history 2013-01-17 10:12:08 +00:00
Vítor Santos Costa
e22e3d74a0 thread support 2013-01-17 09:09:46 +00:00
Vitor Santos Costa
7407ecb60c SWI extension including write variable_names 2013-01-17 00:17:02 +00:00
Vitor Santos Costa
4b5ef10caf SWI portability 2013-01-16 12:33:06 +00:00
Vitor Santos Costa
7cf4e9442c SWI portability 2013-01-16 12:28:37 +00:00
Vitor Santos Costa
1bba29c646 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-16 11:32:08 +00:00
Vítor Santos Costa
b10d95393e SWI update 2013-01-16 11:31:37 +00:00
Vitor Santos Costa
298fb62f0c Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-16 11:29:38 +00:00
Vítor Santos Costa
abe6621495 SWI update 2013-01-16 11:28:58 +00:00
Vítor Santos Costa
0eacb68907 SWI update 2013-01-16 00:19:07 +00:00
Vitor Santos Costa
9550393e66 check for enough head space 2013-01-15 22:58:34 +00:00
Vitor Santos Costa
5a6f6c09ce iupdate buffer. 2013-01-15 17:13:41 +00:00
Vitor Santos Costa
e85e76cd57 update to newer pl-file.c and pl-write.c. 2013-01-15 16:51:55 +00:00
Vitor Santos Costa
5ae2ccc416 exo 2013-01-15 11:18:44 +00:00
Vitor Santos Costa
8c8392b5da exo support 2013-01-15 11:18:09 +00:00
Vitor Santos Costa
1207205493 fix setof bugs 2013-01-15 11:17:56 +00:00
Vitor Santos Costa
a0cd8070c9 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-01-14 23:10:56 +00:00
Vitor Santos Costa
be5208f281 fix search for free variables in bagof. 2013-01-14 22:46:06 +00:00
Vitor Santos Costa
be668f1558 debugging stuff 2013-01-14 22:45:58 +00:00
Tiago Gomes
cac748d41a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-01-14 16:43:46 +00:00
Vítor Santos Costa
0c9342466b handle random on big ints (jan burse) 2013-01-14 09:56:25 +00:00
Vítor Santos Costa
48ea1f5ec5 exo clause support 2013-01-14 09:48:05 +00:00
Vítor Santos Costa
798afc81c4 fix argv[0] discovery. 2013-01-13 17:55:13 +00:00
Vítor Santos Costa
ec37045ca3 new versions. 2013-01-13 11:53:58 +00:00
Vítor Santos Costa
e054db052d fix hashing function. 2013-01-13 11:49:12 +00:00