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

5312 Commits (f254a05f4e86d0965773885b05f3e516e138d2ab)
 

Author SHA1 Message Date
TimQu 48957978eb Extended Functionality of goal state merger
9 years ago
Sebastian Junges ee185d2717 Export options whether CLN is used.
9 years ago
Sebastian Junges 92f04cdfa1 CppTemplate was not correctly listed as a dependency of storm.
9 years ago
Sebastian Junges d94c66fcaa fixed: Nofixdl was always set in JIT
9 years ago
TimQu dd647e93d2 Merge branch 'master' into smt-based-multi-objective
9 years ago
TimQu b7aaf1957e Replaced the StateDuplicator with the new memory structure product
9 years ago
TimQu c5f29c3761 Fixes and improvements for memory structure
9 years ago
Sebastian Junges 524efc616d Jit-builder now gives better diagnostics when nofixdl option is set.
9 years ago
Sebastian Junges 6a3310f7ee Improved Jani-to-dot:
9 years ago
Sebastian Junges 291f5ecd47 First version of Jani-to-Dot.
9 years ago
Sebastian Junges 6c8d2a31fc Better error messages when something is wrong with the argument given.
9 years ago
Sebastian Junges 697ae21b6f Suppress warning
9 years ago
Sebastian Junges 586929ea64 As we do not support windows, we can also get rid of:
9 years ago
TimQu 5f120fd5bb Fixed enabling CLN when there is no system version of carl
9 years ago
TimQu fc97c1fc9d introduced memory structure
9 years ago
TimQu 194015bcd4 PLA: display number of corrected regions when doing exact validation
9 years ago
TimQu 3f9aa29db2 Fixed compilation with gmp as rationalNumber/ rationalFunctionCoefficient
9 years ago
TimQu 43fdf0a89b Fixed a couple of warnings
9 years ago
TimQu 1860e889d6 Merge branch 'refactor_pla'
9 years ago
TimQu 511fe90c5b Merge branch 'master' into refactor_pla
9 years ago
TimQu 5e9642c1fa conversion of symbolic state-action rewards is not supported at this point
9 years ago
TimQu 5f83f4451d added a few virtual destructors to prevent memory leaks.
9 years ago
TimQu 8c6b22bebc Incremented minimal z3 version required for the z3LpSolver to 4.5.0 as the optimizer in 4.4.1 yielded wrong results in the tests
9 years ago
Sebastian Junges 38eadad17d Jit: Expression labels which occur twice in list of formulae now supported
9 years ago
Sebastian Junges a21995052c fix for probabilistic reachability formulae
9 years ago
Sebastian Junges 7170fea7ce Jit Fix for LTS support
9 years ago
TimQu 1a37ef8fd2 Merge branch 'master' into refactor_pla
9 years ago
TimQu 1a9589dfa6 Incremented minimal z3 version required for the z3LpSolver to 4.5.0 as the optimizer in 4.4.1 yielded wrong results in the tests
9 years ago
dehnert 81ecf752c8 better diagnostic for unsupported model type in JIT builder
9 years ago
dehnert 86a783de92 two more fixes for issues pointed out by Tim: concurrency bug in sylvan and bug in symbolic quantitative check result
9 years ago
sjunges ec10072341 Merge branch 'master' into simplified_levels
9 years ago
sjunges 970b72786c disable level simplification for now
9 years ago
Sebastian Junges 7aa6215ed3 Got rid of an outdated error message for reused actions in JitBuilder
9 years ago
Sebastian Junges 1b79bcc169 DdJani now builds LTS as an MDP.
9 years ago
ArashPartow 4c99790213 Minor updates to ExprTk
9 years ago
sjunges 977dd1ef53 Get GMP location from carl, set it as a hint for sylvan.
9 years ago
sjunges a371301312 We require gmp, so we can as well just set the corresponding flag to true.
9 years ago
sjunges 1c22fdabe1 Edit in Sylvan/cmake: Allow for hints about gmp location
9 years ago
dehnert 97a7689c67 gcc and clang working on Debian Stretch again
9 years ago
dehnert 6d9e906291 remove LTO from sylvan as it causes more problems than it solves
10 years ago
dehnert ec3468aef5 hopefully fixed the compile issue on Linux
10 years ago
dehnert 4e1855a440 use of intermediate value to make conversion work with gmp
10 years ago
dehnert bae4b421ab added missing template instantiation and print more info on LTO in cmake
10 years ago
sjunges 8bfa699519 attempt to fix link error
10 years ago
sjunges cd954aacd9 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
9 years ago
TimQu 233c063ad8 statistics output for multi-obj model checking when -stats option is given
9 years ago
TimQu 2e01c8b137 Fixed time bounds containing constant variables for multi objective formulas.
9 years ago
TimQu 6598c2707c Merge remote-tracking branch 'origin/master' into refactor_pla
9 years ago
TimQu 9f795ffccd Merge branch 'master' into refactor_pla
9 years ago
dehnert 187e8bc52b fixed two bugs related to hybrid quantitative results
9 years ago