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

3014 Commits

Author SHA1 Message Date
Vítor Santos Costa
917d5ad75b line numbers for clauses and clause properties 2013-11-05 17:59:19 +00:00
Vítor Santos Costa
ddbed6f29b fix warning 2013-11-05 17:52:37 +00:00
Vitor Santos Costa
1a8facffac fix compilation without threads, thanks Andrea 2013-11-05 17:12:31 +00:00
U-w7\vsc
f2b90a1bb0 improve thread signal support, still far from good 2013-11-04 15:31:26 +00:00
Vítor Santos Costa
48d51e460a handle unknown arch, from Keri Harris 2013-11-04 07:22:13 +00:00
Vítor Santos Costa
ad0ff98f1a use swi flags whenever possible 2013-11-04 01:14:48 +00:00
Vítor Santos Costa
c1a3bfce42 add source location *after* initial comment 2013-11-04 00:05:29 +00:00
Vítor Santos Costa
b3a4666fc2 useful debugging code 2013-11-04 00:04:09 +00:00
Vítor Santos Costa
a86b79928d fix llvm sign warnings 2013-11-04 00:03:05 +00:00
Vítor Santos Costa
6f9b8bfca8 fix bad instruction format 2013-11-01 08:26:06 +00:00
U-w7\vsc
360e8a9269 WIN32 support 2013-10-30 13:56:35 +00:00
U-w7\vsc
013b21e527 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2013-10-30 10:35:39 +00:00
Vítor Santos Costa
d77de70868 extra protection 2013-10-30 09:41:15 +00:00
U-w7\vsc
1391dabd04 remove debugging info 2013-10-29 16:28:30 +00:00
Vitor Santos Costa
1cbe82da1e SWI flags compat 2013-10-29 12:43:31 +00:00
Vitor Santos Costa
ab9d2da775 improve LOCK init 2013-10-29 12:41:28 +00:00
Vitor Santos Costa
83695cc8c8 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-10-16 10:40:12 +01:00
Vitor Santos Costa
e19a910152 use private memory for yapor's alloc 2013-10-16 09:44:34 +01:00
Vítor Santos Costa
797c063785 debug bad exit 2013-10-14 08:04:24 +01:00
Vítor Santos Costa
70d864b13d fix limit on atoms to ints 2013-10-08 13:04:30 +01:00
Vítor Santos Costa
ff2acca219 fix operators 2013-10-07 12:20:52 +01:00
Vitor Santos Costa
f3cefdf895 yapor stuff 2013-10-04 18:18:57 +01:00
Vitor Santos Costa
43163a190f Atom Translations and CUDA stub 2013-10-04 13:22:00 +01:00
Vitor Santos Costa
d46276edbe include wid when inittiing yapor regs 2013-10-03 15:48:15 +01:00
Vitor Santos Costa
bf77381744 alloc K * Size 2013-10-01 16:42:12 +01:00
Vítor Santos Costa
bef9cec46a fix startup module on new thread to be user module 2013-09-28 23:20:39 +01:00
Vítor Santos Costa
577b99367d don't make mega-clauses always source 2013-09-28 18:20:04 +01:00
Vítor Santos Costa
048c00a7a6 fix writing [](_,_) 2013-09-28 12:12:09 +01:00
Vítor Santos Costa
72fe7e84c0 opaques are not integers 2013-09-28 12:06:01 +01:00
Vítor Santos Costa
5b6a3bffc1 iteration support 2013-09-28 12:04:52 +01:00
Vítor Santos Costa
6033eba372 missing unlock. 2013-09-21 23:19:21 +01:00
Vitor Santos Costa
448380c715 isupport opaque type testing. 2013-09-19 14:23:10 +01:00
Vitor Santos Costa
ad9a973a26 fix opaque variables & threads 2013-09-17 09:54:02 +01:00
Vítor Santos Costa
1eab4bc936 fix case new thread is created from thread that never had a thread installed 2013-09-17 00:26:37 +01:00
Vítor Santos Costa
5ea258f885 thread support 2013-09-13 15:02:00 +01:00
Vitor Santos Costa
2cfa0081ad make syntax extensions SWI compatible 2013-09-13 11:44:26 +01:00
Vitor Santos Costa
e1208fc7ad fix () extension 2013-09-13 10:52:52 +01:00
Vítor Santos Costa
6966d23195 fix P details when creating execution environment: we should save the old one 2013-09-08 22:24:09 +01:00
Vítor Santos Costa
d1ff57b178 no GMP compilation 2013-09-06 23:03:24 +01:00
Vítor Santos Costa
2028730eac check NULL 2013-09-05 00:48:00 +01:00
Vítor Santos Costa
3b29acea56 fix compilation in OSX 2013-08-09 19:46:04 -05:00
Vítor Santos Costa
0fd06d8cf1 fix quoting of \ 2013-08-09 18:36:45 -05:00
Vitor Santos Costa
d575ca8391 ISO patches 2013-08-08 15:04:36 -05:00
Vitor Santos Costa
2829696db7 fix bug in term_variables/3 with difference lists 2013-08-08 14:12:29 -05:00
Vitor Santos Costa
2c769767a4 fix bug in sub_atom when substring is largwer than string 2013-08-08 14:11:45 -05:00
Vitor Santos Costa
5f741122fa more user udi fixes 2013-08-05 15:07:51 -05:00
Vitor Santos Costa
cc6e33bff0 support logsum, very useful in probability computatiion 2013-07-25 10:20:33 -05:00
Vitor Santos Costa
0639f86980 fix error handling 2013-07-22 10:42:50 -05:00
Vitor Santos Costa
ab372b03af improve error handling 2013-07-22 10:40:47 -05:00
Vitor Santos Costa
45bf92fbed tabling gc fixes: TrNode_child may be NULL and solutions forthcoming 2013-07-18 10:57:21 -05:00
Vitor Santos Costa
4245a04ed0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-07-16 10:00:51 -05:00
Vitor Santos Costa
dde4830ceb Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-07-16 10:00:05 -05:00
Vitor Santos Costa
55a440cf0c add isinf and isnan. 2013-07-16 09:58:57 -05:00
Vitor Santos Costa
1f47d33579 improve gc of some tabling instructions 2013-07-09 22:48:19 +01:00
Vítor Santos Costa
493161f6d8 ciao style arrays, (...) 2013-07-07 16:15:25 -05:00
Vítor Santos Costa
c5554a343d fix doc text 2013-07-07 16:14:08 -05:00
Vitor Santos Costa
459ab89d7d more ezo stuff 2013-06-28 21:15:03 -05:00
Vitor Santos Costa
ec5f7ebb28 Chaange semantics for min and max 2013-06-25 22:53:23 -05:00
Vitor Santos Costa
a1632ff3e7 fix 32 bit offsets 2013-06-22 20:09:20 -05:00
Vitor Santos Costa
b257218ece fix bad alignment 2013-06-22 00:27:31 -05:00
Vitor Santos Costa
44ac5c6eac accumulator first try 2013-06-22 00:26:14 -05:00
Vitor Santos Costa
b2fda6c653 more exo fixes 2013-06-22 00:25:37 -05:00
Vitor Santos Costa
5c870c11f7 don't even try to compile unsupported gprof 2013-06-20 18:07:57 -05:00
Vítor Santos Costa
5303f2f479 simple check for all var arguments 2013-06-07 09:26:21 -05:00
Vítor Santos Costa
b6b44c655f unnecessary lock-pred 2013-06-07 09:25:40 -05:00
Vitor Santos Costa
e96750b476 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2013-06-05 23:01:10 +01:00
Vitor Santos Costa
4826d92709 exo updates 2013-06-05 23:00:57 +01:00
Vítor Santos Costa
dce491ef95 thread fixes 2013-06-03 22:03:59 -05:00
Vitor Santos Costa
b6b6b12c6f Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-06-03 16:40:12 -05:00
Vitor Santos Costa
639247b4c3 sub_atom/5 in C. 2013-05-15 17:12:01 -05:00
Vitor Santos Costa
3b2b4b03c8 split atom stuff to its own file 2013-05-09 18:00:41 -05:00
Vítor Santos Costa
6af394a35e fix PASS_REGS 2013-05-01 19:27:09 -05:00
Vítor Santos Costa
17cd9ab3c1 add debugging code 2013-05-01 19:27:00 -05:00
Vitor Santos Costa
34bf9bb311 more exo stuff. 2013-05-01 11:34:55 -05:00
Vitor Santos Costa
923be33404 speedup between 
more exo stuff.
 2013-04-30 15:23:01 -05:00
