Skip to content

Commit

Permalink
Change log
Browse files Browse the repository at this point in the history
  • Loading branch information
guidotack committed Oct 31, 2018
1 parent 87c4f75 commit d1beef6
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions CHANGES.txt
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,17 @@
All bug numbers refer to the issue tracker at
https://github.com/MiniZinc/libminizinc/issues

Version 2.2.3
=============

Bug fixes:
- Fix some typos in the library documentation.
- Fix solution checking.
- Fix line numbers in parsed locations on 64 bit platforms. Fixes #255.
- Fix bounds computation for calls. Partially fixes #255.
- Fix translation of var where clauses with more than 3 par components.
Fixes #253.

Version 2.2.2
=============

Expand Down

0 comments on commit d1beef6

Please sign in to comment.