Home

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

50 most recent check-ins

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
2014-01-14
00:35
added != to datalog, and extended tclfddd to support it. check-in: bd3c0053ea user: kbk tags: trunk
2014-01-10
13:52
Add prelude/postlude to code generation to reduce the temptation of global vars. Fix FDDD code gen for equalities, which was using the wrong namespace. check-in: 88561d8ac3 user: kbk tags: trunk
02:18
Try to make installer work check-in: ce07ff5188 user: kbk tags: trunk
02:00
Clean up packaging a little bit, again. check-in: aa0c89ccc1 user: kbk tags: trunk
2014-01-09
01:34
Finished an initial whack at the compiler. It works well enough to do the 'reaching definitions' example. check-in: bd10382cec user: kbk tags: trunk
2014-01-08
04:57
more compiler development, most of the way through doing intermediate code for rules check-in: e19d9e2146 user: kbk tags: trunk
03:47
more compiler development, most of the way through doing intermediate code for rules check-in: f935c63420 user: kbk tags: trunk
03:10
more compiler development, most of the way through doing intermediate code for rules check-in: 824a0d10b3 user: kbk tags: trunk
2014-01-06
12:17
More compiler development - part of the procedures to translate Datalog to relational algebra. check-in: 7636e8a432 user: kbk tags: trunk
2014-01-03
22:09
Fix several packaging errors. Refactor some of the FDDD type checking. Continue Datalog development; including replacing 'condition' with 'subgoal' in commentary. check-in: 53105db3b1 user: kbk tags: trunk
2014-01-01
05:59
Major refactor - stratification simplified by the fact that scc generates components in postorder. Finished execution planning. check-in: e6862c5093 user: kbk tags: trunk
2013-12-28
05:33
added corovar notation rather than the fugly 'upvar #1' check-in: adf349c020 user: kbk tags: trunk
05:06
Added the Datalog compiler (under construction - only the parser and the stratification pass are implemented so far). check-in: a24b8ef7c3 user: kbk tags: trunk
2013-12-23
03:18
Major code cleanup and commentary in tclfddd.tcl. check-in: ba20005fb0 user: kbk tags: trunk
2013-12-21
21:51
Regularize and streamling FDDD database API. Begin commenting the FDDD database methods. check-in: baa39949c5 user: kbk tags: trunk
17:52
Added tests for 'satisfiable' check-in: b18569e814 user: kbk tags: trunk
17:47
Added tests for the convenience methods '===', 'tautology', 'support', 'beadcount' and fixed the bugs revealed. check-in: e6c6de79de user: kbk tags: trunk
16:41
add missing loadscript.tcl.in from last commit check-in: 9c7232598c user: kbk tags: trunk
16:37
more changes to fix testing against an uninstalled tclbdd check-in: 84b4e03af2 user: kbk tags: trunk
03:04
run example quietly check-in: 8da5c0dbfe user: kbk tags: trunk
01:21
Made example code quieter. check-in: 28643a8e70 user: kbk tags: trunk
00:47
Fix problem where a bead pointer was kept across a possible realloc leading to a read of freed memory check-in: 56cfd0fd3f user: kbk tags: trunk
2013-12-20
21:45
Add test case for projecting away a nowhere-used variable. check-in: e4346a7b93 user: kbk tags: trunk
21:36
fix a bug in Quantify where things fall over trying to quantify an unused variable check-in: 179080d4b1 user: kbk tags: trunk