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

Add line for changelog

tempestpy_adaptions
Jip Spel 5 years ago
parent
a3d7c4c3f2
commit
5c1d597292
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

@ -25,6 +25,7 @@ Version 1.3.x
- 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 - Support for export of MTBDDs from storm
- Support for monotonicity checking of pMCs using the --monotonicity-analysis option. Use --help monotonicity for all options.
### 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