Menu

Src (SVN)-old Commit Log


Commit Date  
[r8328] by tswift

Testing for forest view. Forest view does not fit well into the test scripts, but I wanted to have
the test files handy.

2015-04-19 14:58:45 Tree
[r8327] by kifer

fixed a typo

2015-04-19 06:56:56 Tree
[r8326] by kifer

gpp now inserts a terminating quote if it finds an end of file while scanning a string. For Flora this does wonders, since its compiler now finds the missing quote in a large file with high accuracy. For XSB this doesn't seem to do much because when XSB finds an end of file while scanning a string it forgets all previous errors, it seems.
This is XSB's compiler problem, I think.

Also fixed a typo in man1

2015-04-17 01:49:02 Tree
[r8325] by tswift

Fixed problem with loading foreign files in MT engine, that I introduced when restructuring errors. I should have fixed this a while ago.

2015-04-16 18:13:18 Tree
[r8324] by tswift

Made abolish_table_pred/[1,2] handle module qualification.

2015-04-16 17:11:44 Tree
[r8323] by tswift

turning off table logging now works for predicates in modules.

2015-04-16 16:27:43 Tree
[r8322] by tswift

Fixed bug in the prolog flag version_number which threw an exception if there was an empty patch level.

2015-04-15 20:42:50 Tree
[r8321] by pmoura

Fixed compliance of the de facto standard between/3 predicate.

2015-04-15 17:50:00 Tree
[r8320] by dwarren

Added paragraphs on ^ in answer subsumptive table declarations, and
mentioning use of non-variables in the subsumption position of calls
to partial-order answer subsumption predicates.

2015-04-14 14:01:40 Tree
[r8319] by dwarren

Fixed minor typo, just 'cause I saw it.

2015-04-14 13:59:42 Tree
Older >
MongoDB Logo MongoDB