rakhimov / scram / 766

Builds Branch Commit Type Ran Committer Via Coverage
766 develop Move Debug flags from install.py to CmakeLists.txt This allows use of CMake directly with all the relevant flags turned on. push rakhimov travis-ci pending completion   set done
765 develop Make ZBDD aware of PDAG and BDD coherency Awareness of top-level coherency is achieved. However, module-wise coherency awareness is not full. push rakhimov travis-ci pending completion   set done
764 develop Remove underscores from C++ test names Underscores may break in GoogleTest. push rakhimov travis-ci pending completion   set done
761 develop Exclude performance tests on Travis-CI The system configurations are unreliable for performance tests on CI. push rakhimov travis-ci pending completion   set done
759 develop Incorporate PI into test parametrization All tests are run with prime implicants. Even though there are no benchmarks specifically for prime implicants, the current set of simple tests are good enough to close #122. push rakhimov travis-ci pending completion   set done
758 develop Fix tests of product order distribution push rakhimov travis-ci pending completion   set done
757 develop Generalize cut sets to Boolean products "Boolean products" are used for generality in analysis facilities. Only in cases where facilities specifically deal with "cut sets", "cut sets" are used in API and documentation. The generalization is a pa... push rakhimov travis-ci pending completion   set done
756 develop Document __init__ methods in Python push rakhimov travis-ci pending completion   set done
755 develop Simplify Logger macros push rakhimov travis-ci pending completion   set done
753 develop Rename Bdd::IfThenElse() to Bdd::ConvertGraph() This is a function. The original name looks confusing like a constructor. push rakhimov travis-ci pending completion   set done
752 develop Cleanup CEA9601 tests push rakhimov travis-ci pending completion   set done
750 develop Refactor BDD/ZBDD Apply for terminal vertices Knowledge of a single terminal vertex argument is enough to compute the result of the Apply operations. push rakhimov travis-ci pending completion   set done
749 develop Fix cut set probability calculator assumptions The major assumption is that a cut set doesn't contain complements. push rakhimov travis-ci pending completion   set done
748 develop Clarify the default installation directory push rakhimov travis-ci pending completion   set done
746 develop Update performance tests and logs for MOCUS Enable the Baobab tests. Speed improvement ranges 10x-50x. Memory utilization improved by around 3-30x. However, the new approach with MOCUS/ZBDD comes short on benchmarks with approximations (~2x spee... push rakhimov travis-ci pending completion   set done