Changelog, bump version

ariroffe · Jan 30, 2024 · 3d16dc4 · 3d16dc4
1 parent 79f5be2
commit 3d16dc4
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.7.2] - 2024-01-30
+### Fixed
+- Changed the implementation of the tableaux solver, setting `allow_repetition_of_nodes` to 
+  `False` should now work correctly (not avioding repetitions on branching)
+
 ## [1.7.1] - 2024-01-29
 ### Added
 - WK-schema instances for metainferential tableaux

diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -22,7 +22,7 @@
 author = 'Ariel Jonathan Roffe'
 
 # The full version, including alpha/beta/rc tags
-release = '1.7.1'
+release = '1.7.2'
 
 
 # -- General configuration ---------------------------------------------------

diff --git a/setup.cfg b/setup.cfg
@@ -1,6 +1,6 @@
 [metadata]
 name = logics
-version = 1.7.1
+version = 1.7.2
 author = Ariel Jonathan Roffé
 author_email = arielroffe@filo.uba.ar
 url = https://github.com/ariroffe/logics