Skip to content

Commit

Permalink
mention Alt-Ergo in changes
Browse files Browse the repository at this point in the history
  • Loading branch information
@hra687261 @filipeom
hra687261 authored and filipeom committed Oct 10, 2024
1 parent 4c3ba65 commit e10a0c2
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions CHANGES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@

### Added

- Add `Alt-Ergo` mappings
- Use `Dolmen` to parse smt2 benchmarks
- Add `Binder` expression to model: `Forall`, `Exists`, and `Let_in`
- Provide hashconsed sets of expressions in `Expr.Set`
Expand Down

0 comments on commit e10a0c2

Please sign in to comment.