tclbdd

Timeline
Login

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

28 ancestors of [61ca0d0495]

2013-12-10
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