tclbdd

Check-in [d66431592d]
Login

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

Overview
Comment:Removed abuse of the word 'minterm': the terms being discussed were not minimal
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:d66431592d77b1a634c2e24c74cbd12c79922e9a
User & Date: kbk 2013-12-17 18:42:54
Context
2013-12-18
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
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to generic/tclBdd.c.

Changes to library/tclfddd.tcl.

Changes to tests/fddd.test.