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

3256 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ricardo Rocha
fc31e7066e improve the support for deterministic tabling (still experimental, 
problems mainly with the garbage collector)
 2009-08-07 17:29:53 +01:00
Ricardo Rocha
cc2c6dbe71 make the parallel and sequential code to check/insert nodes in the 
trie more consistent
 2009-08-07 06:27:34 +01:00
Ricardo Rocha
375f3b7bc6 fix debugging procedures for tabling 2009-08-07 04:46:45 +01:00
Ricardo Rocha
981bee74f0 fix garbage collector for dealing with float/longint trie instructions 2009-08-07 04:34:48 +01:00
Ricardo Rocha
7d50687c46 stdio.h include missing 2009-08-07 00:16:21 +01:00
Ricardo Rocha
b4a71ad43a empty --> EMPTY 2009-08-06 18:34:21 +01:00
Ricardo Rocha
36e6925776 make the support for early completion optional (macro TABLING_EARLY_COMPLETION) 2009-08-06 02:27:59 +01:00
Ricardo Rocha
cf5d68edda fix recursive functions that manipulate tries 2009-08-05 05:48:00 +01:00
U-Khasa\Vitor
f68cc92bce make sure binary files are open as binary in WIN32 (obs from Meera Sridhar). 2009-08-02 16:04:21 -05:00
U-Khasa\Vitor
2c53d1f8ed fix error message in put 2009-08-02 15:54:27 -05:00
Costa Vitor
068242a833 mention examples in README file. 2009-07-31 17:39:21 -05:00
Costa Vitor
77e947cdae - upgrade to latest simplecudd. 
- fix paths in learning.
 2009-07-31 17:04:11 -05:00
Costa Vitor
98843bea46 update to version 07312009 of ProbLog. 2009-07-31 12:18:03 -05:00
Vitor Santos Costa
1fa608010a for some reason, tabling codes likes using cp_ap == NULL for SLD complete goals. 2009-07-31 08:31:17 -05:00
Vitor Santos Costa
5327c8bfe7 gc of tabling cps: now, if current cp is in gen chain, mark it as completion, 
otherwise, mark it as trust_fail.
 2009-07-31 08:29:27 -05:00
Vitor Santos Costa
daa05caf86 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-07-28 21:38:26 -05:00
Vitor Santos Costa
9c74080512 fix memory overflow when doing very large writes on strings (obs from Jos Deroo). 2009-07-28 18:30:15 -05:00
Costa Vitor
93c6e65b7e tabling would set ap=NULL on producers and SLD nodes. Set SLD trusted nodes to TRUST_FAIL. 2009-07-24 15:08:07 -05:00
Costa Vitor
59e0f71a7d trust_fail needs not to mark environments, but in contrast termination needs. 2009-07-24 15:07:39 -05:00
Vitor Santos Costa
11fb9183e1 make sure we track both producers and consumers (I am not sure we need to track 
producers, though)
Always mark choicepoint, even if cp_ap==NULL (fixes wine).
 2009-07-23 23:13:16 -05:00
Vitor Santos Costa
22ac3ee80b Use >< for xor (Paulo Mour, Iso meeting) 2009-07-23 14:31:04 -05:00
Vitor Santos Costa
a1e6a2baa7 bad priority for +/1. (Paulo Moura, ISO) 2009-07-23 14:27:04 -05:00
Vitor Santos Costa
7155aa943f make sure that variables in tabled predicates are safe for backtracking: new 
variables should be bound carefully.
 2009-07-22 23:28:04 -05:00
Costa Vitor
4882cefa12 get rid of debugging code. 2009-07-22 17:02:56 -05:00
Costa Vitor
0e2d3e3a91 fix bad argument processing in non-inlined arithmetic comparisons. 2009-07-22 17:02:02 -05:00
Costa Vitor
c8946e1e4e support inline arithemtic builtins as non-inlined. 2009-07-22 17:01:30 -05:00
Costa Vitor
d9a48c4014 disable inlining in tabled predicates (maybe a bit too harsh). 2009-07-22 17:00:49 -05:00
Costa Vitor
014209c22f undo bug fix, it just handled one case. 2009-07-22 14:31:15 -05:00
Costa Vitor
ead58f6b34 in tabled mode, replace X is Y by X=X', is(Y') to avoid cases where Y is assigned determinastically but needs to be later restored. (obs Ricardo Rocha) 2009-07-22 14:23:32 -05:00
Vitor Santos Costa
c1024caa53 Unify emptylist of variables if one reads EOF. 2009-07-21 00:11:44 -05:00
Vitor Santos Costa
82b1a6f62a make it compile back in Unix. 2009-07-20 23:13:36 -05:00
U-Khasa\Vitor
868c7158ab improve SWI emulation in WIN32 2009-07-20 20:56:54 -07:00
U-Khasa\Vitor
d3fa43d08e improve SWI emulation in WIN32 2009-07-20 20:56:16 -07:00
U-Khasa\Vitor
d67332dc19 Improve error handling when loading DLLs 2009-07-20 20:55:22 -07:00
U-Khasa\Vitor
b9e10203bd make YAP dlls always export procedures 2009-07-20 20:54:54 -07:00
U-Khasa\Vitor
2020a31362 mingw compilation 2009-07-18 13:38:38 -07:00
Costa Vitor
869671fb1b make sure to have trail entries reset on setjump (obs from Jose Santos). 2009-07-17 19:31:20 -05:00
Costa Vitor
66683aeef9 slots were not inited in tabling code, due to bad ifdef (obs from Chris Mungall). 2009-07-17 18:39:50 -05:00
Costa Vitor
390408d5af fix checking profiled choice-points (obs from Jose Santos). 2009-07-15 22:16:05 -05:00
Costa Vitor
a69a34f3a5 fields/ library predicate, to return empty fields. 2009-07-15 17:30:27 -05:00
Costa Vitor
0b85333018 fix int/UInt messup. 2009-07-15 17:29:26 -05:00
Costa Vitor
8a38c64441 fix uninitialised variable (valgrind). 2009-07-15 14:27:56 -05:00
Costa Vitor
8569aacfe5 check for very long wchar_t strings when scanning (obs from Jan Wielemaker). 2009-07-15 14:26:56 -05:00
Vitor Santos Costa
a1775fb031 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-07-13 21:58:29 -05:00
Vitor Santos Costa
ad30c36626 fix overflow testing in matrix_to_list 2009-07-13 21:57:01 -05:00
Vitor Santos Costa
11cefa668a handle overflow error in YAP_MkPairTerm ( obs from Fabrizio Riguzzi). 2009-07-13 21:55:57 -05:00
Vitor Santos Costa
6e3830aa4b improve error handling in arithmetic comparison (obs from Jose Santos) 2009-07-08 10:32:14 -05:00
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