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

Updated changelog a bit.

tempestpy_adaptions
Tim Quatmann 3 years ago
committed by Stefan Pranger
parent
dffc04a280
commit
693d5470a3
1 changed files with 1 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. 2
      CHANGELOG.md

2
CHANGELOG.md
View File

@ -9,7 +9,7 @@ The releases of major and minor versions contain an overview of changes since th
Version 1.6.x Version 1.6.x
------------- -------------
## Version 1.6.4 (20xx/xx) ## Version 1.6.4 (20xx/xx)
- Added support for model checking LTL properties in the sparse (and dd-to-sparse) engine. Requires building with Spot.
- Added support for model checking LTL properties in the sparse (and dd-to-sparse) engine. Requires building with Spot or an external LTL to deterministic automaton converter (using option `--ltl2datool`).
- Added cmake options `STORM_USE_SPOT_SYSTEM` and `STORM_USE_SPOT_SHIPPED` to facilitate building Storm with [Spot](https://spot.lrde.epita.fr/). - Added cmake options `STORM_USE_SPOT_SYSTEM` and `STORM_USE_SPOT_SHIPPED` to facilitate building Storm with [Spot](https://spot.lrde.epita.fr/).
- Improved parsing of formulas in PRISM-style syntax. - Improved parsing of formulas in PRISM-style syntax.
- Added export of schedulers that use memory (in particular optimizing schedulers for LTL properties) - Added export of schedulers that use memory (in particular optimizing schedulers for LTL properties)

Write Preview
Loading…
Cancel
Save