Skip to content

Commit

Permalink
Updating CHANGELOG
Browse files Browse the repository at this point in the history
  • Loading branch information
@msooseth
msooseth committed Mar 6, 2024
1 parent 0677f37 commit 9bc8211
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0

## Added
- More POr and PAnd rules
- More PEq, PLEq, and PLT rules

## Fixed
- `concat` is a 2-ary, not an n-ary function in SMT2LIB, declare-const does not exist in QF_AUFBV, replacing
Expand Down

0 comments on commit 9bc8211

Please sign in to comment.