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

typo

main
Sebastian Junges 8 years ago
parent
34e48473b3
commit
9b90e0c784
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      CHANGELOG.md

2
CHANGELOG.md
View File

@ -13,7 +13,7 @@ Version 1.0.x
- Fix for nested formulae
- JANI: Explicit engine supports custom model compositions.
- Storm now overwrites files if asked to write files to a specific location
- Changes in build process to accomodate for changes in carl. Also, more robust against issues with carl
- Changes in build process to accommodate for changes in carl. Also, more robust against issues with carl
- Wellformedness constraints on PMCs:
* include constraints from rewards
* are in smtlib2

Write Preview
Loading…
Cancel
Save