Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9159] by tswift

Added hook to not remove .xwams when running in gc-test mode.

2017-11-19 01:01:43 Tree
[r9158] by tswift

IDG traversal routines using CNs instead of SFs, and code cleanup.

2017-11-19 00:57:22 Tree
[r9157] by tswift

Finished (I think) updating code so that IDG traversal for meta-predicates
works on call nodes rather than SF. (I didn't change xsb_compute_scc, which can only work on
interior IDG nodes, anyway).

Also do a bit of code cleanup, removal of dead code, and rationalization of code within files.

2017-11-19 00:54:36 Tree
[r9156] by tswift

No longer needed.

2017-11-19 00:45:43 Tree
[r9155] by tswift

No longer needed.

2017-11-19 00:44:52 Tree
[r9154] by dwarren

Changed my mind. Now a Mod:Term term in a structure (not in predicate
positions) is left as Mod:NTerm, where Term is transformed to
NTerm. So the module modifier is left alone and does not affect the
Term. This is what the compiler would do.

2017-11-16 20:01:50 Tree
[r9153] by "kifer"

committed recompiled xwams

2017-11-16 19:17:55 Tree
[r9152] by dwarren

Fixed bug in load_dyn on converting terms of form A:B.
Current convert B to module A and return it if both bound.
Just pass thru of either a variable.
This might cause problems, but seems best to me at the moment.

2017-11-16 15:51:44 Tree
[r9151] by dwarren

Commit changed xwam files. (Some compiler change seems to have changed the
order of the symbol table in the xwam files.)

2017-11-16 14:06:16 Tree
[r9150] by dwarren

CHeck in all changes xwams (Some compiler change potentially changed
the order of symbol table, I believe.)

2017-11-16 14:02:27 Tree
Older >