tclbdd

Timeline
Login

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

40 ancestors of [d66431592d]

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
23:14
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. check-in: 5b78565cad user: kennykb tags: trunk
01:09
Add test cases for Restrict and fix the bugs exposed thereby. check-in: 1ff84c529c user: kennykb tags: trunk
2013-11-30
17:50
remove dribble from bdd-12.13 check-in: 8f7b52fae4 user: kennykb tags: trunk
17:38
add circuit verification example check-in: 1513a7c798 user: kennykb tags: trunk
16:34
Add 8-queens example as a test. check-in: 2cbd4f3ba6 user: kennykb tags: trunk
04:28
Added missing bddInt.h (whoops\!). Added code for AllSat - no Tcl support yet, so entirely untested. check-in: b11e4e2f87 user: kennykb tags: trunk
01:30
add Restrict - no tests yet check-in: d889c00657 user: kennykb tags: trunk
2013-11-29
16:16
sort methods correctly check-in: 37bd59506a user: kennykb tags: trunk
16:13
Added negation and many more tests check-in: e6ef0aca88 user: kennykb tags: trunk
04:49
filled in method bodies, some tests. check-in: 1c0974e815 user: kennykb tags: trunk
2013-11-28
03:52
Development checkpoint. Add many methods to the bdd system class. No tests yet. check-in: 14905fca9f user: kennykb tags: trunk
2013-10-05
22:01
try to constrain the old code brought over - bring only the minimum needed to link and test check-in: f0a5b96c21 user: kennykb tags: trunk
21:43
Checkpoint: construction and destruction of a BDD system in TclOO. check-in: ec56155d6d user: kennykb tags: trunk
17:46
Initial commit of empty package. check-in: 00f956a43e user: kennykb tags: trunk
17:26
initial empty check-in check-in: 43ed3988f2 user: kennykb tags: trunk