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

46 Commits (d612337ebfc35b6922c7a2f0ff9ed234c9b7f4f5)

Author SHA1 Message Date
dehnert d612337ebf added bunch of debug output for aliasing problem
8 years ago
dehnert 55c787e0d8 proper EC elimination in hybrid helper
8 years ago
dehnert 694e6ba240 EC elimination for Pmax for hybrid MDP model checker
8 years ago
TimQu 142d034765 New methods for the SparseMatrix: SetRowGroupIndices and filterEntries
8 years ago
dehnert df0b5fbfa5 fixed multiply-reduce operations in the presence of empty row groups
8 years ago
dehnert ec61e110f2 introducing solver formats to enable linear equation solvers to take the fixed point rather than the equation system formulation
8 years ago
dehnert c5134c364f Extraction and update of TBB-parallelized stuff
8 years ago
dehnert bba2832e5b finished Walker-Chae method
8 years ago
dehnert 5440d164b2 started on Walker-Chae algorithm
8 years ago
dehnert c77b9ce404 gauss-seidel style multiplication for gmm++
8 years ago
dehnert 00f88ed452 gauss-seidel-style value iteration
8 years ago
dehnert dd035f7f5e allow for summand in matrix-vector multiplication
8 years ago
dehnert 5e2ccaeeb5 started moving towards simpler sparse quotient extraction
8 years ago
dehnert 115f7734eb more work on dd bisim
8 years ago
Sebastian Junges cd8dafa6ea Check for absence of negative probabilities in matrix
9 years ago
dehnert 3bf40471b4 small fixes in matrix builder and removal of debug output
9 years ago
dehnert 52b07a0c2f fixed a bug in sparse matrix builder, fixed some tests
9 years ago
dehnert 8a01765005 enabling symbolic bisimulation from cli
9 years ago
TimQu bff745656c Fixed some matrix builder bugs related to 0x0 matrices
9 years ago
TimQu 35c9b58fda added a test case for SparseMatri::restrictRows and fixed it
9 years ago
TimQu 3fd72a11d8 Improved SparseMatrix::restrictRows so it can handle empty row groups
9 years ago
dehnert ea02ea0838 started overhaul of cli/api
9 years ago
TimQu aa158f5144 ContinuousToDiscreteTimeModelTransformer can now transform the model out-of-place as well
9 years ago
TimQu 790ae46e4f Fixed explicit dft model builder.
9 years ago
TimQu 576f92568e StateValuations and ChoiceOrigins are now members of a sparse::Model.
9 years ago
dehnert f0f4cd7390 first version of sparse quotient extraction for dd bisimulation
9 years ago
TimQu 4413afb542 used new helper functions at some points in the code
9 years ago
TimQu 8a7609fb83 fixed Rmin computation with exact sparse engine when very high rewards occur
9 years ago
TimQu fc97c1fc9d introduced memory structure
9 years ago
dehnert ee90c51b2a cleaned up constants.cpp to finalize separation of rational functions and rational numbers
9 years ago
TimQu 14e44e0165 removed old region model checker classes, implemented entry point for pla, solved different compilation issues
9 years ago
TimQu 536b1669c3 fixes for dtmc parameter lifting
9 years ago
TimQu ac6694f103 Improved sparse mdp model checking: Now allows hints for expected rewards
9 years ago
TimQu f16f18bbf6 fix in Matrix-vector multiplication
9 years ago
dehnert a7e9c5819f removed 'size-in-memory' output as it was outdated and unreliable. added timing measurements for model construction and model checking
9 years ago
dehnert 5b09b91ae1 fixed more warnings
9 years ago
Sebastian Junges d246517757 removed src prefix in all includes
9 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
9 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
9 years ago
TimQu 4d53dc4930 Fix in SparseMatrix::swapRows
9 years ago
TimQu 3d7442b5c1 Fix in SparseMatrix::swapRows
9 years ago
TimQu 71e181bd93 some quick and dirty optimizations (that need to be reviewed)
9 years ago
Mavo bf491117c7 Sort row only if replacement took place
9 years ago
dehnert bba69684c9 reworked explicit Markov automaton generation a bit
9 years ago
Mavo 566cef0f91 Started on compiling without Carl
10 years ago
Mavo 560b42a94a Some interval functions not implemented
10 years ago
TimQu 7bab48b59b bounded reachability for MAs
10 years ago
TimQu f681206393 building markov automata from prism code
10 years ago
dehnert a699272dc6 renamed storm::Variable to storm::RationalFunctionVariable to avoid confusion with storm::expressions::Variable. fixed some Eigen tests
10 years ago
Mavo 17ba53dafa Division by Interval not supported
10 years ago