rakhimov / scram / 745

Builds Branch Commit Type Ran Committer Via Coverage
745 develop Add more performance logs for MOCUS push rakhimov travis-ci pending completion   set done
743 develop Refactor BDD vertex classes for performance Around 10% memory consumption improvement. The classes are in process of becoming slimmer. Polymorphism is given up with the virtual destructor for performance reasons. push rakhimov travis-ci pending completion   set done
742 develop Use Doxygen grouping for overloads and members Repetitive comments are removed by grouping function and member comments with Doxygen '/// @{' and '/// @}'. push rakhimov travis-ci pending completion   set done
741 develop Refactor the data-layouts of BDD/ZBDD classes Complement edge mixin class is merged into Ite for simplicity. Member variables are ordered where possible to shave off the padding. However, the objects are still huge (80-100 B). This refactoring gi... push rakhimov travis-ci pending completion   set done
740 develop Fix n > 9 generation in the N-Queens script push rakhimov travis-ci pending completion   set done
739 develop Add a script to generate a fault tree of N Queens This is a fault tree representation of the N Queens problem. The problem can serve as a benchmark for BDD implementation. MOCUS and ZBDD also solve the default (8 Queens) problem in a short time a... push rakhimov travis-ci pending completion   set done
738 develop Test BDD/ZBDD/MOCUS with value-parametrized tests All relevant risk analysis tests are repeated for the algorithms. RiskAnalysisTest is made aware of the value-parametrization through an addition of HasParam() into GTest header file. push rakhimov travis-ci pending completion   set done
736 develop Configure Travis-CI on Ubuntu 14.04 push rakhimov travis-ci pending completion   set done
735 travis-trusty Configure Travis-CI on Ubuntu 14.04 push rakhimov travis-ci pending completion   set done
733 develop Handle const True module in BDD-to-ZBDD conversion The case with const True module appears only in non-coherent models. push rakhimov travis-ci pending completion   set done
732 develop Make BDD the default analysis algorithm Making BDD the default qualitative analysis algorithm allows reuse of the BDDs for quantitative analyses. BDD is the fastest algorithm currently implemented in SCRAM. Closes #121. push rakhimov travis-ci pending completion   set done
730 develop Make BDD garbage collector work on compute tables The implementation is too eager to clean and inefficient with tracking the tables to clean. The memory use for the most intensive benchmarks has actually increased by around 20%. Speed for the mos... push rakhimov travis-ci pending completion   set done
729 develop Incorporate limit order in ZBDD Apply operations There's no observed speed improvement, but with truncation memory and speed can be controlled. This is inherent to analysis with ZBDD and MOCUS (#126). push rakhimov travis-ci pending completion   set done
728 develop Refactor memoisation of ZBDD minimizing/widening Hash tables with results are moved from the ZBDD class into minimization and widening functions. push rakhimov travis-ci pending completion   set done
727 develop Update performance logs push rakhimov travis-ci pending completion   set done