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

597 Commits (b30db17f8cd76bc0dfaa52822ad61b4a6765da2c)

Author SHA1 Message Date
dehnert 3ba5902821 removed debug output and fixed small bug in adaptation of Eigen
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 023325b53d added tests for Eigen solver
10 years ago
dehnert bb700457de some minor fixes
10 years ago
dehnert 71bfb45220 added check for multiple writes to the same global variable in explicit JANI next-state generator
10 years ago
dehnert 7861df4f20 JANI next-state generator appears to be working (without rewards)
10 years ago
dehnert 08112d98aa more work on JANI next state generator and the corresponding tests
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
dehnert ca57e22abc started profiling
10 years ago
dehnert c393449ca6 [fixing] a bug a day keeps insanity away
10 years ago
dehnert 82023d280d JANI model builder for MDPs is working now, but too slow
10 years ago
dehnert 3919f90712 started debugging JANI MDP building
10 years ago
dehnert a4ef3cf778 added CTMC tests for JANI model builder
10 years ago
dehnert 7750480714 JANI model builder for DTMCs working
10 years ago
dehnert 310db8a234 started to include reachability in JANI model generation
10 years ago
dehnert 6313e4c31b fixed a bug in symbolic model generator
10 years ago
dehnert adf8232896 more work and fixes for symbolic JANI builder
10 years ago
dehnert c4327e91a9 more work on symbolic JANI model builder
10 years ago
dehnert 9c75e9dbd7 more work on JANI model generation
10 years ago
dehnert ecc1a80358 added conversion from PRISM to JANI. Added simplistic tests for that.
10 years ago
sjunges 3b5c27acba more test-files included, two small fixes in parser
10 years ago
sjunges b64dc408ac test case for die.jani parsing
10 years ago
dehnert d38e7d5eb9 started working on jani data structures
10 years ago
dehnert 7d03f0e4d0 improved error checking for custom parallel composition. added small tests.
10 years ago
dehnert bf65ef726c system composition in PRISM appears to be working
10 years ago
dehnert 9db10e7849 added all composition operators of PRISM
10 years ago
Mavo a0d659f2da always use shared_ptr<Formula const>
10 years ago
dehnert 5934a42898 Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac
10 years ago
dehnert 3476df75e8 finally removed log4cplus and affected code parts
10 years ago
hbruintjes 1bb2be74d4 Update CMake files
10 years ago
dehnert 37220cae57 removed two assertions in tests because they no longer apply
10 years ago
dehnert 60bbce0ba1 added two tests for exploration engine
10 years ago
TimQu d2d1ebdb1a test didn't compile due to recent changes in carl::rationalize
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
dehnert e6ec8d5b60 fixed formula building in some performance tests
10 years ago
Mavo f48d8bc6b1 Initialize all modules in tests and normal storm
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 adb42b3ac0 fixed minor things related to merge
10 years ago
Mavo 652aeb7562 Fixed compile error with CarlRationalNumber instead of RationalNumber
10 years ago
TimQu 6e8602413e ModelInstantiator + test
10 years ago
dehnert 0b98412bb4 further work on making row-grouping optional
10 years ago
Mavo f8b9ece2fd Added mini test for BitVector
10 years ago