v0.0.4

formalsec · Mar 5, 2024 · 1b98875 · 1b98875
1 parent b200091
commit 1b98875
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,16 @@
+v0.0.4
+======
+
+- Adds Arthur's clz and ctz implementations for i64s
+- Completes missing `eval_numeric` operations
+- Adds more tests to increase code coverage
+- Adds `extend_ixx` to lexer
+- Adds colibri2 mappings
+- Fixes hash-consing in 72eeb6f
+- Rename `declare-fun` to `let-const`
+- Rotate_left and rotate_right operators
+- Print floats in OCaml syntax (Closes #49)
+
 v0.0.3
 ======