4924 Commits (9f963a6aceae81af7e200c76c9b1f4bc60c9cf1a)
 

Author SHA1 Message Date
Matthias Volk 9f963a6ace Added mtime_cache script 8 years ago
Matthias Volk 530802c179 Try building storm with cached resources 8 years ago
Matthias Volk 9ebb2b9160 Try only building resources 8 years ago
Matthias Volk 9aa7dd6b4d Cache build directory 8 years ago
Matthias Volk d54dd25a96 Just compile libstorm 8 years ago
Matthias Volk 50fc3b1922 Fixed path in travis helper script 8 years ago
Matthias Volk bb5a363689 Use scripts from https://github.com/google/fruit 8 years ago
Matthias Volk 4f1c3d5a6d Removed already installed packages 8 years ago
Matthias Volk 9b7517d8bc Started working on travis support 8 years ago
Sebastian Junges e8adc21fdb version is now updated to a dev version when committing after a tagged version 8 years ago
TimQu 6d86df0ead fixed doing the end component analysis in multi objective model checking multiple times 8 years ago
dehnert 7234ffe5e7 Merge remote-tracking branch 'origin/master' into jani_next_state_generator 8 years ago
dehnert b2b692b8ae extended JANI next-state generator to be able to deal with custom system compositions 8 years ago
Sebastian Junges ed2a1dc1de CMake now ensures that carl is not only configured, but also built and thereby prevents compilation-time errors. 8 years ago
Sebastian Junges 0b2a8d1adf fixed comments and names of arguments in file.h for consistency 8 years ago
Sebastian Junges 920d48c2bd storm config version now also correctly exported 8 years ago
dehnert 492debf017 added two elements to changelog 8 years ago
Sebastian Junges a21e9d4ca8 changelog 8 years ago
Sebastian Junges 7a40af2b98 storm version is now exported 8 years ago
Sebastian Junges ee185d2717 Export options whether CLN is used. 8 years ago
Sebastian Junges 92f04cdfa1 CppTemplate was not correctly listed as a dependency of storm. 8 years ago
Sebastian Junges d94c66fcaa fixed: Nofixdl was always set in JIT 8 years ago
Sebastian Junges 524efc616d Jit-builder now gives better diagnostics when nofixdl option is set. 8 years ago
Sebastian Junges 6a3310f7ee Improved Jani-to-dot: 8 years ago
Sebastian Junges 291f5ecd47 First version of Jani-to-Dot. 8 years ago
Sebastian Junges 6c8d2a31fc Better error messages when something is wrong with the argument given. 8 years ago
Sebastian Junges 697ae21b6f Suppress warning 8 years ago
Sebastian Junges 586929ea64 As we do not support windows, we can also get rid of: 8 years ago
TimQu 5f120fd5bb Fixed enabling CLN when there is no system version of carl 8 years ago
TimQu 194015bcd4 PLA: display number of corrected regions when doing exact validation 8 years ago
TimQu 3f9aa29db2 Fixed compilation with gmp as rationalNumber/ rationalFunctionCoefficient 8 years ago
TimQu 43fdf0a89b Fixed a couple of warnings 8 years ago
TimQu 1860e889d6 Merge branch 'refactor_pla' 8 years ago
TimQu 511fe90c5b Merge branch 'master' into refactor_pla 8 years ago
TimQu 5e9642c1fa conversion of symbolic state-action rewards is not supported at this point 8 years ago
TimQu 5f83f4451d added a few virtual destructors to prevent memory leaks. 8 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 8 years ago
Sebastian Junges 38eadad17d Jit: Expression labels which occur twice in list of formulae now supported 8 years ago
Sebastian Junges a21995052c fix for probabilistic reachability formulae 8 years ago
Sebastian Junges 7170fea7ce Jit Fix for LTS support 8 years ago
TimQu 1a37ef8fd2 Merge branch 'master' into refactor_pla 8 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 8 years ago
dehnert 81ecf752c8 better diagnostic for unsupported model type in JIT builder 8 years ago
dehnert 86a783de92 two more fixes for issues pointed out by Tim: concurrency bug in sylvan and bug in symbolic quantitative check result 8 years ago
sjunges ec10072341 Merge branch 'master' into simplified_levels 8 years ago
sjunges 970b72786c disable level simplification for now 8 years ago
Sebastian Junges 7aa6215ed3 Got rid of an outdated error message for reused actions in JitBuilder 8 years ago
Sebastian Junges 1b79bcc169 DdJani now builds LTS as an MDP. 8 years ago
sjunges 977dd1ef53 Get GMP location from carl, set it as a hint for sylvan. 8 years ago
sjunges a371301312 We require gmp, so we can as well just set the corresponding flag to true. 8 years ago