tclbdd

Timeline
Login

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

30 descendants and 50 ancestors of [bd10382cec]

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
20:00
Program flow analysis - reaching definitions example check-in: 6e68626558 user: kbk tags: trunk
2013-12-19
17:19
Added proof-of-concept relational algebra methods. Still in need of some serious love, that is, commenting and thorough testing. check-in: 07b1771e35 user: kbk tags: trunk
2013-12-18
18:59
Fix commentary on 'project' check-in: ebbab87a43 user: kbk tags: trunk
18:54
Make finite domain descriptions contain inverted lists of the variable numbers for each column. check-in: 8077309f9f user: kbk tags: trunk
16:06
Added 'replace' method to bdd::system in support of relational algebra. Fixed a typo in '===' method that caused it to fail always check-in: db99db21ba user: kbk tags: trunk
2013-12-17
18:42
Removed abuse of the word 'minterm': the terms being discussed were not minimal check-in: d66431592d user: kbk tags: trunk
16:16
Add test cases for low-level 'project' and fixed the bugs that were exposed check-in: 74ad4ed7f0 user: kbk tags: trunk
15:53
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. check-in: 80342a5576 user: kbk tags: trunk
2013-12-14
23:20
correct name of 'fdd' package to 'fddd'. Add 'project' method to bdd base code - no driver nor tests yet. check-in: 444573ad82 user: kbk tags: trunk
2013-12-13
20:22
Remove dribble from minterm loader. Fix variables-out-of-order check in minterm loader. Add minterm loader test vectors. check-in: 3194251647 user: kbk tags: trunk
04:57
Fix beadcount - didn't work at all. Added loading of FDDD rows. check-in: 62023edbb8 user: kbk tags: trunk
2013-12-12
00:44
support; beadcount; simplify; tests for simplify and unset check-in: e48d5c4b6a user: kbk tags: trunk
2013-12-11
13:27
add profiler check-in: bcd84fa263 user: kbk tags: trunk
03:01
test appquant check-in: b7045d44bb user: kbk tags: trunk
02:34
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. check-in: 7771be216c user: kbk tags: trunk
2013-12-10
13:32
Flesh out BDD_ApplyAndQuantify. Needs Tcl wrapper. check-in: 33b0644fb3 user: kbk tags: trunk
13:19
Flesh out ApplyAndQuantify. Needs the outer layers. check-in: bdc21889cb user: kbk tags: trunk
12:33
Added operator to the key of 'applyCache' so that multiple applications can be in flight at once. check-in: 61ca0d0495 user: kbk tags: trunk
12:25
Broke off the easy cases from Apply (to be used in ApplyAndQuantify) check-in: 3016cbe3d8 user: kbk tags: trunk
04:30
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. check-in: 75bd8ee9ed user: kbk tags: trunk
2013-12-09
03:38
Finished and debugged implementation and test suite of 'compose', plus fixed several additional memory management bugs. check-in: fec3a9366b user: kbk tags: trunk
2013-12-07
03:08
Revised caching in Quantify and Restrict, cleaned up commentary. check-in: f726758694 user: kbk tags: trunk
2013-12-06
05:08
test ternary operators - add missing ternary OR check-in: 70e321ed7a user: kbk tags: trunk
03:15
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. check-in: 40788f090a user: kbk tags: trunk
2013-12-05
03:16
Fix several miscellaneous packaging and coding issues identified by dgp and aku check-in: a87110a479 user: kbk tags: trunk
03:08
Add a first whack at a Boolean expression parser check-in: d459b6ae38 user: kbk tags: trunk
2013-12-04
06:01
Gave up on the unique quantifier and expunged it from the code. Added hard tests for exists and forall; now need tests of the glue surrounding them. check-in: 232f5ceef1 user: kbk tags: trunk
2013-12-03
04:24
Added quantifiers - no tests yet. check-in: 7fff8b5c6a user: kbk tags: trunk
2013-12-02
01:25
foreach_sat test cases check-in: e966ffd735 user: kennykb tags: trunk
2013-12-01
23:27
Removed pure-Tcl superclass for bdd: not sure where I was going with that. check-in: af2be65f95 user: kennykb tags: trunk
23:26
Added ===, tautology, satisfiable methods (no tests yet). Replaced 'constant' and 'copy' with a single ':=' method. check-in: f7a47671e9 user: kennykb tags: trunk