Release v0.1.2

mazeppa-dev · Jul 20, 2024 · 5d0960d · 5d0960d
1 parent a9b3b03
commit 5d0960d
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,14 +6,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## unreleased
 
+## 0.1.2 - 2024-07-20
+
 ### Added
 
  - Function productivity analysis for preventing unneeded specializations ([issue #2](https://github.com/mazeppa-dev/mazeppa/issues/2)).
  - `pattern_to_string` and `pattern_verbatim` (`Raw_term`).
 
 ### Changed
 
- - Simplify horizontal configuration analysis by only checking for renamings (previously, we tried to detect arbitrary safe instances).
+ - Simplify horizontal configuration analysis by only checking for renamings instead of matching arbitrary safe instances.
  - Do not emit 1) linear let-bindings for redexes, 2) unused let-bindings for immediate terms.
 
 ## 0.1.1 - 2024-07-15

diff --git a/bin/main.ml b/bin/main.ml
@@ -4,7 +4,7 @@ open Ppx_yojson_conv_lib.Yojson_conv.Primitives
 
 let github_repo = "https://github.com/mazeppa-dev/mazeppa"
 
-let version = "0.1.1"
+let version = "0.1.2"
 
 let tab = "    "
 

diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 
 (name mazeppa)
 
-(version 0.1.1)
+(version 0.1.2)
 
 (generate_opam_files true)
 

diff --git a/mazeppa.opam b/mazeppa.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.1"
+version: "0.1.2"
 synopsis: "A modern supercompiler for call-by-value functional languages"
 maintainer: ["Tima Kinsart"]
 authors: ["Tima Kinsart"]