PBerger
3e44d88958
Fixed a bug in the FindCUDA.cmake file on the client side
Former-commit-id: 6cb2d77777
11 years ago
PBerger
d5828043de
Added first signs of the CUDA Extension for Storm.
Former-commit-id: b02385cd82
11 years ago
dehnert
588a4b60b6
Refactored linear equation solvers and nondeterministic linear equation solvers. Added functional tests for both.
Former-commit-id: 0abb11828a
11 years ago
PBerger
c242dcbd97
Refactored CMakeLists.txt for better editing and overview
Refactored all Defines for Gurobi, TBB, etc into the storm-config file
Fixed a missing cast int SymbolicModelAdapter.h
Fixed changed iterator structures in SparseMatrix.h
Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull)
Fixed a Type Error in graph.h
Former-commit-id: 797b4da2eb
11 years ago
PBerger
6fca000233
Removed defines.hxx from source tree
Added a new include path for storm as to include the generated out-of-source defines.hxx
Former-commit-id: 1a75f61da0
11 years ago
dehnert
e4e4c783da
Readded defines.hxx.
Former-commit-id: 5a31bcbb50
11 years ago
PBerger
8d59e1c91e
Removed an config input file from the repo
Former-commit-id: 5019b5d84c
11 years ago
PBerger
59ca0373a5
Removed a template specialization for std::less with the SafraTree.
Former-commit-id: 88209e9fee
11 years ago
PBerger
8e93238e18
Fixed a stray void* to char* conversion (still trying to please Clang)
Former-commit-id: eb1514ffb1
11 years ago
PBerger
08a30c6aad
Patched types for the strange version of qsort included in CUDD
Former-commit-id: e9d69d3514
11 years ago
PBerger
1a4a32a1c5
Next take at static modifiers for Clang.
Former-commit-id: f15c1b8934
11 years ago
PBerger
1d6b6c83e0
Fixed header/implementation mismatches which Clang detects and can not ignore.
This might introduce bugs, but it was my best guess as to what atrocity the author was trying to to there.
Former-commit-id: 8d269a71e0
11 years ago
PBerger
c4c690908a
Removed "static" modifier from functions which are defined as EXTERN in a header file
Former-commit-id: 651af45f69
11 years ago
PBerger
11198c648c
Fixed include pathes for CUDD in CMakeLists.txt
Added a variadic macro for MSVC since the PrismGrammar makes use of emplace magic
Patched log4cplus to disable unicode from a parent project
"Patched" various serious issues in CUDD, where size_t <-> int problems and forced int to bool conversions piss of the compiler. And me.
Former-commit-id: eb27e77ddd
11 years ago
PBerger
c9d3012adb
Removed the superfluous main file from ltl2dstar, so that CMake will not compile it and include its main() in Storm
Former-commit-id: 6a82b1a780
11 years ago
PBerger
d0498254f0
Updated gtest from version 1.6.0 to 1.7.0
Former-commit-id: c6286aac27
11 years ago
PBerger
7812c6639e
Added missing obj/cuddObj files
Former-commit-id: 2f970b777d
11 years ago
PBerger
d42a2151c5
Added a CMakeLists.txt for CUDD
Moved CUDD sources to src/ directory
Fixed a lot of signed/unsigned mismatches in CUDD
Removed the extra version for Win32, is now merged with the other source
Former-commit-id: b869224551
11 years ago
PBerger
d743e222f7
Refactored ltl2ba to compile under windows
Added a CMakeLists.txt for ltl2ba
Former-commit-id: 47a102e0ce
11 years ago
PBerger
1b60b08ca6
Deleted the obsolete boost sources from ltl2dstar
Removed an unneeded SamplePlugin.cpp from ltl2dstars source tree
Added a CMakeLists.txt build file for ltl2dstar
Updated fdstream.hpp and TempFile.hpp to use non-outdated POSIX functions on windows
Former-commit-id: 995b64f188
11 years ago
dehnert
12a92fc6ee
Several fixes and additions to IR. Modifications to CMakeLists.txt of log4cplus to enable proper compilation under Mac OS. Fixes to coin2.nm. Added global variables to grammar and IR. Established basis for defining undefined constants of the model. Started to write MinimalLabelSetGenerator.
Former-commit-id: b65bb063fa
11 years ago
dehnert
1978b39d49
Removed static libs for gtest from repository.
Former-commit-id: 9f0cf36b25
11 years ago
dehnert
947581dd25
Refactored and fixed bugs in explicit model adapter. Added support for labeling of choices of a model. The explicit model adapter uses that functionality to label each choice with the involved PRISM commands.
Former-commit-id: 818431d6e9
11 years ago
dehnert
bf732ad4c4
Removed static libraries from repository.
Former-commit-id: 3638af4a95
11 years ago
PBerger
64c4a0c7c3
Fixed log4cplus CMakeLists.txt to default to C++11 on GCC and Clang
Added libgtest to repository
Added libltl2dstar.a to repository
Former-commit-id: e252babad9
11 years ago
PBerger
d7f9d1d3c6
Added log4cplus libraries for linux, x86_64 build with clang and its defines.hxx
Former-commit-id: 497789d56a
11 years ago
PBerger
df21fbbbde
Added new version of Log4CPlus, updated from v1.1.0 to v.1.1.2-rc2
Updated CMakeLists.txt, included new Log4Cplus
Former-commit-id: 55cc5a74d3
11 years ago
dehnert
0473d1a757
Fixed a lot of issues with the IR and the explicit state space generator.
Former-commit-id: fe80aaaf0f
12 years ago
dehnert
d168b1848e
Made GMRES and LSCG solution methods work for linear equation solving. Some further work on scheduler guessing.
Former-commit-id: f6b538394a
12 years ago
PBerger
42b9072cbf
Implemented TBB Parallelization Support into SparseMatrix.h
Re-factored Includes in CMake for TBB
Former-commit-id: b5ebf4153a
12 years ago
PBerger
cb770020bf
Refactored the Jacobi Decomposition
Former-commit-id: 55d5d38475
12 years ago
PBerger
c0b454d8b0
Removed debugging output from GmmxxMdpPrctlModelCheckerTest.cpp
Former-commit-id: a734213a25
12 years ago
PBerger
89909fe8dc
Edited all Parsers to lose its class.
Modified many classes to provide a reference-constructor.
Fixed a few bugs in Tests.
Former-commit-id: c31fe95aae
12 years ago
PBerger
e79a4abc3e
Added Windows MSVC2012 x64 Binaries for GTest
(cherry picked from commit 39cd7d56cd
)
Former-commit-id: f2a82c1bad
12 years ago
PBerger
750c829f7a
Fixed CUDD Project Setup.
Added Windows MSVC2012 x64 binaries for CUDD
Former-commit-id: 19fff9a770
12 years ago
PBerger
7d82a44d53
Added Windows Binaries from VC2012 x64 to Repo. Will be cherry-picked back to master.
(cherry picked from commit 696cbb2d9e
)
Former-commit-id: 257d2e6461
12 years ago
PBerger
02d0f9e1ea
Added a Win64 Project for LTL2DStar
Edited same sources to compile in windows
12 years ago
Lanchid
81025757f8
Minor fix (Changed function name)
12 years ago
Lanchid
a96380259a
Added ltl2ba and ltl2dstar to ressources
12 years ago
Lanchid
ec91dcbe2e
Merge branch master into LTLParser
12 years ago
PBerger
02cc706525
Added cudd-2.5.0 patched for Win32/Win64 incl. static lib builds for MSVC2012
12 years ago
dehnert
27de566228
Moved current tests to the functional test suite in an attempt to introduce performance tests.
12 years ago
Harold Bruintjes
6aea8de7ba
Readded cudd 2.5.0 from prismparser
12 years ago
david
1642c5f66c
Added missing functions to CUDDs cpp interface
12 years ago
dehnert
1539062a47
Added build folder of TBB to enable building the repository version from source.
12 years ago
dehnert
e2f95e065f
Modified CmakeLists.txt to actually also link the libraries of TBB if requested. Included custom build of TBB for Mac OS using Apple clang 4.2 (based on clang 3.2).
12 years ago
PBerger
fd7971f9aa
Added sources to Intel TBB, PATCHED files for MacOSX + CLang > 3.1
12 years ago
PBerger
2a8920aeef
Updated CMakeLists.txt, added an option for Intel TBB
Edited gmm_blas.h, reordered includes
12 years ago
PBerger
f5910e8da1
Added Intel TBB 4.1 Update 3 with Binaries for Windows, Linux and Mac OSX.
Updated CMakeLists.txt to include default paths.
12 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