sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Updated changelog.

tempestpy_adaptions
TimQu 6 years ago
parent
c7aec92dc9
commit
3280cb867e
1 changed files with 4 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 5
      CHANGELOG.md

5
CHANGELOG.md
View File

@ -12,9 +12,12 @@ Version 1.3.x
- Allow to quickly check a benchmark from the [Quantitative Verification Benchmark Set](http://qcomp.org/benchmarks/) using the --qvbs option. - Allow to quickly check a benchmark from the [Quantitative Verification Benchmark Set](http://qcomp.org/benchmarks/) using the --qvbs option.
- Added script resources/examples/download_qvbs.sh to download the QVBS. - Added script resources/examples/download_qvbs.sh to download the QVBS.
- If an option is unknown, Storm now prints a hint to similar option names. - If an option is unknown, Storm now prints a hint to similar option names.
- Allow bounded types for constants in JANI.
- JANI: Allow bounded types for constants
- JANI: Support for non-trivial reward accumulations.
- JANI: Fixed support for reward expressions over non-transient variables.
- Fixed sparse bisimulation of MDPs (which failed if all non-absorbing states in the quotient are initial) - Fixed sparse bisimulation of MDPs (which failed if all non-absorbing states in the quotient are initial)
- Fixed linking with Mathsat on macOS - Fixed linking with Mathsat on macOS
- Fixed compilation for macOS mojave
### Version 1.3.0 (2018/12) ### Version 1.3.0 (2018/12)
- Slightly improved scheduler extraction - Slightly improved scheduler extraction

Write Preview
Loading…
Cancel
Save