Vítor Santos Costa
|
ce8a19d381
|
Add documentation
|
2015-11-18 15:06:25 +00:00 |
|
Vítor Santos Costa
|
3164ed2d61
|
doc support
|
2015-01-04 23:58:23 +00:00 |
|
Vítor Santos Costa
|
df0ec5bc96
|
more doxygen fixes
|
2014-09-15 14:57:46 -05:00 |
|
Vítor Santos Costa
|
3009987985
|
update docs
|
2014-09-11 14:06:57 -05:00 |
|
vsc
|
0e45f242d4
|
update to CLP(QR). Note that CLP(Q) is still unsupported.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-13 17:16:47 +00:00 |
|
vsc
|
64d62f1e3e
|
improve JT
fix graph compatibility with SICStus
re-export declaration.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2037 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-05 12:17:25 +00:00 |
|
vsc
|
996272db22
|
YPP would leave exceptions on the system, disabling Yap-4.5.7
message.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1364 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-17 13:35:52 +00:00 |
|
vsc
|
e19f91db60
|
missing variable when converting from P to S representation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@641 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-10-17 19:06:44 +00:00 |
|
vsc
|
be3a996d1e
|
WakeAttVar should only test if variables it is binding are in queue
ugraphs should not bind variable
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@441 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-04-13 04:39:03 +00:00 |
|
vsc
|
601a7d2480
|
reachable/3
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@330 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-01-27 21:35:39 +00:00 |
|
vsc
|
47e595a624
|
small fixes
gc improvements
WIN32 library fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@18 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-04-26 14:44:43 +00:00 |
|
vsc
|
e5f4633c39
|
This commit was generated by cvs2svn to compensate for changes in r4,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-04-09 19:54:03 +00:00 |
|