Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|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|
|User & Date:||kbk 2013-12-17 18:42:54|
|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|
|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 to generic/tclBdd.c.
Changes to library/tclfddd.tcl.
Changes to tests/fddd.test.