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 | |