Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|Comment:||Adjust Datalog tests to cover EQUALITY|
Tags And Properties
- branch=trunk inherited from [43ed3988f2]
- sym-trunk inherited from [43ed3988f2]
|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)|
|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 to tests/datalog.test.