Vitor Santos Costa
64a61e2479 make between/3 a C-builtin. 2013-04-29 18:22:53 -05:00
Vitor Santos Costa
c04f04d078 more exo fixes. 2013-04-29 16:19:43 -05:00
Vitor Santos Costa
72cc5bc317 generalise interval handling 2013-04-29 11:58:05 -05:00
Vitor Santos Costa
f0bc4fb458 cut point should be initialised when bootrapping a new goal 2013-04-26 16:38:54 -05:00
Vitor Santos Costa
743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa
24a75525c0 fix compilation 2013-04-25 14:21:41 -05:00
Vítor Santos Costa
2c49edb975 more exo stuff 2013-04-25 09:48:06 -05:00
Vitor Santos Costa
52253e3e9e fix bugs in exo clause 2013-04-20 20:29:08 -05:00
Vítor Santos Costa
210dacfe5a exo-compilation fixes for threads. 2013-04-16 21:49:37 -05:00
Vitor Santos Costa
90abff4f2f Exo compilation, the range example. 2013-04-16 20:04:53 -05:00
Vitor Santos Costa
6d16dcf991 fix message 2013-04-16 14:38:01 -05:00
Vitor Santos Costa
a5095a921a fix messages with single atom 2013-04-14 21:37:43 +01:00
Vitor Santos Costa
c90f637852 io desc 0 is ok if all inp/out is closed 2013-04-07 02:13:29 +01:00
Vitor Santos Costa
f7980f941b avoid unnecessary CACHE_REGS in inlines. 2013-03-26 16:10:03 -05:00
Vitor Santos Costa
d163cadda1 pass regs when constructing long ints and floats. 
fix small gcc complaints.
 2013-03-26 15:01:52 -05:00
