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

5489 Commits (983e09fd635b1911821e88b7373a1dd58e8bbc1b)
 

Author SHA1 Message Date
TimQu 8dfa141a4a Exporting .dot for explicit input.
9 years ago
TimQu 77a90184e7 building choice labeling when the corresponding option is given
9 years ago
TimQu cd5ee63cce fixed preserving the choice labeling when an ma is closed
9 years ago
TimQu dc079b3196 moved a function to graph.h
9 years ago
TimQu 7c90e1e6c2 Merge remote-tracking branch 'origin/smt-based-multi-objective'
9 years ago
TimQu 58fad65ab6 fixes for the string representations of prism choice origins
9 years ago
TimQu b531dccad9 .dot output for deterministic models with choice labels
9 years ago
TimQu e7bc5fdef9 fixed several minor bugs regarding the choicelabeling
9 years ago
TimQu bf97d79573 moved building the choice origin strings into the ChoiceOrigins class
9 years ago
TimQu 7e5bb4aa0e Merge remote-tracking branch 'origin/master' into choicelabels
9 years ago
TimQu 0aed35f4b4 worked on human readable representations of prism command sets
9 years ago
TimQu db31c1cb11 improved .dot export of models with choice labeling
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 a067527aa0 As pointed out by Joachim Klein, weak bisimulation does not preserve reward properties. Therefore, weak bisimulation now refines blocks with non-zero reward wrt. strong bisimulation.
9 years ago
dehnert c5d0b281ce fixed a recently introduced bug affecting entry counts in explicit reward matrices
9 years ago
cdehnert 89454481d0 Merge pull request #4 from ArashPartow/master
9 years ago
Matthias Volk dcbd8fdb12 Wrong order for timeout
9 years ago
Matthias Volk 1afd8388d5 Small fixes
9 years ago
Matthias Volk cb5c42feb6 Fixed typo
9 years ago
Matthias Volk 987a53dfd1 Two tries for building libstorm
9 years ago
Matthias Volk 5bfc0f91c1 Second build stage to make building libstorm more robust
9 years ago
dehnert 70ebe36ec6 adapted tests to recent changes wrt to 0-transition insertions in explicit parser
9 years ago
TimQu 9bc55e3107 Merge remote-tracking branch 'origin/master' into choicelabels
9 years ago
TimQu f762491ce4 fixed tests that used the prism model builder
9 years ago
TimQu 759e351e95 Improved explicit model building:
9 years ago
dehnert c595fee4dc removed some unnecessary transition insertions in parser
9 years ago
Matthias Volk 2b142c83bb Disabled verbose output
9 years ago
Matthias Volk a2517c7a12 Set mtime for StormEigen
9 years ago
TimQu cb90600abb Silenced a warning
9 years ago
TimQu 25074b50a9 Added function to get the next unset bit in a bitvector
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
Matthias Volk 869d7e7ba7 Build sylvan beforehand
9 years ago
dehnert 7f346d2f0b more work on quotient extraction
9 years ago
Matthias Volk 4cf79ab8cc Try to avoid rebuilding
9 years ago
Sebastian Junges 34e48473b3 Updated changelog
9 years ago
Matthias Volk e3759eb326 Verbose output for make
9 years ago
sjunges f72200bd2c - removed deprecated option USE_CARL (now a variable). - changed behaviour of POPCNT: we usually rely on march=native which uses popcnt if available, and now can force its usuage in other situations
9 years ago
sjunges 5693144f32 refactored code to prevent duplication, added support for rational functions at edges when collecting constraints
9 years ago
sjunges 165d168cd6 fix for gcc, add state reward support for constraint collection
9 years ago
Sebastian Junges 5c7d3db743 towards proper side constraints for parametetric systems
9 years ago
Sebastian Junges cb5aff10ae Fix ambigious isspace that was preventing compilation, introduced by some earlier commit.
9 years ago
Matthias Volk 2e02e34f94 Insert jobs according to stage
9 years ago
Matthias Volk 982538bfec Use jobs instead of matrix
9 years ago
Matthias Volk 822d098caa Next fix
9 years ago
Matthias Volk 120bf729d4 Fixed parsing issue
9 years ago
Matthias Volk 7dc71ff12b Generate travis file
9 years ago
Matthias Volk 811ca84944 Cd build
9 years ago
Matthias Volk 8aff592e10 Try beta feature of build stages
9 years ago
Matthias Volk 19b9ca14d0 Decreased timeout
9 years ago