tclbdd

Timeline
Login

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

25 descendants of [780b74afbb]

2015-01-31
20:17
Added a peephole optimization where a join or antijoin immediately followed by a project gets coalesced into a single operation. Leaf check-in: 45268b8331 user: kbk tags: trunk
17:06
Add instrumentation of generated code for performance analysis. check-in: ec5ea2c8d2 user: kbk tags: trunk
2015-01-19
20:06
Add a 'tclMethod' method for introducing a new method on an existing database. check-in: c410a3e915 user: kbk tags: trunk
2015-01-10
04:18
Remove debug prints left in inadvertently. check-in: 2a326f8369 user: kbk tags: trunk
2014-11-23
21:54
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. check-in: d33f642607 user: kbk tags: trunk
2014-10-26
04:09
Adjust Datalog tests to cover EQUALITY check-in: c991aa8ae7 user: kbk tags: trunk
04:02
Add more Datalog tests, and adjust loadscript.tcl.in to allow for running Nagelfar instrumented code while testing. check-in: db5c306a7f user: kbk tags: trunk
2014-10-25
18:55
datalog: test assertion of a single fact. check-in: 3e177181c8 user: kbk tags: trunk
2014-08-06
13:08
better error checking for compileProgram check-in: 776298dbea user: kbk tags: trunk
2014-08-03
23:19
Substantial code and commentary cleanup in datalog.tcl check-in: c9faa932a7 user: kbk tags: trunk
01:58
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: d1e531296b user: kbk tags: trunk
01:41
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: c30d48a484 user: kbk tags: trunk
01:39
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: bb22f9b118 user: kbk tags: trunk
01:38
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 323dd8ca3e user: kbk tags: trunk
01:37
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: e546ebb465 user: kbk tags: trunk
00:21
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 00ccb10f83 user: kbk tags: trunk
00:18
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: c976bf220b user: kbk tags: trunk
00:17
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 5d0a10221b user: kbk tags: trunk
2014-08-02
23:54
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 95d5eacadf user: kbk tags: trunk
23:48
Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 22d056d9e0 user: kbk tags: trunk
21:24
Refactor tests so that fddd tests do not test functions that depend only on the core BDD library check-in: 1c92997d04 user: kbk tags: trunk
21:23
Add leading comment so as not to confuse 'man' check-in: 668a835e53 user: kbk tags: trunk
20:45
Improve FDDD documentation, and make the 'profile' method return something sensible check-in: 9b2f195e16 user: kbk tags: trunk
2014-07-10
03:30
progress toward a man page for tclfddd check-in: 337aa1f548 user: kbk tags: trunk
2014-07-05
19:33
Finish draft of man page for tclbdd(n) check-in: 97123e476e user: kbk tags: trunk
2014-07-01
03:26
Begin writing a man page for tclbdd, and make some comments truthful check-in: 780b74afbb user: kbk tags: trunk