Vitor Santos Costa
bda5d56bdf memory recovery 2013-03-19 21:26:22 -05:00
Vitor Santos Costa
c364fccda8 fix memory allocation 2013-03-19 21:25:46 -05:00
Vitor Santos Costa
0ea010f3b2 remove debugging message 2013-03-19 21:25:24 -05:00
Vitor Santos Costa
4dac867fb8 new more compact/better hashing version of exo.c 2013-03-15 14:56:18 -05:00
Vitor Santos Costa
562372bb5a fix instance on database 2013-03-10 16:38:01 +00:00
Vitor Santos Costa
504ad22f92 more on slot management 2013-03-10 16:37:27 +00:00
Vítor Santos Costa
4fcba3691a just ignore SIGHUP 2013-03-03 20:29:02 -06:00
Vitor Santos Costa
1c12d456ae ensure failure after throw from user code. 2013-03-03 08:54:46 -06:00
Vítor Santos Costa
9e250c3d0a fix profiler reset on OSX. 2013-02-17 08:05:20 -06:00
Vítor Santos Costa
f1273132b5 Merge branch 'debugger' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-02-17 07:04:55 -06:00
Vítor Santos Costa
8cadc14ed4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	C/exec.c
 2013-02-17 07:03:38 -06:00
Vítor Santos Costa
4dc28bc48a add missing predicate. 2013-02-17 07:02:03 -06:00
Vítor Santos Costa
fdd05abd38 fix save_cp 2013-02-15 10:30:53 -06:00
Vítor Santos Costa
f431142ef4 Merge branch 'master' into debugger 
Conflicts:
	pl/boot.yap
 2013-02-13 09:08:58 -06:00
