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

354 Commits

Author SHA1 Message Date
vsc
ad552d04b4 avoid recursive calls while parsing lists. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@655 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-28 17:46:55 +00:00
vsc
7f4fdb1652 don't debug (a,b), debug a and then b. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@652 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-23 21:43:55 +00:00
vsc
ead95fb0d4 fix warnings; 
improve SIGINT handling if !isastty


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@651 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-23 20:55:37 +00:00
vsc
95e6dea185 respect prefix option in WIN32 
check for rint in configure and use
a simple hack to replace it if needed.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@650 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-23 17:10:33 +00:00
vsc
593162243d check for overflows while building large constants (atom_chars and 
friends).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@648 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-22 04:00:11 +00:00
vsc
5fd92de03b further support for threads. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@647 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-22 03:45:24 +00:00
vsc
5a5c674300 disable stack shifting and garbage collection in the presence of 
multiple threads.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@646 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-21 22:52:36 +00:00
vsc
0351b9f0ab make --enable-threads work on CVS release. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@645 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-21 22:14:29 +00:00
vsc
a721ad3e27 more of the same module fixes. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@643 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-18 14:52:58 +00:00
vsc
d21021da0d get rid of UnCutable 
a:(a(X),b(X)) should be the same as a:a(X), a:b(X). Use PushModPred to
force that.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@642 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-18 13:54:53 +00:00
vsc
b1b021d168 make it linux compatible again. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@640 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-17 03:42:14 +00:00
vsc
a1edbf5b9c WIN32 fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@639 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-17 01:37:46 +00:00
vsc
4a71cbda80 fix retry_head to work correctly if the argument is dereferenced. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@638 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-17 00:48:52 +00:00
vsc
153b2cb2a3 YAP would break when gc was called from portray: 
always save arguments before calling plwrite with possible portray
 only do it for portray because plwrite may be called from unsafe environments
 make Slot machinery mainstream.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@637 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-17 00:05:29 +00:00
vsc
78923655b5 dynamic predicates with no clauses are not undefined, so 
they should not point at UNDEFCODE but at FAIL_CODE


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@636 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-14 16:25:38 +00:00
vsc
523fae9544 stack overflow patches: 
process overflows as high-level as possible;
   introduce overflow related errors
   ExpandWorkSpace should never call Error: use ErrorMessage instead,
   format_putc should never release memory, causes memory corruption,
   Linux does not like MAP_FIXED, it can overwrite the actual program
code.
   condor: twick configure to disable readline with condor.
----------------------------------------------------------------------


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-10 05:58:49 +00:00
vsc
3e662aca31 adjust HeapTop in save. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@631 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-09 04:26:48 +00:00
vsc
935665ec92 fix ^c abort for PCs: registers were not being reset properly. 
fix error message in abort.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@628 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 14:32:42 +00:00
vsc
98d9c42c42 fix error handling for second argument of number_codes and 
number_chars/2


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@626 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 05:00:36 +00:00
vsc
1fe8842094 Reset ErrorMessage before entering IndexPred (otherwise system will be 
confused with previous errors).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@625 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 01:09:28 +00:00
vsc
dba17092b2 fix error handling when copy_term was not called from a builtin. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@624 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-07 21:20:12 +00:00
vsc
342faf6d89 Insert Christian patches: 
- uncutable predicates;
  - call_cleanup/2.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@615 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-03 13:54:35 +00:00
vsc
e606c427fe move to UserMode when entering absmi. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@614 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-03 13:42:23 +00:00
vsc
08342b2905 fix sym 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@610 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-27 20:04:49 +00:00
vsc
fc3beab705 include support for April ILP system. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@608 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-25 04:29:01 +00:00
vsc
ac601e20b6 support static linking for Nuno Fonseca's database module. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@606 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-24 19:01:29 +00:00
vsc
d1c4016480 support dyld interface on Next and OSX machines. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@605 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-24 15:38:17 +00:00
vsc
ad67affbbd more experiments on load_dyld.c 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@604 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-24 14:20:56 +00:00
vsc
97c2bd2105 cleanup YapExecutable 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@602 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-23 17:06:13 +00:00
vsc
d4b8acf1fd fix recordifnot bug with ground terms 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@600 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-18 21:28:19 +00:00
vsc
d6778dac3a current_predicate should bever export prolog:(_:_) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@597 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-17 16:37:48 +00:00
vsc
89565bf45a fix current_modules/1 and 2 to return all predefined modules. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@594 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-17 00:14:23 +00:00
vsc
8ba604d9b3 count profiling entries from meta-calls, even if that means a little more 
work.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@593 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-17 00:02:39 +00:00
vsc
e09b7fa8ad YAP_Deref should be in C-interface. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@592 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-16 23:25:09 +00:00
vsc
cf6391d96b make open/3 complain when trying to read after end of file. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@590 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-16 16:57:27 +00:00
vsc
00c4895761 fix typo 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@588 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-14 04:36:08 +00:00
vsc
2fff206939 fix current_predicate 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@587 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-13 21:30:06 +00:00
vsc
e801069a19 don't try to unify results for matching clause if we 
can't find it.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@586 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-10 18:41:12 +00:00
uid49918
a758145ae9 dump stack on error 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@585 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-09 19:52:38 +00:00
vsc
21aab28a59 new error handlong mechanism 
new YAP_ foreign interface
fix unbound_first_arg in call_with_args


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-09 17:40:12 +00:00
vsc
708437b794 Further updates to support call_counters 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@581 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-03 20:14:13 +00:00
vsc
94e9529128 first cut at call counter. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@580 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-03 14:28:09 +00:00
vsc
cf638188ce support hidden predicates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@578 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-02 17:33:00 +00:00
vsc
483170acc5 allow compilation on WIN32 platforms. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@577 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-28 14:02:35 +00:00
vsc
b575ec7202 fixes to support condor better 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@575 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-18 23:18:18 +00:00
vsc
9e38e88084 fix dereferecing in unify 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@574 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-18 23:16:44 +00:00
vsc
8d1582433a fix bad exit when failing to allocate memory at boot 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@573 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-16 19:56:43 +00:00
vsc
5cc8ea1d52 hide_predicate 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@571 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-14 16:00:54 +00:00
vsc
325cfeeadc fix debugging info 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@570 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-13 17:02:26 +00:00
vsc
742299360c fix unification bug. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@569 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-13 16:51:37 +00:00