You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: e45fa5a82c

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'e45fa5a82c'

${ noResults }

tempest/test/functional

History

PBerger e45fa5a82c Added a Test for the CUDA Plugin. Added accessors for the SparseMatrix as I need access to the internal vectors. Added a pure SPMV Kernel interface to check the kernel for errors. Former-commit-id: 46e1449eeb		11 years ago
..
modelchecker	Removed debug outputs from the TopologicalValueIterationNondeterministicLinearEquationSolver	11 years ago
parser	Finished reworking the sparse matrix implementation. Adapted all other classes to the (partially) new API of the matrix.	12 years ago
solver	Added a Test for the CUDA Plugin.	11 years ago
storage	Reimplemented the TopologicalValueIterationNondeterministicLinearEquationSolver with splitting into submatrices.	11 years ago
storm-functional-tests.cpp	Introduced a new Object called InternalOptionMemento to handle required settings for tests which auto-reset after the test is done	12 years ago