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

5072 Commits (bec6b664d91e2d9042fb5c5b77733c0292540c35)
 

Author SHA1 Message Date
TimQu c14213f9a6 Reward model can now retrieve the set of choices with zero reward
9 years ago
dehnert 7234ffe5e7 Merge remote-tracking branch 'origin/master' into jani_next_state_generator
9 years ago
dehnert b2b692b8ae extended JANI next-state generator to be able to deal with custom system compositions
9 years ago
Sebastian Junges a2ed0fc4bf item labelling class
9 years ago
Sebastian Junges ed2a1dc1de CMake now ensures that carl is not only configured, but also built and thereby prevents compilation-time errors.
9 years ago
Sebastian Junges 0b2a8d1adf fixed comments and names of arguments in file.h for consistency
9 years ago
Sebastian Junges 920d48c2bd storm config version now also correctly exported
9 years ago
dehnert 492debf017 added two elements to changelog
9 years ago
Sebastian Junges a21e9d4ca8 changelog
9 years ago
Sebastian Junges 7a40af2b98 storm version is now exported
9 years ago
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
10 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
10 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
10 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
10 years ago
sjunges 977dd1ef53 Get GMP location from carl, set it as a hint for sylvan.
10 years ago
sjunges a371301312 We require gmp, so we can as well just set the corresponding flag to true.
10 years ago
sjunges 1c22fdabe1 Edit in Sylvan/cmake: Allow for hints about gmp location
10 years ago
dehnert 97a7689c67 gcc and clang working on Debian Stretch again
10 years ago
dehnert 6d9e906291 remove LTO from sylvan as it causes more problems than it solves
10 years ago