Tree: 84eabdac8c

Commit Graph

5 Commits (84eabdac8c9f1c5fc39f1aa5d215acd049a0bc26)

Author	SHA1	Message	Date
David_Korzeniewski	2e92d66bf3	Cmake scripts for linking mathsat and gmp or mpir which is required by mathsat Former-commit-id: b13b68115a	11 years ago
PBerger	2ad5e57db2	Refactored version handling. Its now done via Tags in GIT. Added CPack configuration as to build packages on the build servers. Former-commit-id: f3d9507867	11 years ago
PBerger	7c93109773	Updated Intel Threading Building Blocks to Version 4.2. Edited the FindTBB script to better parse and find the libraries. TBB now includes builds for Mac @ libc++. Former-commit-id: 4f573ee6a2	11 years ago
PBerger	5cdfba685e	Added resources for Usage of Intels Thread Building Blocks Implemented multithreading using TBB inside of GMM for usage in Sparse Matrix Multiplication against Dense Vectors Usage: #define GMM_USE_TBB to enable TBB, additionally define GMM_USE_TBB_FOR_INNER to enable multithreading for EACH row (only feasible of the number of NNZ per Row is large - as in near dense)	12 years ago
Lanchid	5b57728d7e	Merge branch master into PrctlParser	12 years ago
PBerger	7f956b0d35	Added Cotire to Storm to build PCH on all plattforms. Edited the ConstTemplates.h as the new compilation order breaks because of some min/max macros.	12 years ago