vsc
|
c27b23f3a5
|
miscellaneous fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@556 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-07-17 20:25:30 +00:00 |
|
vsc
|
330b262560
|
fix modules bug
fix newly introduced coroutining bug
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@478 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-05-20 05:24:13 +00:00 |
|
vsc
|
4fc1a2ff42
|
put tabling back to work
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@460 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-05-03 15:30:36 +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
|
03484b9960
|
fix bad marked var in copy_att_var
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@439 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-04-11 01:43:09 +00:00 |
|
vsc
|
bd654f1e18
|
fix overflow when copying terms with attributes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@430 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-04-06 03:54:18 +00:00 |
|
vsc
|
7b77c87b94
|
store constraints in DB
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@233 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-12-17 18:31:11 +00:00 |
|
vsc
|
6a34f51a25
|
fix copy_term between constraints
change visiited stack in unify to AuxSp because H can be changed
by woken goals
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@221 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-12-11 03:34:03 +00:00 |
|
uid49918
|
1578e68ec3
|
fix bugs in tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@116 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-07-04 16:48:54 +00:00 |
|
lfcastro
|
08ebcf94be
|
* the previous typo correction seemed to be reversed, so...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@68 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-06-08 18:21:35 +00:00 |
|
lfcastro
|
6cc04e235b
|
* fixed a typo in PutAtt (timestmp -> timestamp)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@67 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-06-08 18:16:07 +00:00 |
|
vsc
|
38247e38fc
|
cleanup of CLPQR and CHR;
simplification of module handling;
new timestamp implementation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@52 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-06-06 19:10:51 +00:00 |
|
vsc
|
8dcee4415b
|
library(system) plus several new support builtins
much improved garbage collector
improvements to compiler
yaptab compiles again
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@34 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-05-21 20:00:05 +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 |
|