XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r9513] by "kifer" more work on minizinc	2019-02-11 05:59:50	Tree
[r9512] by "kifer" initial version of minizinc interface	2019-02-11 05:59:39	Tree
[r9511] by dwarren Minor changes to fix support of explicit modules in assert/retract.	2019-02-10 20:29:12	Tree
[r9510] by dwarren Fix bug in retracting clauses with atomic bodies.	2019-02-10 17:08:49	Tree
[r9509] by dwarren Fixed bug in listing/1 for atoms.	2019-02-10 16:18:45	Tree
[r9508] by dwarren Yet another try to fully support dynamic aggregate predicates.	2019-02-10 02:12:04	Tree
[r9507] by dwarren Added 'hook' to allow dynamic predicate to be 'renamed'.	2019-02-10 02:08:42	Tree
[r9506] by dwarren Added catch in read_term to clean up global flags in case of error.	2019-02-06 15:57:14	Tree
[r9505] by dwarren Fixed bug in handling dynamic aggregate predicates.	2019-02-06 15:45:22	Tree
[r9504] by dwarren Fix implementation of read_term option of variables_as_atoms to use tokenizer flags.	2019-02-05 21:38:23	Tree

Older >