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

144 Commits (ae9073ac5080cbc47a827c6d90432f5d755c3ed8)

Author SHA1 Message Date
dehnert 95b95d9c64 fixed some minor issues and renamed equation solver methods slightly to make the names a bit more compact
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 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
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
dehnert 2096c54b84 more explicit instantiations for rational function and some more tests for eigen solver
10 years ago
dehnert 4e14ecb869 made elimination-based linear solver work in an alpha version. changed minor things in Eigen's SparseLU implementation to make it work with rational numbers and rational functions
10 years ago
dehnert bb700457de some minor fixes
10 years ago
dehnert 4cc780cbc0 tests compiling and running again
10 years ago
dehnert d35c99e844 renamed central model builder function
10 years ago
dehnert 6655ee41d8 started to restructure explicit model builder to make it fit for JANI models
10 years ago
Mavo a0d659f2da always use shared_ptr<Formula const>
10 years ago
dehnert 60bbce0ba1 added two tests for exploration engine
10 years ago
Mavo 7688d7ef42 Fixed test
10 years ago
Mavo c9f04ecc0b Added IOSettings
10 years ago
Mavo effadc5cca Split into general settings and markov chain settings
10 years ago
Mavo 67d77608bd Refactoring of settings
10 years ago
TimQu 4bb4e29e43 Added a test case where model checking expected rewards on MDPs currently fails
10 years ago
dehnert fad28df7d6 first working version of next-state generator for PRISM models
10 years ago
dehnert 5ce72a85ce added small test for conditional probability and conditional rewards
10 years ago
dehnert 3727018ef4 added functionality to sparse MDP helper to compute until probabilities just for maybe states (and produce the corresponding scheduler)
10 years ago
dehnert 8f087597cc more work towards proper scheduler generation
10 years ago
dehnert 4367bdb378 properly introduced CheckTask in all model checkers and made it compile again (+ functional tests working)
10 years ago
sjunges d8191d8c6a const formulae
10 years ago
dehnert 0f6e6e4da1 added feature to compute step-bounded until probabilities in parametric models
10 years ago
sjunges 1e1400d68d merge
10 years ago
dehnert d0e15d1a4f more work (and stuff, you know?)
10 years ago
dehnert f8fc39870a hybrid and symbolic model checkers working with sylvan
10 years ago
dehnert 7376eaf866 made symbolic MDP model checker tests work
10 years ago
dehnert 7f75db2790 ADD iterator working for sylvan. enabled more tests for sylvan. symbolic Dtmc model checker now working.
10 years ago
dehnert 19029cd905 functional tests compile and run again, yay!
10 years ago
dehnert de58c73c5a forgot to commit some files
10 years ago
dehnert 27e06940a9 templated all explicit parsers so that they may now be modified to produce non-double models
10 years ago
sjunges e3122e5ede Faster compilation and topological failing test failed
10 years ago
sjunges f219437acf Faster compilation times!
10 years ago
sjunges 1086ffc1cc Added allow early termination for min/max solvers
10 years ago
dehnert f9f5a4e206 reincluded tbb in gmm. fixed missing header. extended formula parser to return multiple formulas
10 years ago
dehnert b94e978843 another round of fixes
10 years ago
dehnert fbd05cd780 more and more bugfixes
10 years ago
dehnert b3178e17f6 more bug fixes
10 years ago
dehnert 73a2491dfb more bugfixes
10 years ago
dehnert dbc7d860a4 functional tests compile again, started to debug changes
10 years ago
sjunges 5e428a795a And more includes on the right spot.
10 years ago
dehnert 72cb30d6b0 started replacing ValueType template argument by model class in all instantiations
10 years ago
sjunges 92082dc970 gurobi lp solver refactored in case gurobi is not found, and fixes for linux - sorry about earlier lack of checks on linux
10 years ago
sjunges 3c2040f4b7 Removed many superfluous includes, added some source files -- towards faster compilation
10 years ago
dehnert e338cbe069 fixed a lot of warnings in the tests
10 years ago
dehnert 04f789619c some work towards eliminating compiler warnings
10 years ago
dehnert c99a61307f hybrid dtmc model checker can now also treat lra
11 years ago
dehnert 39abecbad3 added some tests for LRA in CTMCs
11 years ago