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

215 Commits (f2289a3b87bbb75a23d1c36cdb7b7b3249bd2d09)

Author SHA1 Message Date
TimQu ff8c7813bb commented out failing tests in the fragmentchecker
9 years ago
dehnert 83fdffadc6 adapted tests; in particular enabled previously disabled rewards test
9 years ago
dehnert e81d979d56 hybrid MDP helper respecting solver requirements
9 years ago
TimQu e48c822941 fixed csma test
9 years ago
dehnert 4adee85fa5 added checking requirements of MinMax solvers to model checker helpers
9 years ago
TimQu 591a53582a fixed test
9 years ago
TimQu e1aba323bf more tests for reward unfolding
9 years ago
TimQu 06ec288296 enabled pcaa test that uses rational numbers
9 years ago
TimQu 172b17d7ae simple testcase for the reward unfolding
9 years ago
dehnert d2a493a92d fixed several crucial bugs related to dd bisimulation, tests now passing
9 years ago
dehnert a7dcdcd84d started on tests and added a ton of debug output
9 years ago
dehnert d23547d99f started optimizing some DdManager methods
9 years ago
TimQu 50e1fe0c15 increment() function for BitVector
9 years ago
TimQu 9ca14a54fc templated the LpSolvers
9 years ago
TimQu e38ec10459 fixed permissive scheduler test (which is only compiled when gurobi is there)
9 years ago
TimQu 31b5d77560 fixed expected results which have been too imprecise for the LP-based MinMaxLinearEquationSolver
9 years ago
TimQu 6a986d2490 tests for MinMaxLinearEquationSolver
9 years ago
TimQu 39549f6ebd Moved some functionality of StandardMinMaxSolver into a subclass
9 years ago
TimQu 11b9c60515 Adapted fragment checker test to new multiobjective-fragment specification
9 years ago
TimQu 9591157996 new features for storm-pars api:
9 years ago
Sebastian Junges 980f1864af test cases
9 years ago
TimQu bb897a94c6 Moved ModelInstantiatorTest to storm-pars
9 years ago
TimQu 4191d17f1e Moved main testfiles into tests/storm/ and the storm-pars testfiles into tests/storm-pars
9 years ago
TimQu 2f49255db6 Improved storage::Scheduler. We can now consider arbitrary finite memory schedulers, potentially employing randomization.
9 years ago
dehnert 2794de2342 added missing include to make gcc happy
9 years ago
TimQu 35c9b58fda added a test case for SparseMatri::restrictRows and fixed it
9 years ago
Matthias Volk ac566a64c3 Removed some whitespace
9 years ago
dehnert 179cd8308e remove old API files
9 years ago
dehnert ea02ea0838 started overhaul of cli/api
9 years ago
TimQu 0cdd32ff9f added two test cases for the drn parser
9 years ago
TimQu e7a8357ee6 Fixed some tests
9 years ago
TimQu 88fc7fda0c fixed tests that used the prism model builder (reverted from commit f762491ce4)
9 years ago
TimQu 576f92568e StateValuations and ChoiceOrigins are now members of a sparse::Model.
9 years ago
TimQu 722e67fe64 parsing choice labels for explicit models
9 years ago
TimQu f558cb866c using exact data types for smt-based multi objective model checking tests. Also disabled a few tests that test (yet) unsupported queries or that take too long.
9 years ago
TimQu 6537fd8b72 Replaced the old choice labeling with the new one and used choice origins for the minimal command set counterexample generators
9 years ago
dehnert 70ebe36ec6 adapted tests to recent changes wrt to 0-transition insertions in explicit parser
9 years ago
TimQu f762491ce4 fixed tests that used the prism model builder
9 years ago
TimQu 25074b50a9 Added function to get the next unset bit in a bitvector
9 years ago
TimQu 1c768c1ceb constraint based tests for multi-obj MAs
9 years ago
TimQu 5c338b0092 added missing file extension
9 years ago
TimQu b8229da6cd disabled quantitative query tests for constraint based checking
9 years ago
TimQu aa4d2141c3 build infrastructure for switching between multi objective model checking methods
9 years ago
dehnert 03ad4c2783 first version of symbolic bisimulation minimization
10 years ago
TimQu a896c0df28 improved exact computations
10 years ago
TimQu ee754c96e2 renamed ParameterLifting.h -> RegionChecker.h
10 years ago
TimQu 2647ffa9ae added test for exact validations
10 years ago
TimQu d659d193bc Fixed game solver test and potential memory leaks
10 years ago
dehnert 853b035473 fixed bug and added testsfor symbolic linear equation solver (rational number and rational function)
10 years ago
dehnert 153339c5be first draft of policy iteration using DDs
10 years ago