Browse Source

Updated changelog

refactoring
Matthias Volk 8 years ago
parent
commit
1c846ad3fa
  1. 7
      CHANGELOG.md

7
CHANGELOG.md

@ -4,6 +4,11 @@ Changelog
Version 0.9
-----------
### Current
- Bindings for storm-pars
- Bindings for graph constraints
### Version 0.9.1 (2017/4)
- Bindings for DFTs
@ -12,4 +17,4 @@ Version 0.9
- Improved building system, read flags from storm build system
### Version 0.9 (2017/3)
Start of this changelog
Start of this changelog
Loading…
Cancel
Save