rakhimov / scram / 723

Builds Branch Commit Type Ran Committer Via Coverage
723 develop Add a flag to focus Fuzz tester on ZBDD push rakhimov travis-ci pending completion   set done
722 develop Redirect links to scram-pra.org push rakhimov travis-ci pending completion   set done
721 develop Fix reuse of const gates in Boolean optimization Constant gates may appear as parent/targets in non-coherent fault trees. The semantics in this case is the same as the Shannon decomposition of common nodes. push rakhimov travis-ci pending completion   set done
720 develop Remove CDash and CTest configurations This service is redundant. Coveralls is more helpful. Moreover, CDash is limiting the daily builds to 10, so it's an unnecessary constraint. push rakhimov travis-ci pending completion   set done
719 develop Remove CDash and CTest configurations This service is redundant. Coveralls is more helpful. Moreover, CDash is limiting the daily builds to 10, so it's an unnecessary constraint. push rakhimov travis-ci pending completion   set done
718 develop Add '->' in cycle printing in shorthand-to-XML push rakhimov travis-ci pending completion   set done
717 develop Fix 'implicit temporary' in C++11 for-range loops The problem is mostly observed for maps. 'auto' is not used to solve the problem because it hurts readability. push rakhimov travis-ci pending completion   set done
716 codecov Add Codecov through Travis push rakhimov travis-ci pending completion   set done
715 develop Use 'std::fill_n' instead of 'std::fill' push rakhimov travis-ci pending completion   set done
714 develop Simplify repeated application of preprocessing Some preprocessing techniques may be applied until there's no more change possible. The code simplification comes from making these continuously applied techniques aware of their sentinels (like root... push rakhimov travis-ci pending completion   set done
712 develop Add logging of Boolean graph properties The logging is relevant to preprocessing because the preprocessing steps and algorithms transform the graph drastically. push rakhimov travis-ci pending completion   set done
711 develop Update README and coding standards documentation Minor touches in coding standards for "probability" naming. Fuzz testing and a link to Landscape are described. push rakhimov travis-ci pending completion   set done
708 develop Rename CutSetCalculator class CutSetProbabilityCalculator is more clear about its role. push rakhimov travis-ci pending completion   set done
706 0.10.0 Update the version number in code to 0.10.0 push rakhimov travis-ci pending completion   set done
707 master Correct the badge addresses in readme file and add a version badge. push rakhimov travis-ci pending completion   set done