rakhimov / scram / 901

Builds Branch Commit Type Ran Committer Via Coverage
901 travis-mac Add Travis-CI configurations for Mac builds push rakhimov travis-ci pending completion   set done
899 travis-mac Add Travis-CI configurations for Mac builds push rakhimov travis-ci pending completion   set done
873 develop Configure Travis-CI on Trusty with add-ons It is more convenient than manually calling 'sudo apt-get install -y package'. push rakhimov travis-ci pending completion   set done
872 travis Configure Travis-CI on Trusty with add-ons push rakhimov travis-ci pending completion   set done
871 develop Add memoization of Zbdd::Prune() results The memoization gives around 5-10% speed for large graphs. push rakhimov travis-ci pending completion   set done
870 develop Use prime numbers for hash table capacities The determination of prime numbers requires Miller-Rabin probabilistic test provided by Boost 1.53 with bug-fixes in Boost 1.54. The dependency version of Boost is updates for this reason. push rakhimov travis-ci pending completion   set done
869 master Correct the badge addresses in README.rst push rakhimov travis-ci pending completion   set done
868 0.11.2 Update the version number to 0.11.2 push rakhimov travis-ci pending completion   set done
867 develop Update the version number to 0.11.2 push rakhimov travis-ci pending completion   set done
865 develop Make Model initialization case-sensitive push rakhimov travis-ci pending completion   set done
864 develop Clarify Model::GetEntity() signature push rakhimov travis-ci pending completion   set done
861 0.11.1 Update the version number to 0.11.1 push rakhimov travis-ci pending completion   set done
863 master Correct the badge addresses in README.rst push rakhimov travis-ci pending completion   set done
860 develop Update the version number to 0.11.1 push rakhimov travis-ci pending completion   set done
858 develop Add filter for Cpplint false positive on Travis-CI push rakhimov travis-ci pending completion   set done