vsc
|
b15193885e
|
fix bug in saving P at p_eq (obs from Frabrizio Riguzzi)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1872 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-05-01 21:18:19 +00:00 |
|
ricroc
|
9bb854ab62
|
tabling support for 64 bits
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1870 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-26 14:13:21 +00:00 |
|
vsc
|
dc3b7079f4
|
fix deadlock when trying to create a module with the same name as a
predicate (for now, just don't lock modules). obs Paulo Moura.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1869 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-18 23:01:16 +00:00 |
|
vsc
|
ee03654060
|
handle code space overflows while parsing.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1868 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-18 06:30:41 +00:00 |
|
vsc
|
b6b308649c
|
fix module init problem (thanks to Bernd Guttman)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1867 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-16 15:46:17 +00:00 |
|
vsc
|
7fe05a5c48
|
fix some thread bugs (thanks to Paulo Moura).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1866 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-16 15:24:24 +00:00 |
|
vsc
|
67738fbbd1
|
fix max modules limitation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1865 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-10 22:13:21 +00:00 |
|
vsc
|
35174e0901
|
fix some encoding stuff and add some documentation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1863 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-03 15:03:11 +00:00 |
|
vsc
|
917c777381
|
fix unicode16 and add BOM
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1862 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-02 23:04:48 +00:00 |
|
vsc
|
0f5ccae3b7
|
fix gmpless blob handling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1860 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-30 16:47:22 +00:00 |
|
vsc
|
9cdf70aa41
|
fix number of overflows (comments by Bart Demoen).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1857 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-27 13:48:51 +00:00 |
|
vsc
|
57b7f544d1
|
debugging and clause/3 over tabled predicates would kill YAP.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1856 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-26 15:18:43 +00:00 |
|
vsc
|
0b7083adb2
|
make sure that YAP_Restart does not restart a failed goal.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1855 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-22 11:12:22 +00:00 |
|
vsc
|
a8409c5f52
|
fix fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1854 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-21 23:49:41 +00:00 |
|
vsc
|
51e0e2f54e
|
fix excessive trail cleaning in gc tr overflow.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1853 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-21 23:23:46 +00:00 |
|
vsc
|
e27d2fa1f3
|
fix memory expansion bugs.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1852 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-21 18:32:50 +00:00 |
|
vsc
|
ce71569e66
|
agc should not be called from gc
agc should not crash on tabled execution.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1851 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-18 23:09:12 +00:00 |
|
vsc
|
da19616796
|
fix mutex_info
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1848 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-03-16 21:58:45 +00:00 |
|
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 |
|