diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 000000000..fd3cee683 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,21 @@ +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. + + +Version 1.0.x +------------------- + +### Version 1.0.1 (2017/4) + +- Multi-objective model checking support now fully included +- Several improvements in parameter lifting +- Several improvements in JANI parsing +- Properties can contain model variables +- Export of version and configuration to cmake +- Improved building process + +### Version 1.0.0 (2017/3) +Start of this changelog