rakhimov / scram / 857

Builds Branch Commit Type Ran Committer Via Coverage
857 develop Move XML helper functions to xml_parser.h The functions are moved from Initializer. The new shared functions can be used by Config to get common XML Element and Text related tasks done without repeating the code. push rakhimov travis-ci pending completion   set done
855 develop Fix the shadow variable declaration found by Clang push rakhimov travis-ci pending completion   set done
854 develop Make ZBDD product extraction aware of cut-offs The product extraction phase avoids doing redundant work by ignoring products of higher order than the cut-off. Ideally, this scenario should never occur with the strict application of the cut-off; h... push rakhimov travis-ci pending completion   set done
853 develop Add more memoization table cleanups in BDD/ZBDD The attempt to save space after analysis is done or not expected to be run again. push rakhimov travis-ci pending completion   set done
852 coverage Do not exclude header files from coverage checks Even though most header files introduce noise due to inlined small functions, some header files contain template code that should be reported with the coverage information. push rakhimov travis-ci pending completion   set done
851 develop Add a helper Intersects() for two sorted ranges The function is helpful in Preprocessor when the intersection elements are not needed from std::set_intersection(). push rakhimov travis-ci pending completion   set done
849 develop Make Bdd/Zbdd UniqueTable growth factor dynamic The growth factor is adjusted depending on the current size of the graph. This is an attempt to take into account the growth patterns of BDDs. The hash table resizing and rehashing tends to dominat... push rakhimov travis-ci pending completion   set done
297 develop Configure Travis-CI to get Boost version > 1.47. push rakhimov travis-ci pending completion   set done
847 develop Fix style errors found by cpplint push rakhimov travis-ci pending completion   set done
846 develop Use boost::intrusive_ptr in BDD and ZBDD The intrusive pointer replaces standard shared pointer for BDD and ZBDD vertex management. To support intrusive pointers and intrusive weak pointers, Vertex class code is changed heavily. Several support s... push rakhimov travis-ci pending completion   set done
845 develop Fix missing negative var logic in Zbdd::MayBeUnity Negative variables may be approximated to Unity in calculations of minimal cut sets. This fix applies to issue #128. push rakhimov travis-ci pending completion   set done
844 develop Add cross validation of results in Fuzz tester The results of qualitative analysis algorithms are compared at the end of each run. If there's any disagreement between the algorithms, the run is reported as failure. The new functionality is used ... push rakhimov travis-ci pending completion   set done
843 develop Refactor Zbdd::Apply with template Operator param Zbdd::Apply for AND operator is very convoluted, but with the template parameter, it is a bit more clear, and the run-time checks for the operator are avoided. push rakhimov travis-ci pending completion   set done
842 develop Fix indentation of initialization lists push rakhimov travis-ci pending completion   set done
840 develop Exclude env.cc unpredictability from Cpplint check CMake puts an environmental variable into the generated env.cc file. The string is platform dependent and may exceed the style guide line length requirements. push rakhimov travis-ci pending completion   set done