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

3194 Commits (cc958bedf06e074565d5a5a960a680af07ab5fe5)
 

Author SHA1 Message Date
TimQu f681206393 building markov automata from prism code
9 years ago
PBerger 0f84cdcadb Fixed performance tests.
9 years ago
dehnert 2c2049dc0b Merge branch 'exact_solver' into future
9 years ago
dehnert 83c4b1647c solvers now can allocated auxiliary memory
9 years ago
dehnert be5fdeb636 started working on internal auxiliary storage of solvers
9 years ago
TimQu cf299a6344 fixed the case where an expression occurred twice in the formulas
9 years ago
PBerger 4e1019e682 Removed all mentions of EIGEN_DEPRECATED from Eigen Sources. Each instance triggers an error about an unexpected attribute "deprecated". It seems to be a combination of Eigen + Storm or other 3rd party libraries since this error does not apprear in stand-alone compilations with Eigen3.
9 years ago
PBerger d80423b760 Fixed the stupid array with size zero warning in Sylvan/Lace.
9 years ago
dehnert 95b95d9c64 fixed some minor issues and renamed equation solver methods slightly to make the names a bit more compact
9 years ago
dehnert b1f2c26df0 made all instantiations to call MDP model checking with rational numbers
9 years ago
dehnert d27c75c3d8 fixed missing virtual keyword
9 years ago
dehnert 512da83a42 added proper mult_add to gmm++
9 years ago
dehnert 61a8b9bb29 more work on solvers
9 years ago
dehnert 9ab33528b4 started to fill value iteration implementation in new general min-max solver
9 years ago
dehnert b4e0cabef6 started working on general min-max solver that uses an underlying linear equation solver. provided necessary factories. adapted code and removed old min-max solvers
9 years ago
dehnert 248b257f20 enabled rationals/rational functions in CTMC model checker
9 years ago
dehnert d661454179 started working on instantiating CTMC model checker to rational numbers
9 years ago
dehnert 8153306ced fixed wrong call to Eigen's iterative solvers
9 years ago
dehnert 46ce68743c enabled precision/max iterations for eigen solver
9 years ago
dehnert 2a7dc0fad0 renamed MarkovChainSettings
9 years ago
dehnert 5616004e6e remove debug output
9 years ago
dehnert 07c787b49d added unsupported solvers of eigen
9 years ago
dehnert d24fb0cf9a avoid temporary in Eigen solver by providing .noalias(). slightly rewrote matrix-vector expression to benefit more from Eigen's optimization capabilities
9 years ago
dehnert 69da4ff147 fixed some more problems with Eigen solver
9 years ago
dehnert f46bcd31c5 fixed typo
9 years ago
dehnert ba43e23984 using maps for Eigen solver instead of copies of the vectors
9 years ago
dehnert 7944778b54 Merge branch 'future' into exact_solver
9 years ago
dehnert 711d5cfa12 fixed bug in sparse dtmc elimination model checker. commented out weird eliminaton functions in CTMC model checker and storm.h
9 years ago
dehnert 49f59052f8 made model checkers give up possession of matrix to solver when possible
9 years ago
dehnert 00d331ebb4 moved linear equation solver factories to the respective solver files (and away from utility). restructured settings in factories and the way they are forwarded to the linear equation solvers. fixed all resulting errors
9 years ago
Mavo e443384b91 Added assertion
9 years ago
dehnert b30db17f8c added rvalue reference overload to all linear equation solver factories
9 years ago
dehnert 15a4d4757f added feature to linear equation solver factories to take posession of the matrix to forward it to the solvers
9 years ago
PBerger b99a063cce Replaced calls to std::abs with calls to std::fabs and included cmath.
9 years ago
dehnert 40a7948540 started generalizing elimination to equation system solving
9 years ago
dehnert 3ba5902821 removed debug output and fixed small bug in adaptation of Eigen
9 years ago
dehnert 13f8f21a70 upgrade to eigen 3.3 and made modifications for different value types via template specializations
9 years ago
dehnert 99b9f11d49 removed eigen-3.2.6
9 years ago
dehnert 852afd1718 fixed crowds models to work with exact arithmetic. fixed dynamic state priority queue implementation. added setting to use dedicated elimination-based model checker instead of regular model checker (+ elimination solver)
9 years ago
dehnert 82d4164c39 added obeying a state ordering to elimination linear equation solver
9 years ago
dehnert a699272dc6 renamed storm::Variable to storm::RationalFunctionVariable to avoid confusion with storm::expressions::Variable. fixed some Eigen tests
9 years ago
dehnert f3fa90cc37 more work towards exact solving
9 years ago
PBerger be9648fc18 Added -fPIC to Sylvan. Since it is linked into Storm it is necessary for relocation to be possible, hence PIC.
9 years ago
dehnert d3de111b3b more work to enable storm to use rational arithmetic
9 years ago
dehnert af35a4c3ed Merge branch 'jani_support' into exact_solver
9 years ago
dehnert 3bb36997a1 minor bugfix
9 years ago
dehnert 8f12b3b8c4 added option 'exact' (in addition to parametric)
9 years ago
Mavo dcf5468b29 Fixed linker error with static function
9 years ago
Mavo 17ba53dafa Division by Interval not supported
9 years ago
dehnert 2096c54b84 more explicit instantiations for rational function and some more tests for eigen solver
9 years ago