XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Src (SVN)-old Commit Log

Commit	Date
[r6666] by dwarren Added abolishing of cdf tables in check_identity, since call to intensional could call cdf predicates which create tables, which will out of date after an update.	2010-06-28 16:29:49	Tree
[r6665] by spyrosh no message	2010-06-24 21:04:45	Tree
[r6664] by kifer restored terry's version (hopefully). seemed to have been clobbered	2010-06-23 02:36:38	Tree
[r6663] by kifer added operations for incremental tries	2010-06-23 02:28:37	Tree
[r6662] by spyrosh no message	2010-06-22 23:51:37	Tree
[r6661] by spyrosh no message	2010-06-22 23:43:59	Tree
[r6660] by spyrosh no message	2010-06-22 23:33:32	Tree
[r6659] by spyrosh Backed out code	2010-06-22 23:30:56	Tree
[r6658] by spyrosh no message	2010-06-21 16:04:02	Tree
[r6657] by spyrosh no message	2010-06-19 19:46:06	Tree

Older >

✕