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

update changelog

main
Sebastian Junges 8 years ago
parent
f6eadc14ca
commit
c1102209e8
1 changed files with 3 additions and 2 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

@ -4,9 +4,10 @@ Changelog
This changelog lists only the most important changes. Smaller (bug)fixes as well as non-mature features are not part of the changelog. This changelog lists only the most important changes. Smaller (bug)fixes as well as non-mature features are not part of the changelog.
The releases of major and minor versions contain an overview of changes since the last major/minor update. The releases of major and minor versions contain an overview of changes since the last major/minor update.
Version 1.2.x
-------------
### Version 1.2
### Version 1.2.0
- C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. - C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore.
- storm-cli-utilities now contains cli related stuff, instead of storm-lib - storm-cli-utilities now contains cli related stuff, instead of storm-lib
- Symbolic (MT/BDD) bisimulation - Symbolic (MT/BDD) bisimulation

Write Preview
Loading…
Cancel
Save