Release 0.19.0

Author: github-actions[bot]

CHANGES.md

@@ -1,7 +1,15 @@
 # Changelog
 
+## 0.19.0 - 2026-01-05
+
+- 2026-01-05 Reduce allocations in hashconsing hash function
+- 2026-01-05 Fix logging of queries after model generation
+- 2026-01-04 Export individual modules in Eval
+- 2026-01-04 Reduce allocations in the hot path of value evals
+
 ## 0.18.0 - 2025-12-29
 
+- 2025-12-29 Release 0.18.0
 - 2025-12-29 Use fine-grained token to create release PR
 - 2025-12-28 Improve error messages in the error_kind printer
 - 2025-12-26 Add Eval.pp_error_kind function

dune-project

@@ -6,7 +6,7 @@
 
 (name smtml)
 
-(version 0.18.0)
+(version 0.19.0)
 
 (generate_opam_files true)
 

smtml.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.18.0"
+version: "0.19.0"
 synopsis: "An SMT solver frontend for OCaml"
 description:
   "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability."