Merge pull request #15 from OCamlPro/v0.5

Version 0.5
OCamlPro · Nov 15, 2022 · 9b0944c · 9b0944c
2 parents c79514f + 4513bbe
commit 9b0944c
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,17 @@
 (!!! = may break code that uses previous versions)
 
+version 0.5, November 15, 2022
+===============================
+
+* Reworking the library build system, now only relying on dune.
+  The Makefile is now clearer and simpler to use.
+
+* (!!!) Logs are handled by the `logs` library and debug is activated by this
+  library.
+
+* (!!!) The `Rat2` module now abstract bounds as strict upper, strict lower or
+  soft bounds instead of pairs of rationals.
+
 version 0.4, August 22, 2017
 ===============================
 

diff --git a/dune-project b/dune-project
@@ -2,7 +2,7 @@
 
 (name ocplib-simplex)
 
-(version dev)
+(version 0.5)
 
 (generate_opam_files true)
 

diff --git a/ocplib-simplex.opam b/ocplib-simplex.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "dev"
+version: "0.5"
 synopsis:
   "ocplib-simplex: A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
 description:

diff --git a/src/version.ml b/src/version.ml
@@ -4,4 +4,4 @@
 (* Copyright (C) --- OCamlPro --- See README.md for information and licensing *)
 (******************************************************************************)
 
-let version="0.4+"
+let version="0.5"