tclbdd

Timeline
Login

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

50 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)
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)
20:00
[6e68626558] Program flow analysis - reaching definitions example (user: kbk, tags: trunk)
2013-12-19
17:19
[07b1771e35] Added proof-of-concept relational algebra methods. Still in need of some serious love, that is, commenting and thorough testing. (user: kbk, tags: trunk)
2013-12-18
18:59
[ebbab87a43] Fix commentary on 'project' (user: kbk, tags: trunk)
18:54
[8077309f9f] Make finite domain descriptions contain inverted lists of the variable numbers for each column. (user: kbk, tags: trunk)
16:06
[db99db21ba] Added 'replace' method to bdd::system in support of relational algebra. Fixed a typo in '===' method that caused it to fail always (user: kbk, tags: trunk)
2013-12-17
18:42
[d66431592d] Removed abuse of the word 'minterm': the terms being discussed were not minimal (user: kbk, tags: trunk)
16:16
[74ad4ed7f0] Add test cases for low-level 'project' and fixed the bugs that were exposed (user: kbk, tags: trunk)
15:53
[80342a5576] Renamed the 'fdd' subpackage to 'fddd'. (Finite Domain Decision Diagram is correct.) Added the machinery to include it in the [package] mechanism. Added 'foreach_fullsat' to expand out truth tables for SAT terms, and added test cases for the same. Added 'fddd::support' method (no tests yet) to list the finite domain variables that appear in a query term. Added test cases for 'fddd::domain' and friends, and fixed the bugs that the test cases exposed. (user: kbk, tags: trunk)
2013-12-16
04:42 • Edit [7b7db4603d3ecb884483414a1abbee68890b7aaa|7b7db4603d]: Change branch background color to "#111111". (user: kennykb)
2013-12-14
23:20
[444573ad82] correct name of 'fdd' package to 'fddd'. Add 'project' method to bdd base code - no driver nor tests yet. (user: kbk, tags: trunk)
2013-12-13
20:22
[3194251647] Remove dribble from minterm loader. Fix variables-out-of-order check in minterm loader. Add minterm loader test vectors. (user: kbk, tags: trunk)
04:57
[62023edbb8] Fix beadcount - didn't work at all. Added loading of FDDD rows. (user: kbk, tags: trunk)
2013-12-12
00:44
[e48d5c4b6a] support; beadcount; simplify; tests for simplify and unset (user: kbk, tags: trunk)
2013-12-11
13:27
[bcd84fa263] add profiler (user: kbk, tags: trunk)
03:01
[b7045d44bb] test appquant (user: kbk, tags: trunk)
02:34
[7771be216c] Added GarbageCollect for memory debugging Modified all tests to gc at the end and report # of nodes in use for leak checking. Added Tcl binding for ApplyAndQuantify Modified unset to take an arbitrary number of names. (user: kbk, tags: trunk)
2013-12-10
13:32
[33b0644fb3] Flesh out BDD_ApplyAndQuantify. Needs Tcl wrapper. (user: kbk, tags: trunk)
13:19
[bdc21889cb] Flesh out ApplyAndQuantify. Needs the outer layers. (user: kbk, tags: trunk)
12:33
[61ca0d0495] Added operator to the key of 'applyCache' so that multiple applications can be in flight at once. (user: kbk, tags: trunk)
12:25
[3016cbe3d8] Broke off the easy cases from Apply (to be used in ApplyAndQuantify) (user: kbk, tags: trunk)
04:30
[75bd8ee9ed] Shorten parameter lists of internal routines by keeping state in the BDD_System object. Start drafting ApplyAndQuantify - but it's not right, so define it away. (user: kbk, tags: trunk)
2013-12-09
03:38
[fec3a9366b] Finished and debugged implementation and test suite of 'compose', plus fixed several additional memory management bugs. (user: kbk, tags: trunk)
2013-12-07
03:08
[f726758694] Revised caching in Quantify and Restrict, cleaned up commentary. (user: kbk, tags: trunk)
2013-12-06
05:08
[70e321ed7a] test ternary operators - add missing ternary OR (user: kbk, tags: trunk)
03:15
[40788f090a] Added Apply3 for ternary operators - no tests yet. Modified Apply to prune subtrees more aggressively - now recognizes operations that will evaluate to constant 1, constant 0 and either of the input arguments. Modified to maintain refcounts of partial applications that are cached. Added test cases for quantified formulas, and plugged a memory leak. (user: kbk, tags: trunk)
2013-12-05
03:19 • Edit [232f5ceef1567539c8d98be3282c2d27442b1b8c|232f5ceef1]: Edit check-in comment. (user: kennykb)
03:16
[a87110a479] Fix several miscellaneous packaging and coding issues identified by dgp and aku (user: kbk, tags: trunk)