Home

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

50 timeline items occurring on or before 2013-12-20 21:36:45.

2013-12-20
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 [7b7db4603d3ecb88|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 [232f5ceef1567539|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)
03:08
[d459b6ae38] Add a first whack at a Boolean expression parser (user: kbk, tags: trunk)
2013-12-04
06:01
[232f5ceef1] 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. (user: kbk, tags: trunk)
2013-12-03
04:24
[7fff8b5c6a] Added quantifiers - no tests yet. (user: kbk, tags: trunk)
2013-12-02
01:25
[e966ffd735] foreach_sat test cases (user: kennykb, tags: trunk)
2013-12-01
23:27
[af2be65f95] Removed pure-Tcl superclass for bdd: not sure where I was going with that. (user: kennykb, tags: trunk)
23:26
[f7a47671e9] Added ===, tautology, satisfiable methods (no tests yet). Replaced 'constant' and 'copy' with a single ':=' method. (user: kennykb, tags: trunk)
23:14
[5b78565cad] Implemented foreach_sat (no tests yet). Fixed a bug where restrict cannot handle variables out of sequence, and added a test case for same. Made the 8-queens example use foreach_sat to enumerate the solutions. (user: kennykb, tags: trunk)
01:09
[1ff84c529c] Add test cases for Restrict and fix the bugs exposed thereby. (user: kennykb, tags: trunk)
2013-11-30
17:50
[8f7b52fae4] remove dribble from bdd-12.13 (user: kennykb, tags: trunk)
17:38
[1513a7c798] add circuit verification example (user: kennykb, tags: trunk)
16:34
[2cbd4f3ba6] Add 8-queens example as a test. (user: kennykb, tags: trunk)
04:28
[b11e4e2f87] Added missing bddInt.h (whoops\!). Added code for AllSat - no Tcl support yet, so entirely untested. (user: kennykb, tags: trunk)
01:30
[d889c00657] add Restrict - no tests yet (user: kennykb, tags: trunk)
2013-11-29
16:16
[37bd59506a] sort methods correctly (user: kennykb, tags: trunk)
16:13
[e6ef0aca88] Added negation and many more tests (user: kennykb, tags: trunk)
04:49
[1c0974e815] filled in method bodies, some tests. (user: kennykb, tags: trunk)
2013-11-28
03:52
[14905fca9f] Development checkpoint. Add many methods to the bdd system class. No tests yet. (user: kennykb, tags: trunk)
2013-10-10
00:32 • Edit [7b7db4603d3ecb88|7b7db4603d]: Change branch background color to "#fff0c0". Move to branch mistake. Mark "Closed". (user: kennykb)
00:28
[7b7db4603d] Closed-Leaf: try to constrain the old code brought over - bring only the minimum needed to link and test (user: kennykb, tags: mistake)
2013-10-05
22:01
[f0a5b96c21] try to constrain the old code brought over - bring only the minimum needed to link and test (user: kennykb, tags: trunk)
21:43
[ec56155d6d] Checkpoint: construction and destruction of a BDD system in TclOO. (user: kennykb, tags: trunk)
17:46
[00f956a43e] Initial commit of empty package. (user: kennykb, tags: trunk)