59 Commits (56636fc4b07d677685854b50a538e183d5327897)

Author SHA1 Message Date
TimQu 3280cb867e Updated changelog. 6 years ago
Tim Quatmann 1d52d577cb Fixed linking with Mathsat on macOS 6 years ago
Tim Quatmann 5d57746db2 If an option is unknown, Storm now prints a hint to similar option names. 6 years ago
Matthias Volk 19824976f7 Added helper script for downloading the QVBS 6 years ago
Tim Quatmann 80bfa6b56e Allow to quickly check a benchmark from the Quantitative Verification Benchmark Set. 6 years ago
Tim Quatmann 40f4141b56 Jani: Allowing bounded types for constants as pointed out in GitHub issue #37 6 years ago
Tim Quatmann a4e03ff941 Updated Changelog. We now have quantile queries. 6 years ago
Sebastian Junges 6c543df537 Fix in bisimulation of MDPs, which failed if all non-absorbing states in the quotient are initial 6 years ago
Matthias Volk d3356cd3e4 Use master14 branch for Carl 6 years ago
Matthias Volk 99808240bf Updated changelog 6 years ago
Matthias Volk 2197f3c34a Updated changelog 6 years ago
TimQu aacdf5c0b5 Updated changelog. 6 years ago
Sebastian Junges cab2b3d8f1 changelog preparation for version 1.3.0 6 years ago
TimQu 208ee76edb storm-pars: Added possibility to compute the extremal value within a given region using parameter lifting. 6 years ago
TimQu 97b248ec8f Updated changelog 6 years ago
Sebastian Junges cc78629dda refer to storm-pomdp in changelog 6 years ago
Sebastian Junges 8ab3ea991d fix in drn parser 6 years ago
TimQu 1f40a56ed8 updated changelog 6 years ago
TimQu f9f6b90cc2 updated changelog 6 years ago
Matthias Volk b895911c7d New storm version containing fix for version parsing 7 years ago
TimQu 41c20c7b63 updated changelog 7 years ago
Matthias Volk 7a5b93bdfa Updated changelog 7 years ago
Sebastian Junges f0c451aae9 fixed a case where time path propreties were not identified as such, and ensured for debugging that time operators now get a time path formula 7 years ago
dehnert 601b73608a adapting changelog 7 years ago
Sebastian Junges f2a7621e0a updated changelog 7 years ago
TimQu ca2295be1d updated changelog: support for expected total rewards 7 years ago
TimQu 4e60f3e137 updated changelog 7 years ago
Matthias Volk c35b446926 Updated CHANGELOG 7 years ago
Matthias Volk 1284dad8e3 Updated Changelog 7 years ago
TimQu 0ce91b7eb4 updated changelog 7 years ago
Matthias Volk 90a42d775f Use markdown in CHANGELOG 7 years ago
Sebastian Junges c1102209e8 update changelog 7 years ago
dehnert e67c04d2d6 update changelog 7 years ago
Matthias Volk 5951870046 Updated changelog 7 years ago
dehnert 78fb458154 updated changelog 7 years ago
TimQu 6956da4938 updated changelog 7 years ago
TimQu b665117381 updated changelog 7 years ago
Sebastian Junges 6832fc805c parser improvements in changelog 7 years ago
dehnert b3f0aa511e started on Kwek-Mehlhorn-based exact value computation 7 years ago
dehnert 45e0796228 updated changelog 7 years ago
TimQu b7e2aec82c Fixed issue where variable names were reserved symbols of Exprtk 7 years ago
dehnert e2e1407f3e not calling sylvan_var on leaf nodes of sylvan anymore 7 years ago
sjunges 5624818caf Updated Changelog 7 years ago
Sebastian Junges 9e9060ecd7 fix in changelog 7 years ago
Matthias Volk 2dba64705e Removed redundant info in CHANGELOG 7 years ago
Sebastian Junges 6434587774 update changelog 7 years ago
Sebastian Junges a3337afb22 changelog updated in preparation of version 1.1.0 7 years ago
TimQu cbe906605f updated changelog 8 years ago
TimQu 07259e8f0d added parser for IMCAs explicit Markov automaton format 8 years ago
TimQu 89d8993cfb updated changelog (long-run rewards on MAs) 8 years ago