Skip to content

Commit

Permalink
Update the changes log for v2.5.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@Halbaroth
Halbaroth committed Sep 14, 2023
1 parent 87b5253 commit 7a90b36
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions CHANGES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,11 @@
### Build
* use OCaml 4.08.1 as the minimal supported version (PR #803)

## v2.5.1

### Bug fixes
* fix a critical unsoundness bug with bvnot primitive (#819)

## v2.5.0

### New features
Expand Down

0 comments on commit 7a90b36

Please sign in to comment.