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

2959 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ricardo Rocha
02e82d7719 disable the support for trie compact lists in YapTab's default 
configuration.
 2009-07-05 05:29:53 +01:00
Ricardo Rocha
5e4d7078ab support for trie compact lists (version 2): this new version uses 
different marks to distinguish the lists ending with the empty list
from the lists ending with a non-empty list term.
 2009-07-05 05:14:08 +01:00
Ricardo Rocha
6f2d5679c6 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-07-03 00:56:37 +01:00
Ricardo Rocha
c666f74532 support for deterministic tabled calls and answers 2009-07-03 00:54:39 +01:00
Costa Vitor
df8f194d80 fix setof cleanup vars (patch from Bart Demoen). 2009-07-02 14:46:07 -05:00
Costa Vitor
5d966928b9 prolog_file_name/2 was missing 2009-07-01 12:11:33 -05:00
Ricardo Rocha
cd2902f0d8 deleting old files for trie library 2009-07-01 16:35:21 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
d9cdee931c Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-06-27 11:56:10 +02:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
1f4717d502 added PICL program 2009-06-27 11:54:33 +02:00
Costa Vitor
026a666055 trail check on C entry: make sure we don't have unhandled trail overflows. 2009-06-26 14:08:15 -05:00
Costa Vitor
772d091a70 fix bad call to retry_counter 2009-06-26 13:16:42 -05:00
Costa Vitor
69c0a52548 Revert "ENV may not be in scope of catch in very special cases (eg, call counter)." 
This reverts commit 15f9a68a35.

Botch!
 2009-06-26 13:04:07 -05:00
Vitor Santos Costa
15f9a68a35 ENV may not be in scope of catch in very special cases (eg, call counter). 2009-06-26 09:15:19 -05:00
Vitor Santos Costa
ff20a23e64 stop counters at counter underflow event 2009-06-26 08:42:40 -05:00
Vitor Santos Costa
4d6cd779cb fix warnings. 2009-06-25 22:31:02 -05:00
Ricardo Rocha
7413d0f898 bug fix in built-in predicate tabling_statistics/0. 2009-06-25 13:00:13 +01:00
Ricardo Rocha
5b60209db3 bug fix in function free_subgoal_trie_branch() 2009-06-25 12:37:07 +01:00
Ricardo Rocha
c47da032a8 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-06-24 20:06:00 +01:00
Ricardo Rocha
eeb62b63b4 support for trie compact lists 2009-06-24 20:04:16 +01:00
Ricardo Rocha
3ccad9aff2 redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi 
library
 2009-06-24 20:00:51 +01:00
Costa Vitor
924cf77fed fix another loop in spy_pred. 2009-06-23 23:24:16 -05:00
Costa Vitor
39e3bc8e41 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-06-23 06:52:15 -05:00
Costa Vitor
058b389566 asserta dynamic predicates should not kill preexisting code. 2009-06-23 06:51:28 -05:00
Costa Vitor
246d32551a do not set PREG until being sure we have to jump 2009-06-23 06:50:53 -05:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
d79feb0310 bug fixes and performance improvement in SLGAD (lpad.pl) 2009-06-23 11:32:54 +02:00
Costa Vitor
2588f5b7c5 make sure we count built-ins. 2009-06-22 16:03:14 -05:00
Costa Vitor
09f5a9ccb1 make YAP ask less space in deeply nested calls of findall. 2009-06-22 15:37:17 -05:00
Costa Vitor
d8595221d0 optimise sub_atom when sub_atom is known. 2009-06-22 15:35:40 -05:00
Costa Vitor
d47560342c more fixes to call_counter: try to keep on counting system builtins. 2009-06-22 12:40:55 -05:00
Costa Vitor
50f7a80546 transfer call and profiler to spy. 2009-06-22 11:12:56 -05:00
Costa Vitor
fb85cc8c25 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-06-17 14:47:22 -05:00
Costa Vitor
bf9091b5ed fix bug in copyterm 2009-06-17 14:43:24 -05:00
Ricardo Rocha
3397e97732 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-06-17 17:16:31 +01:00
Ricardo Rocha
1351bd11a2 - bug fixes in show_table/1. 
- new built-in predicate show_all_tables/0.
 2009-06-17 17:14:16 +01:00
Costa Vitor
d0baedbf84 solaris support. 2009-06-16 23:31:45 -05:00
Costa Vitor
c846fc50c8 fix empty stuff in Makefile. 2009-06-16 23:26:45 -05:00
Costa Vitor
6a8f9faf4f solaris doesn't know limits. 2009-06-16 23:26:03 -05:00
Costa Vitor
8e74daf39e modern versions of Solaris use these registers for thread support. 2009-06-16 21:21:06 -05:00
Costa Vitor
53fa330d90 always use YREG, not YENV, in case we have enough registers. 2009-06-16 21:20:35 -05:00
Costa Vitor
4644320d8e fixes to support jpl compilation in Linux AMD64 bit machines. 2009-06-15 17:44:13 -05:00
Costa Vitor
10c7caab2d old machines may not have isinf 2009-06-15 15:00:31 -05:00
Costa Vitor
de5a09039f no_readline patches 
avoid warnings in no_gmp world
avoid complaining by Solaris
 2009-06-15 14:59:50 -05:00
Costa Vitor
b7b3abb2c7 very old machines and gcc may not have isinf 2009-06-15 14:58:57 -05:00
Costa Vitor
7f0a712c88 fix call to trim_trail on solaris 2009-06-15 13:51:30 -05:00
Costa Vitor
503c30e947 make sure we have support for feclearexcept 2009-06-15 10:30:12 -05:00
Costa Vitor
f5a72828a0 fix SPARC register allocation bugs (not verified) #130 2009-06-15 10:29:31 -05:00
Costa Vitor
9569d04a9f remove some warnings in the absence of GMP 2009-06-15 10:11:05 -05:00
Vitor Santos Costa
557ed169e8 fix processing of meta-arguments. 2009-06-14 22:58:12 -05:00
Vitor Santos Costa
9aae90680e fix maplist metapredicates in SWI. 2009-06-14 22:57:45 -05:00
Vitor Santos Costa
65e8ed2908 use more efficient predicate. 2009-06-14 22:57:07 -05:00