vsc
|
e10bb2a6ae
|
fix prolog_flags for chr.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1802 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-26 10:41:40 +00:00 |
|
vsc
|
621e47f8a4
|
add nb_current and fix nb_delete.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1801 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-21 16:50:51 +00:00 |
|
vsc
|
194ea3bdee
|
fix prof dependent stuff
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1798 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-18 10:20:31 +00:00 |
|
vsc
|
400b1958b2
|
fix atom garbage collector (although it is still off by default)
make valgrind feel better
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1797 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-18 00:26:36 +00:00 |
|
vsc
|
8edd35f303
|
fix debugger
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1795 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-13 11:26:17 +00:00 |
|
vsc
|
7239e45ec3
|
allow the user to configure a maximum number of threads.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1792 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-29 10:18:15 +00:00 |
|
vsc
|
47765f7739
|
WIN32 support
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1790 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-28 14:26:37 +00:00 |
|
vsc
|
1583990b8f
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1789 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-26 23:04:30 +00:00 |
|
vsc
|
86e78952e0
|
fix several -MIN_INT overflows in code.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1788 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-26 21:10:13 +00:00 |
|
vsc
|
3ddc4cef3a
|
all/3 should fail on no solutions.
get rid of annoying gcc complaints.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1787 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-25 22:11:55 +00:00 |
|
vsc
|
8d3a6c5b20
|
make java compilation see libraries
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1784 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 17:28:28 +00:00 |
|
vsc
|
48fdba3f1e
|
fix matrix mess
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1778 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 10:01:40 +00:00 |
|
vsc
|
d2f974d292
|
fix glist_void_varx
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1777 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 09:57:25 +00:00 |
|
vsc
|
0f9cb472c6
|
fix unify_with_occurs_check/2 with floats and friends.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1776 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 09:36:14 +00:00 |
|
vsc
|
0cef3c5389
|
fix restore (Trevor)
make indexing a bit faster on IDB
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1771 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-08 08:27:19 +00:00 |
|
pmoura
|
139e50a1ca
|
Corrected some bugs in the implementation of thread_sleep/1. Changed implementation to make the call succeed and return immediately when the argument is zero or a negative value (matching the current threads standardization proposal).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1757 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-31 16:10:29 +00:00 |
|
pmoura
|
9de3c0c7a9
|
Added call/5-12 (we alread have call_with_args/2-12); not sure they are worth. Alternative implementation for call_cleanup/2-3: previous implementation appears to be pruning cleanup goals before they are executed; needs testing.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1756 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-31 12:29:46 +00:00 |
|
vsc
|
88f51c97d7
|
fix some bugs in call_cleanup: the result of action should not matter,
and !,fail would not wakeup the delayed goal.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1754 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-31 01:50:35 +00:00 |
|
vsc
|
7d1b20c9cd
|
call_cleanup/2 and 3
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1750 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-30 03:25:47 +00:00 |
|
vsc
|
bc43ba2424
|
fix small bug
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1748 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-29 10:26:27 +00:00 |
|
vsc
|
c79a7a5bdb
|
allow coroutining plus tabling, this means fixing some trouble with the
gc and a bug in global variable handling.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1745 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-29 01:57:50 +00:00 |
|
vsc
|
7316eb490c
|
extra fixes for overflows with global variables, especially showing up
with malloc (thanks to Paulo Moura!)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1743 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-27 18:26:19 +00:00 |
|
vsc
|
78b52b925c
|
diverse fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1738 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-27 01:32:38 +00:00 |
|
vsc
|
90c1641841
|
several debugger and CLP(BN) improvements.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-13 16:10:26 +00:00 |
|
vsc
|
7ddb9f5c97
|
fix unify_with_occurs_check/2
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1730 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-04 12:05:14 +00:00 |
|
vsc
|
ac8590d1f6
|
fix wide_char support for name/2.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1729 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-28 13:46:41 +00:00 |
|
vsc
|
5ed3ebc4b3
|
ifix warning
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1727 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-28 00:51:59 +00:00 |
|
vsc
|
e43560a7ea
|
fix bug in threaded implementation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1726 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-28 00:46:28 +00:00 |
|
vsc
|
0705ca0640
|
support for UNICODE, and other bug fixes.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1725 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-27 17:42:03 +00:00 |
|
vsc
|
0a21ac1b71
|
fix I/O mess
fix spy/reconsult mess
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1724 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-21 16:21:33 +00:00 |
|
vsc
|
1d49a93d76
|
fix handling of infinity in name/2 and friends.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1721 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-16 14:26:00 +00:00 |
|
vsc
|
a728bed4f8
|
fix case when we do an ungetc after we have found an EOF
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1720 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-16 13:56:08 +00:00 |
|
vsc
|
29642223bb
|
fixes for indexing code.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1719 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-15 00:13:37 +00:00 |
|
vsc
|
e112ce1a8a
|
fix bug in growstack
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1718 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-14 11:42:26 +00:00 |
|
vsc
|
feca28c235
|
fix bug fix ;-).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1717 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-10 11:42:42 +00:00 |
|
vsc
|
cbe55c9fbb
|
fix timestamp bug
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1716 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-10 03:06:06 +00:00 |
|
vsc
|
39ae1ce717
|
fix argument order in db statistics.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1715 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-08 01:56:47 +00:00 |
|
vsc
|
1e78b948dd
|
avoid generating suspensions on static code.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1714 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-08 01:53:08 +00:00 |
|
vsc
|
9c506b2a2c
|
1estranha
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1709 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-06 18:35:05 +00:00 |
|
vsc
|
776262bc9b
|
fix emulation of trust_logical
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1708 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-25 02:31:07 +00:00 |
|
vsc
|
bd015b83ee
|
fix avl stuff and all/3 stuff
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1707 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-19 15:09:03 +00:00 |
|
vsc
|
cb34dbdc88
|
index.c implementation of trust_logical was decrementing the wrong
cp_tr
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1706 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-18 13:47:32 +00:00 |
|
vsc
|
23e9f546fe
|
fixes for threaded version.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1705 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-16 17:12:48 +00:00 |
|
vsc
|
18f363d0bc
|
make sure we only follow pointers *before* we removed the respective code block,
ie don't kill the child before checking pointers from parent!
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1704 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-11 17:24:36 +00:00 |
|
vsc
|
230c812a76
|
fix bb entries
comment development code for timestamp overflow.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1703 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-11 15:08:03 +00:00 |
|
vsc
|
d3dab0f5a1
|
fix memory leak
fix overflow handling
VS: ----------------------------------------------------------------------
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1702 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-11 14:53:57 +00:00 |
|
vsc
|
a6365ffdea
|
fix new indexing code to actually recover space
fix predicate info to work for LUs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1701 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-10 20:21:42 +00:00 |
|
vsc
|
13080439a6
|
small fixes on threaded implementation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1700 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-10 14:08:17 +00:00 |
|
vsc
|
7b29ef1552
|
avoid doing full stack shifting when on top of stack.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1699 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-09-29 18:59:00 +00:00 |
|
vsc
|
168bef9531
|
fix initialization of non-backtrackable module.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1698 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-09-28 17:24:40 +00:00 |
|