Skip to content

Commit

Permalink
Release v0.2.5
Browse files Browse the repository at this point in the history
  • Loading branch information
@filipeom
filipeom committed Aug 21, 2024
1 parent b580c72 commit 86c7e8f
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions CHANGES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,13 @@

### Added
### Fixed
### Changed

- Fixes cvc5 mappigns
## v0.2.5

### Changed
### Fixed

- Fixes cvc5 mappigns

## v0.2.4

Expand Down

0 comments on commit 86c7e8f

Please sign in to comment.