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

changelog update: export of mtbdds

tempestpy_adaptions
Sebastian Junges 5 years ago
parent
9ad8209a65
commit
3efee0d35d
1 changed files with 1 additions and 0 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. 1
      CHANGELOG.md

1
CHANGELOG.md
View File

@ -21,6 +21,7 @@ Version 1.3.x
- 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 - Fixed compilation for macOS mojave
- Support for export of MTBDDs from storm
### 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