Commit | Date | |
---|---|---|
2014-07-03 23:22:52 | Tree | |
2014-07-03 22:46:28 | Tree | |
2014-07-03 21:24:44 | Tree | |
[r7988]
by
tswift
Fixed two small bugs in abolishing incremental tables when cps to completed incremental tables are in the cp stack |
2014-07-03 19:29:04 | Tree |
[r7987]
by
tswift
-- Changes to ensure that trie_fail, used by incremental tabling, is recognized as a trie instruction by the table abolishing routines |
2014-07-03 17:37:38 | Tree |
2014-07-03 15:28:23 | Tree | |
2014-07-03 13:04:28 | Tree | |
[r7984]
by
dwarren
A number of documentation changes, mostly suggested by Ulrich Neumerkel, |
2014-07-01 14:35:26 | Tree |
2014-07-01 14:30:03 | Tree | |
[r7982]
by
dwarren
Moved xsb_sprint_variable, since for some reason DllExport didn't |
2014-07-01 14:28:41 | Tree |