Check-in [c991aa8ae7]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
SHA1:c991aa8ae75a6807b35d5800981cd43e46e83b48
Date: 2014-10-26 04:09:25
User: kbk
Comment:Adjust Datalog tests to cover EQUALITY
Tags And Properties
Context
2014-11-23
21:54
[d33f642607] Made a 'datalog::database' class that instantiates a FDDD database integrated with the Datalog compiler, and a 'datalogMethod' command to introduce an instance method (representing a Datalog program) on such a database. (user: kbk, tags: trunk)
2014-10-26
04:09
[c991aa8ae7] Adjust Datalog tests to cover EQUALITY (user: kbk, tags: trunk)
04:02
[db5c306a7f] Add more Datalog tests, and adjust loadscript.tcl.in to allow for running Nagelfar instrumented code while testing. (user: kbk, tags: trunk)
Changes

Changes to tests/datalog.test.