Home

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

50 most recent timeline items

2015-01-31
20:17
[45268b8331] Leaf: Added a peephole optimization where a join or antijoin immediately followed by a project gets coalesced into a single operation. (user: kbk, tags: trunk)
17:06
[ec5ea2c8d2] Add instrumentation of generated code for performance analysis. (user: kbk, tags: trunk)
2015-01-19
20:06
[c410a3e915] Add a 'tclMethod' method for introducing a new method on an existing database. (user: kbk, tags: trunk)
2015-01-10
04:18
[2a326f8369] Remove debug prints left in inadvertently. (user: kbk, tags: trunk)
2014-11-23
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)
2014-10-26
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)
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)
2014-08-03
23:19
[c9faa932a7] Substantial code and commentary cleanup in datalog.tcl (user: kbk, tags: trunk)
01:58
[d1e531296b] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
01:41
[c30d48a484] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
01:39
[bb22f9b118] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
01:38
[323dd8ca3e] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
01:37
[e546ebb465] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
00:21
[00ccb10f83] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
00:18
[c976bf220b] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
00:17
[5d0a10221b] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
2014-08-02
23:54
[95d5eacadf] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
23:48
[22d056d9e0] Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. (user: kbk, tags: trunk)
21:24
[1c92997d04] Refactor tests so that fddd tests do not test functions that depend only on the core BDD library (user: kbk, tags: trunk)
21:23
[668a835e53] Add leading comment so as not to confuse 'man' (user: kbk, tags: trunk)
20:45
[9b2f195e16] Improve FDDD documentation, and make the 'profile' method return something sensible (user: kbk, tags: trunk)
2014-07-10
03:30
[337aa1f548] progress toward a man page for tclfddd (user: kbk, tags: trunk)
2014-07-05
19:33
[97123e476e] Finish draft of man page for tclbdd(n) (user: kbk, tags: trunk)
2014-07-01
03:26
[780b74afbb] Begin writing a man page for tclbdd, and make some comments truthful (user: kbk, tags: trunk)
2014-01-14
00:35
[bd3c0053ea] added != to datalog, and extended tclfddd to support it. (user: kbk, tags: trunk)
2014-01-10
13:52
[88561d8ac3] 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. (user: kbk, tags: trunk)
02:18
[ce07ff5188] Try to make installer work (user: kbk, tags: trunk)
02:00
[aa0c89ccc1] Clean up packaging a little bit, again. (user: kbk, tags: trunk)
2014-01-09
01:34
[bd10382cec] Finished an initial whack at the compiler. It works well enough to do the 'reaching definitions' example. (user: kbk, tags: trunk)
2014-01-08
04:57
[e19d9e2146] more compiler development, most of the way through doing intermediate code for rules (user: kbk, tags: trunk)
03:47
[f935c63420] more compiler development, most of the way through doing intermediate code for rules (user: kbk, tags: trunk)
03:10
[824a0d10b3] more compiler development, most of the way through doing intermediate code for rules (user: kbk, tags: trunk)
2014-01-06
12:17
[7636e8a432] More compiler development - part of the procedures to translate Datalog to relational algebra. (user: kbk, tags: trunk)
2014-01-03
22:09
[53105db3b1] Fix several packaging errors. Refactor some of the FDDD type checking. Continue Datalog development; including replacing 'condition' with 'subgoal' in commentary. (user: kbk, tags: trunk)
2014-01-01
05:59
[e6862c5093] Major refactor - stratification simplified by the fact that scc generates components in postorder. Finished execution planning. (user: kbk, tags: trunk)
2013-12-28
05:33
[adf349c020] added corovar notation rather than the fugly 'upvar #1' (user: kbk, tags: trunk)
05:06
[a24b8ef7c3] Added the Datalog compiler (under construction - only the parser and the stratification pass are implemented so far). (user: kbk, tags: trunk)
2013-12-23
03:18
[ba20005fb0] Major code cleanup and commentary in tclfddd.tcl. (user: kbk, tags: trunk)
2013-12-21
21:51
[baa39949c5] Regularize and streamling FDDD database API. Begin commenting the FDDD database methods. (user: kbk, tags: trunk)
17:52
[b18569e814] Added tests for 'satisfiable' (user: kbk, tags: trunk)
17:47
[e6c6de79de] Added tests for the convenience methods '===', 'tautology', 'support', 'beadcount' and fixed the bugs revealed. (user: kbk, tags: trunk)
16:41
[9c7232598c] add missing loadscript.tcl.in from last commit (user: kbk, tags: trunk)
16:37
[84b4e03af2] more changes to fix testing against an uninstalled tclbdd (user: kbk, tags: trunk)
03:04
[8da5c0dbfe] run example quietly (user: kbk, tags: trunk)
01:21
[28643a8e70] Made example code quieter. (user: kbk, tags: trunk)
00:47
[56cfd0fd3f] Fix problem where a bead pointer was kept across a possible realloc leading to a read of freed memory (user: kbk, tags: trunk)
2013-12-20
21:45
[e4346a7b93] Add test case for projecting away a nowhere-used variable. (user: kbk, tags: trunk)
21:36
[179080d4b1] fix a bug in Quantify where things fall over trying to quantify an unused variable (user: kbk, tags: trunk)