Vítor Santos Costa
ec7158eb99 debugger progress 2013-02-13 09:06:06 -06:00
Vitor Santos Costa
60969b9601 rem and mod used code from div :( (Robrto Bagnara) 2013-02-12 16:45:03 -06:00
Vitor Santos Costa
76f5696328 Merge branch 'master' into debugger 2013-02-08 20:39:00 +00:00
Vitor Santos Costa
19863f08f2 fix gprof undder a single running thread 2013-02-08 20:38:04 +00:00
Vítor Santos Costa
046cb5f8d6 debugging 2013-02-08 10:36:45 -06:00
Vitor Santos Costa
b34be4360b do not reset cintext before cut 2013-02-06 00:16:30 +00:00
Vitor Santos Costa
33da88be5b fix SWI exec issues and try to clean up the code a bit 2013-02-05 14:22:17 +00:00
Vitor Santos Costa
9ce268915d imprive error handling. 2013-01-29 10:50:04 +00:00
Vitor Santos Costa
14d4386e5a inf depth limit 2013-01-28 23:21:54 +00:00
Vítor Santos Costa
ab302e985b fix warning 2013-01-25 09:31:44 +00:00
Vítor Santos Costa
3c021a41cf statistics info 2013-01-23 09:58:02 +00:00
Vitor Santos Costa
2de1a678e4 fix atom_statistics 2013-01-23 09:55:11 +00:00
Vitor Santos Costa
ff5bf53d38 UDI support 2013-01-22 15:37:50 +00:00
Vítor Santos Costa
0898c52e6f fix init order to have terms when setting up Prolog flags 2013-01-21 09:37:55 +00:00
Vítor Santos Costa
9a71f20caa sysError 2013-01-21 09:37:32 +00:00
Vítor Santos Costa
0e89a9c2ff fix init order to have terms when setting up Prolog flags 2013-01-21 09:36:08 +00:00
Vítor Santos Costa
abe9f20a85 depth limit cn go to infinity 2013-01-20 23:15:09 +00:00
Vitor Santos Costa
00c47e0ecc fix compatibility with swi: _PL_unify_atomic 2013-01-20 16:46:11 +00:00
Vítor Santos Costa
014a0ec5bc CurSlot maintenance 2013-01-19 22:13:43 +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
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
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
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
e85e76cd57 update to newer pl-file.c and pl-write.c. 2013-01-15 16:51:55 +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
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
e054db052d fix hashing function. 2013-01-13 11:49:12 +00:00
Vítor Santos Costa
480e9aea69 fix bad ints (obs from Mei). 2013-01-13 11:48:31 +00:00
Vítor Santos Costa
8f2766cbf3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-11 19:26:11 +00:00
Vitor Santos Costa
e9d04ef9f5 save/restore exo 2013-01-11 18:36:34 +00:00
Vitor Santos Costa
f83379648c fix use of exo preds. 2013-01-11 16:45:14 +00:00
Vítor Santos Costa
d078a2b2c4 thread support 2013-01-10 23:22:11 +00:00
Vitor Santos Costa
649fae4294 more fixes to exo compilation. 2013-01-09 16:38:39 +00:00
Vitor Santos Costa
6cd778f70b exo stuff 2013-01-09 09:21:07 +00:00
Vitor Santos Costa
e14703b990 flags patch by Petr Pisaf 2013-01-09 09:20:41 +00:00
David Vaz
c9a01455b5 Merge branch 'udi_new' into yap 2013-01-08 18:45:39 +00:00
Vitor Santos Costa
f7adcf9b44 fix unnecessary dereferencing. 2013-01-08 13:09:31 +00:00
Vitor Santos Costa
2a44a0205b support backtracking with uninst args 2013-01-08 12:35:18 +00:00
Vitor Santos Costa
d98862f5ea debugging exo 2013-01-08 00:40:51 +00:00
David Vaz
38fcc19d55 Merge branch 'udi_new' of github.com:davidvaz/yap-udi into udi_new 2013-01-07 16:33:21 +00:00
Vítor Santos Costa
f063a2bd52 exo first step. 2013-01-07 09:47:14 +00:00
David Vaz
cdc15e8cd8 merge with yap-6.3 2013-01-06 20:09:48 +00:00
David Vaz
a9cacc7b33 Changes to autoconfigure libjudy in udi 2013-01-02 12:10:11 +00:00
David Vaz
58962f2595 UDI: some code refactor, simple code when no index intersection is needed 2013-01-02 11:23:54 +00:00
David Vaz
bae26c618b UDI: Added Judy1 with support for integer set intersection 2012-12-28 17:46:11 +00:00
David Vaz
e6c2fa30ee Added uthash to store indexed predicates info 2012-12-27 12:11:14 +00:00
Vítor Santos Costa
14b67dc76d fix threads 2012-12-20 21:33:20 +00:00
Vitor Santos Costa
cb37e7714a fix warnings 2012-12-20 21:13:51 +00:00
Vitor Santos Costa
a309f47794 MT support in win32 2012-12-20 21:13:20 +00:00
David Vaz
4efa594f0a UDI: more work 2012-12-20 17:13:30 +00:00
U-vsc-PC\vsc
4d9d22530f fix compilation on sequential win32 2012-12-19 00:48:43 +00:00
David Vaz
43e459b8f8 Changes Rtree so almost working 2012-12-18 18:26:59 +00:00
David Vaz
bd25c61fbf New work on UDI 2012-12-17 20:23:03 +00:00
Vitor Santos Costa
06cf326885 avoi calls to inityaamregs. 2012-12-17 16:27:15 +00:00
Vitor Santos Costa
f47a7bb999 add debugging hooks to gc 2012-12-17 16:25:27 +00:00
Vítor Santos Costa
45b6263f85 have a separator cell not to confuse the gc. 2012-12-15 00:40:11 +00:00
Vitor Santos Costa
6e94d6b37e remove debugging support 2012-12-15 00:16:59 +00:00
Vitor Santos Costa
f329b5f06b fix compilation without threads 2012-12-14 22:54:00 +00:00
Vitor Santos Costa
e648d197a8 fix worker_id assignment in threads 2012-12-14 19:58:07 +00:00
Vitor Santos Costa
2e6360738c itry to use size_t 
fix overflow handling bugs.
 2012-12-14 19:35:26 +00:00
Vitor Santos Costa
9107af2e3d improve thread startup 2012-12-13 18:12:50 +00:00
Vitor Santos Costa
eb63cf748c small sequential fixes 2012-12-11 22:15:02 +00:00
Vitor Santos Costa
e41f821d67 improve multi-threading support from C-interface. Still not quite there. 2012-12-11 22:07:10 +00:00
Vitor Santos Costa
87e811028c ifix indenting 2012-12-10 12:48:02 +00:00
Vitor Santos Costa
7b579b810f fix printing of opaque terms. 2012-12-10 12:47:01 +00:00
Vitor Santos Costa
b34c8b1b2c try to improve slot allocation. 2012-12-10 12:14:24 +00:00
Vitor Santos Costa
62aa6df644 fix bad register initialization. 2012-12-10 12:12:54 +00:00
Vitor Santos Costa
e05ee9670c unify indexing of dynamic and static clauses 2012-12-07 23:43:14 +00:00
Vitor Santos Costa
556937195d avoid meta-call in system; improve goal/pred expansion 2012-12-07 08:08:32 +00:00
Vitor Santos Costa
c52d7a182c fix memory leak in foreign code handling 2012-12-07 08:06:45 +00:00
Vítor Santos Costa
2607e59a16 add stash_predicate and fix hide_predicate. 2012-11-25 23:36:43 +00:00
Vitor Santos Costa
81a2420747 hide hidden predicates. 2012-11-08 14:07:55 +00:00
Vítor Santos Costa
f74164c642 correct support for goal expansion (bug report from Paulo Moura) 2012-11-07 13:49:54 +00:00
Vítor Santos Costa
37e4d242ad range predicates. 2012-11-02 22:36:33 +00:00
Vítor Santos Costa
3b44ed0660 fix warning 2012-11-02 22:35:51 +00:00
Vitor Santos Costa
f7493e0de6 fix comparsion with wide/unwide characters 2012-10-29 09:43:05 +00:00
Vitor Santos Costa
3e696eb831 fix bad index removal 2012-10-23 18:22:16 +01:00
Vitor Santos Costa
8126381e8d range and fix locals. 2012-10-23 14:55:44 +01:00
Vitor Santos Costa
139b06115e range builtins 2012-10-23 14:55:17 +01:00
Vitor Santos Costa
e92b8791c5 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-10-19 18:12:06 +01:00
Vitor Santos Costa
88f2dc7730 change the way predicates are hidden 2012-10-19 18:10:48 +01:00
Vítor Santos Costa
27737c31bd fix debug messages 2012-10-19 09:28:13 +01:00
Vitor Santos Costa
e596cce6f5 fix compilation under threads. 2012-10-17 17:24:14 +01:00
Vitor Santos Costa
3917a19ab9 bad ref counting with trust_log/threads 2012-10-17 17:23:47 +01:00
Vitor Santos Costa
474c088baf ifix thread compilation. 2012-10-17 17:22:43 +01:00
Vitor Santos Costa
f753bce4fe fix syntax error: tokens might be overwritten by Yap_unify( 2012-10-16 17:24:39 +01:00
Vitor Santos Costa
503bdcc8b3 check for overflow in big strings 2012-10-16 08:44:49 +01:00
Vitor Santos Costa
610ca06883 check for overflow in big strings 2012-10-16 08:44:26 +01:00
Vitor Santos Costa
ba866a36e2 check for memory overflow; avoid possible misalignments 2012-10-16 08:43:29 +01:00
Vitor Santos Costa
a4acb6a806 try to make sure we always have slots 2012-10-08 18:25:42 +01:00
Vitor Santos Costa
26b5173a33 use standard way to dump arguments 2012-10-08 18:25:17 +01:00
Vítor Santos Costa
ce7adaa632 text ARG2 first (obs from Ulrich Neumerkel) 2012-10-03 09:22:27 +01:00
Vítor Santos Costa
e60b485134 fix cyclic_term mess up from yesterday. 2012-10-03 09:11:37 +01:00
Vítor Santos Costa
4de83f5f52 include cyclic_term and friends. 2012-10-02 15:14:41 +01:00
Vítor Santos Costa
78a08e1b87 fix length/2 error handling. 2012-09-27 22:32:50 +01:00
Vítor Santos Costa
169339d5be fix atom_length/2 ISO. 2012-09-27 22:32:12 +01:00
Vítor Santos Costa
5249d02107 debug routine. 2012-09-26 23:08:01 +01:00
Vitor Santos Costa
710be1a5e8 add slots after new stack extension. 2012-09-26 22:08:17 +01:00
Vitor Santos Costa
20d31b8207 "-nosignals" option (used by JPL) 2012-09-26 22:06:59 +01:00
Vitor Santos Costa
01f8731f97 add -nosignals option. 2012-09-26 14:50:06 +01:00
Vítor Santos Costa
d5bf100b71 make full init even before entering Prolog top-level 2012-09-21 11:49:59 +01:00
VITOR SANTOS COSTA
89030ce97d Fix WriteBuffer and add WriteDynamicBuffer 2012-09-18 23:06:26 +01:00
Vítor Santos Costa
8d779f68ea fix writebuffer interface 2012-09-08 00:12:38 +02:00
Vítor Santos Costa
9019a1a7b7 RTLD_NOLOAD may not always be loaded 
dlopen should always have a matching dlclose.
 2012-09-07 07:40:18 +02:00
Vitor Santos Costa
dcc5b57016 remove broken meta-call optimisation. 2012-09-07 00:21:57 -05:00
Vitor Santos Costa
198fc03bae xirestore: predicates need timestamps inorder to find out which clauses are alive. 2012-08-23 21:01:32 +01:00
Vitor Santos Costa
1be424fe57 imprive speed of ql 2012-08-23 09:04:58 -05:00
Vitor Santos Costa
81743361a6 fix warning 2012-08-23 09:03:42 -05:00
Vitor Santos Costa
e2fb330575 avoid fixed sized hash tables. 2012-08-22 18:57:13 -05:00
Vitor Santos Costa
9353d28c2e fix meta-call 
optimise deterministic (a,b,c).
 2012-08-22 09:41:09 -05:00
Costa Vitor
020692635b fix extra message. 2012-08-14 16:08:03 -05:00
Costa Vitor
72c650cda0 be careful how you call macros. 2012-08-14 16:07:26 -05:00
Costa Vitor
bf4d37eb0d simplify meta-call handling. 2012-08-13 23:35:37 -05:00
Vitor Santos Costa
a8f0beb64b close streams on exit, so that we can flush the buffers 2012-08-02 09:59:57 -05:00
Vítor Santos Costa
adef8d4737 fix nil name class in Snow Leopard (obs from Paulo Moura). 2012-08-02 09:41:14 -05:00
Costa Vitor
53b694edd0 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-07-18 17:36:10 -05:00
Costa Vitor
c8ef4dbdb4 we cannot trust that just having on reference will protect a clause. Several references may go in a single operation! 2012-07-18 14:32:53 -05:00
Costa Vitor
82d6640fea fix bad counting. 2012-07-16 14:09:56 -05:00
Vítor Santos Costa
a99412c48f fix gall to gc. 2012-07-16 10:20:56 -05:00
Vítor Santos Costa
1fc641b7d1 add module aware versions of pred interface. 2012-07-13 14:57:12 -05:00
Miguel Areias
bc21735ff1 fixed compilation bug (Prof. Vitor Costa) 2012-07-02 19:48:58 +01:00
Vitor Santos Costa
2d71a96d54 support mingw emulation. 2012-06-29 15:37:31 -05:00
Vitor Santos Costa
1a4c1a393b MT support. 2012-06-29 15:37:11 -05:00
Vitor Santos Costa
19a3796978 first attempt at locking and MT support with signals. 2012-06-29 15:36:31 -05:00
Vitor Santos Costa
ab9fd00096 MT support. 2012-06-29 15:35:52 -05:00
Vitor Santos Costa
051936ca50 fix thread bootup (with mutex/2). 2012-06-26 13:02:44 +01:00
Vitor Santos Costa
637f5420aa get rid of debugger message. 2012-06-22 14:32:06 +01:00
Vitor Santos Costa
1ec498d720 argument processing. 2012-06-22 04:01:32 -05:00
Vitor Santos Costa
a9d1bd788e improve SWI console 2012-06-22 03:56:01 -05:00
Vitor Santos Costa
b15c9f5655 support INT handler. 2012-06-22 03:55:01 -05:00
Vitor Santos Costa
c64d22311d call UDI at abolish. 2012-06-21 16:47:19 +01:00
Vitor Santos Costa
92f7c970b0 fix access to 64 bit registry 2012-06-21 03:09:49 -05:00
Vitor Santos Costa
0ee26c6df9 fix search in registry. 2012-06-21 03:08:48 -05:00
Vitor Santos Costa
a1d8e46ee4 fix missing line. 2012-06-14 17:21:46 -05:00
Vitor Santos Costa
a997f5647c fix save & restore in 6.3. 2012-06-12 14:50:36 +01:00
Vitor Santos Costa
7db18d5ce2 fix bad use of current_predicate. 2012-06-12 14:50:07 +01:00
Vitor Santos Costa
7ce65dcfa3 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-06-11 22:11:57 +01:00
Vitor Santos Costa
f6de18cb09 6.2 fix to load_foreign atom. 2012-06-11 22:11:30 +01:00
Vítor Santos Costa
3458efd335 saved state fixes. 2012-06-11 09:22:53 +01:00
Vitor Santos Costa
ca9c748692 make win crash on interrupt, for now 2012-06-08 06:52:21 -05:00
U-WIN-UA9ACS5GS9N\vitor
76d7a1d5e5 don't trust that X+200 is > X 2012-06-07 10:27:33 -05:00
Vítor Santos Costa
c4bd913e34 fix stupid indesing of very long terms. 2012-06-05 08:04:22 +01:00
Vítor Santos Costa
47a4b902e0 fix stupid indexing on sub-terms.; 2012-06-05 00:12:13 +01:00
Vitor Santos Costa
67d52d3560 fix depth calculation. 2012-06-04 18:21:34 +01:00
Vitor Santos Costa
3669cb894f Merge branch 'master' of https://github.com/tacgomes/yap6.3 
Conflicts:
	packages/CLPBN/clpbn/horus.yap
 2012-06-04 16:29:56 +01:00
Vitor Santos Costa
1fbd5c268b extend WorkSpace 2012-06-01 16:39:06 +01:00
Vitor Santos Costa
39f392be9c allow finer control over indexing sub-terms. 
improve flag code a bit.
 2012-06-01 13:16:29 +01:00
Vítor Santos Costa
2def937080 don't index velow depth 20. 2012-05-28 20:40:12 +01:00
Vítor Santos Costa
01749939fa Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-05-22 16:22:06 +01:00
Vítor Santos Costa
95a33cd56d remove error message. 2012-05-22 16:20:56 +01:00
Ricardo Rocha
5b074e894a Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-05-22 14:47:52 +01:00
Ricardo Rocha
26e6281bb7 fix PgEnt_strs_in_use counter 2012-05-22 14:47:47 +01:00
Vitor Santos Costa
9e3d16022a fix YAP_AttOfVar 
beautify get atts
 2012-05-21 17:24:40 +01:00
Vitor Santos Costa
f261a3fd2f fix writing att vars. 2012-05-18 13:03:22 +01:00
Vítor Santos Costa
5c459a1201 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-05-14 22:44:34 +01:00
Vítor Santos Costa
448bc7e7de Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-05-14 22:42:42 +01:00
Ricardo Rocha
1dcc8bd393 adptation of the memory allocator based on pages to work with threads 2012-05-14 19:11:58 +01:00
Vitor Santos Costa
f3f9c75cf7 oops : 2012-05-14 16:22:53 +01:00
Vitor Santos Costa
682db0aad4 support term_subsumer. 2012-05-14 15:04:19 +01:00
Vitor Santos Costa
b36e607cb4 protect heapgc.c 2012-05-13 15:58:28 +01:00
Vítor Santos Costa
b985ea2fbc fix bug in stack overflow. 2012-05-13 10:17:30 +01:00
Vitor Santos Costa
a05bad3bf0 fix bad offset in export_term. 2012-05-08 17:04:28 +01:00
Vitor Santos Costa
916ca678ba Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-05-08 12:58:13 +01:00
Vitor Santos Costa
7488ef0539 ifix bug in checking for free space. 2012-05-08 12:55:34 +01:00
Vítor Santos Costa
63616b94a7 fix bad init of unsafe asm pred. 2012-05-07 06:53:27 +01:00
Vítor Santos Costa
e1f6187395 make syntax error standard. 2012-05-03 00:16:11 +01:00
Vítor Santos Costa
c3eb3db4ed call gc if we set dead mega clauses. 2012-04-23 23:28:41 +01:00
Vítor Santos Costa
d7c7ef1c01 ifix signdeness stuff. 2012-04-23 17:26:49 +01:00
Vítor Santos Costa
24d09ffde5 fix trailing issues in numbervars. 2012-04-23 15:50:01 +01:00
U-WIN-UA9ACS5GS9N\vitor
19807d46f7 WIN32 and CYGWIN fixes. 2012-04-18 14:14:56 -05:00
Vítor Santos Costa
2cfb744b07 fix bad frame pointer. 2012-04-17 00:21:08 +01:00
Vítor Santos Costa
8894645017 fix bug in trail expansion (should recover numbers) 2012-04-15 22:40:00 +01:00
Vítor Santos Costa
34ccb95dd3 fix problem with catching handling. 2012-04-15 00:01:02 +01:00
Vítor Santos Costa
683377b520 buffer output when exiting absmi. 2012-04-12 23:52:25 +01:00
Vítor Santos Costa
af7510a67b fix handling of repeated calls to YAP_Init. 2012-04-12 23:25:04 +01:00
Vítor Santos Costa
27dc66a5f4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-04-11 22:09:15 +01:00
Vítor Santos Costa
c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Vítor Santos Costa
7085008193 fix compilation without gmp. 2012-04-05 20:50:27 +01:00
Vítor Santos Costa
edfb13c5e9 allow users to check for out of space conditions explicitly. 2012-03-30 09:49:36 +01:00
Vítor Santos Costa
d3fd980474 another try at improving output of operators. 2012-03-27 16:44:11 +01:00
Vítor Santos Costa
9c685e71a7 fix - -2. 2012-03-27 15:19:07 +01:00
Vítor Santos Costa
573c11e8b2 patch by UN: Avoid writing quoted for bar. Conforms to 6.3.4.3 of ISO/IEC 13211-1:1995/Cor 2:2012 2012-03-22 22:15:07 +00:00
Vítor Santos Costa
b1ee4dfb0d fix debugging info (use flags, not global variable).:: 2012-03-22 22:06:47 +00:00
Vítor Santos Costa
857ff4b895 get rid of portray_delays. 2012-03-22 21:59:04 +00:00
Vítor Santos Costa
4484dec044 allow writing constraints, and small fix for writing after prefix ops. 2012-03-22 21:40:42 +00:00