Check-in [3e177181c8]

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

Overview
SHA1:3e177181c894ce02c4f26c036f0ec99eec829749
Date: 2014-10-25 18:55:47
User: kbk
Comment:datalog: test assertion of a single fact.
Tags And Properties
Context
2014-10-26
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)
2014-10-25
18:55
[3e177181c8] datalog: test assertion of a single fact. (user: kbk, tags: trunk)
2014-08-06
13:08
[776298dbea] better error checking for compileProgram (user: kbk, tags: trunk)
Changes

Changes to library/datalog.tcl.