tclbdd
Timeline
Not logged in

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

20 most recent timeline items

2014-01-10
13:52
[88561d8ac3] Leaf: 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)