sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
1861 Commits
1 Branch
0 Tags
187 MiB
Tree: 7515ca5293
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '7515ca5293'
${ noResults }
Commit Graph

122 Commits (7515ca52933bf33354c98eecf7a9bc6b33f768b1)

Author SHA1 Message Date
David_Korzeniewski 8ebc0e4640 Final touches on cuda nondeterministic linear equation solver & modelchecker
10 years ago
PBerger f7adf54be3 Added A FindGurobi file for CMake.
10 years ago
dehnert f5f2a2dd4c Added expression evaluation (header-only) library exprtk and a corresponding evaluator class.
10 years ago
David_Korzeniewski 5299ed5172 Adapted FindCusp to fail silently if cusp is not found. Now configuring fails with a meaningful error message instead of syntax errors.
10 years ago
David_Korzeniewski 2e92d66bf3 Cmake scripts for linking mathsat and gmp or mpir which is required by mathsat
10 years ago
PBerger ed3df5f155 Last push :)
10 years ago
PBerger 493f93a94b Added __restrict__ keyword to CUDA kernel. This should enhance compiler optimization.
10 years ago
PBerger ea427fcde1 Fixed include directories for CUDA Plugin in CMakeLists.txt
10 years ago
PBerger 73ddba5b29 Merged master, applied fixes.
10 years ago
PBerger d2f4c85711 Made changes to comply with new SparseMatrix Interface (YUCK).
11 years ago
dehnert 6078e07476 First version of DD iterator; small test included.
11 years ago
PBerger f2383ccfb5 Added missing definitions required for CUDD to compile under 64bit architectures.
11 years ago
dehnert 5fe7ffe51a Added missing function declaration in CUDD'c C++ interface. Started on an iterator for DD valuations.
11 years ago
dehnert 61d4bb956c Added functionality to compare two ADDs up to a given precision. Added logical operator overloads to DD interface. Added tests for all new features.
11 years ago
dehnert 5a4730ae22 When exporting DDs to the dot format, edges leading to the zero node are now suppressed. Also, nodes in the dot file are now labeled with variable names (+ the number of the bit).
11 years ago
PBerger 94b25c02ca Fixed bugs in some files.
11 years ago
dehnert 88d9f36ef4 Added min/max abstract over DD variables to CUDD (actual code taken from PRISM). Added more tests for DD layer. Fixed some bugs in the DD layer.
11 years ago
PBerger 26500ff4a8 Refactored the CUDA Kernel to once again use the "hacked" combination of column indices and values with a bit of reinterpret_cast magic.
11 years ago
PBerger 0922921b24 Updated cudaForStorm/CMakeLists.txt to make use of the new GIT based version schema.
11 years ago
PBerger 05814f5d73 Fixed a bug in the equalModuloPrecision function of the CUDA Kernel
11 years ago
PBerger d3f513b0a0 Added debug output to CUDA Kernel.
11 years ago
PBerger b63a6179d8 Fixed a possible bug in the equalModuloPrecision comparison of vectors.
11 years ago
PBerger 208005e68b Added Tests to the Cuda Plugin.
11 years ago
PBerger e45fa5a82c Added a Test for the CUDA Plugin.
11 years ago
PBerger c0a7e42486 Implemented a basic but complete kernel for value iteration in CUDA.
11 years ago
PBerger 71e077f420 Compiles with CUSP :)
11 years ago
PBerger a964846e2d Added cusplibrary as a git submodule.
11 years ago
PBerger 2ad5e57db2 Refactored version handling. Its now done via Tags in GIT.
11 years ago
PBerger 9388cd158c Implementations, implementations.
11 years ago
PBerger 84a794164c Updated the BUILD.txt file with current information.
11 years ago
PBerger 7c93109773 Updated Intel Threading Building Blocks to Version 4.2.
11 years ago
PBerger 533692914d Upgraded shipped version of eigen to 3.2.1. Official release comment: This is a maintenance release with many bug fixes since the release of 3.2.0 half a year ago. The support for Eigen2 is now marked as deprecated and will be removed in the forthcoming 3.3 release. There are also some limited performance improvements and added functionality in the 3.2.1 release.
11 years ago
PBerger 38659f01f9 Reintegrated needed changes in the log4cplus CMakeLists.txt files.
11 years ago
PBerger 59b7ca39d9 Updated log4CPlus to latest version containing bugfixes.
11 years ago
PBerger da9fe04ba4 Removed the extra shell around the Cuda Plugin. Changed include pathes.
11 years ago
PBerger e78fd3fdcf Added a function header for a Value Iteration Kernel.
11 years ago
PBerger f0aa54823e Added glpk to resources.
11 years ago
PBerger 8781aa27b6 Added cudaForStorm as a dynamic library extension
11 years ago
PBerger 3e44d88958 Fixed a bug in the FindCUDA.cmake file on the client side
11 years ago
PBerger d5828043de Added first signs of the CUDA Extension for Storm.
11 years ago
dehnert 588a4b60b6 Refactored linear equation solvers and nondeterministic linear equation solvers. Added functional tests for both.
11 years ago
PBerger c242dcbd97 Refactored CMakeLists.txt for better editing and overview
11 years ago
PBerger 6fca000233 Removed defines.hxx from source tree
11 years ago
dehnert e4e4c783da Readded defines.hxx.
11 years ago
PBerger 8d59e1c91e Removed an config input file from the repo
11 years ago
PBerger 59ca0373a5 Removed a template specialization for std::less with the SafraTree.
11 years ago
PBerger 8e93238e18 Fixed a stray void* to char* conversion (still trying to please Clang)
11 years ago
PBerger 08a30c6aad Patched types for the strange version of qsort included in CUDD
11 years ago
PBerger 1a4a32a1c5 Next take at static modifiers for Clang.
11 years ago
PBerger 1d6b6c83e0 Fixed header/implementation mismatches which Clang detects and can not ignore.
11 years ago