Update changelog and readme

jix · Nov 19, 2024 · 8f39cfc · 8f39cfc
1 parent 7939455
commit 8f39cfc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## Recent changes
+
+* `flussab-aiger` 0.1.1 fixes a bug when writing latch initialization
+* New flussab-btor2 crate for BTOR2 files
 
 ## flussab 0.3.1 (2023-11-05)
 

diff --git a/README.md b/README.md
@@ -9,6 +9,7 @@ The Flussab repository contains the file format parsing related crates listed be
 * [`flussab`](flussab) generic parsing utilities.
 * [`flussab-cnf`](flussab-cnf) for the DIMACS CNF file format and variants.
 * [`flussab-aiger`](flussab-aiger) (*preview release*) for the AIGER file format (binary and ASCII).
+* [`flussab-btor2`](flussab-btor2) for the BTOR2 file format.
 
 ## License