rakhimov / scram / 705

Builds Branch Commit Type Ran Committer Via Coverage
705 develop Update the version number in code to 0.10.0 push rakhimov travis-ci pending completion   set done
703 develop Update the Lizard CCN report push rakhimov travis-ci pending completion   set done
701 develop Update FTA algorithms documentation The update includes descriptions of prime implicants and minimal cut sets. A short description of BDD based analysis is provided as well. push rakhimov travis-ci pending completion   set done
700 develop Fix C++14 lambda capture initialize back to C++11 GCC 4.8.4 seems not to care. push rakhimov travis-ci pending completion   set done
699 develop Refactor 'clones' interface of Decomposition proc push rakhimov travis-ci pending completion   set done
698 develop Add Death tests for IGate AddArg function push rakhimov travis-ci pending completion   set done
696 develop Check the root state after Phase 5 in Preprocessor push rakhimov travis-ci pending completion   set done
694 develop Provide IGate constant check with IsConstant() push rakhimov travis-ci pending completion   set done
693 develop Calculate proper MCS in MOCUS by default Minimal cut sets include only positive literals. For non-coherent fault trees, this is a conservative approximation. More exact approach will be achieved with prime implicants. The current implementation ... push rakhimov travis-ci pending completion   set done
692 develop Remove computed-table from ZBDD Currently ZBDD only needs Subsume operation. A hash table of std::pair as a key is enough. push rakhimov travis-ci pending completion   set done
691 develop Move implementation from Expression header files Some inline functions seem to be overkill. Constructors and computation member functions are moved to the source file. push rakhimov travis-ci pending completion   set done
690 develop Add BDD ITE counter helper function This counter helps log the size of a created BDD. push rakhimov travis-ci pending completion   set done
688 develop Clarify Mult. Inheritance rule deviation from GCSC GCSG only bans Multiple 'implementation' inheritance. push rakhimov travis-ci pending completion   set done
687 develop Separate complement edge of ITE into a mixin class push rakhimov travis-ci pending completion   set done
686 develop Fix the Importance factor formulas The derivations for factors had wrong assumptions, such as coherence of the fault tree. There were numerous mistakes in interpreting conditional probabilities and their relationships with the importance factors.... push rakhimov travis-ci pending completion   set done