Bump to v0.10.6

black-sat · Nov 22, 2023 · c45e14b · c45e14b
1 parent 44ad267
commit c45e14b
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 18 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -25,7 +25,7 @@ cmake_minimum_required(VERSION 3.10)
 
 project(
   black 
-  VERSION 0.10.5
+  VERSION 0.10.6
   LANGUAGES C CXX
   DESCRIPTION "BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)"
 )

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# BLACK [![Build Status](https://api.cirrus-ci.com/github/black-sat/black.svg)](https://cirrus-ci.com/github/black-sat/black) ![appveyor](https://ci.appveyor.com/api/projects/status/github/black-sat/black?branch=master&svg=true) ![MIT](https://img.shields.io/badge/license-MIT-brightgreen) [![Latest release](https://badgen.net/github/release/black-sat/black)](https://github.com/black-sat/black/releases/tag/v0.10.4) [![codecov](https://codecov.io/gh/black-sat/black/branch/master/graph/badge.svg?token=ZETQF5NZ6X)](https://codecov.io/gh/black-sat/black)
+# BLACK [![Build Status](https://api.cirrus-ci.com/github/black-sat/black.svg)](https://cirrus-ci.com/github/black-sat/black) ![appveyor](https://ci.appveyor.com/api/projects/status/github/black-sat/black?branch=master&svg=true) ![MIT](https://img.shields.io/badge/license-MIT-brightgreen) [![Latest release](https://badgen.net/github/release/black-sat/black)](https://github.com/black-sat/black/releases/tag/v0.10.6) [![codecov](https://codecov.io/gh/black-sat/black/branch/master/graph/badge.svg?token=ZETQF5NZ6X)](https://codecov.io/gh/black-sat/black)
 
 BLACK (short for Bounded Lᴛʟ sAtisfiability ChecKer) is a tool for testing the
 satisfiability of formulas in Linear Temporal Logic and related logics.
@@ -24,7 +24,7 @@ See the [Documentation page][Doc] for further information on BLACK's installatio
 
 | Ubuntu ≥ 22.04             | Fedora 36 |
 |----------------------------|------------------------------|
-| [![Download](https://badgen.net/badge/Download%20v0.10.4/.deb/green)][pkg.deb] | [![Download](https://badgen.net/badge/Download%20v0.10.4/.rpm/green)][pkg.rpm]   |
+| [![Download](https://badgen.net/badge/Download%20v0.10.6/.deb/green)][pkg.deb] | [![Download](https://badgen.net/badge/Download%20v0.10.6/.rpm/green)][pkg.rpm]   |
 | `sudo apt install ⟨file⟩` | `sudo dnf install ⟨file⟩` |
 
 
@@ -40,10 +40,10 @@ $ brew install black-sat/black/black-sat
 
 Download the self-contained ZIP archive.
 
-[![Download](https://badgen.net/badge/Download%20v0.10.4/.zip/green)][pkg.win]
+[![Download](https://badgen.net/badge/Download%20v0.10.6/.zip/green)][pkg.win]
 
 [Doc]: https://www.black-sat.org
 [brew]: https://brew.sh
-[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5-1.x86_64.deb
-[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5-1.x86_64.rpm
-[pkg.win]: https://github.com/black-sat/black/releases/download/v0.10.4/black-0.10.5-win-x64.zip
+[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.10.6/black-sat-0.10.6-1.x86_64.deb
+[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.10.6/black-sat-0.10.6-1.x86_64.rpm
+[pkg.win]: https://github.com/black-sat/black/releases/download/v0.10.6/black-0.10.6-win-x64.zip
diff --git a/docs/website/cli.rst b/docs/website/cli.rst
@@ -137,7 +137,7 @@ with the ``--sat-backends`` option::
    $ black --sat-backends
 
    BLACK - Bounded Lᴛʟ sAtisfiability ChecKer
-        version 0.10.5
+        version 0.10.6
 
    Available SAT backends:
    - z3 *

diff --git a/docs/website/installation/linux.rst b/docs/website/installation/linux.rst
@@ -31,14 +31,14 @@ the packages should work but do not, please open a GitHub `issue
 <https://github.com/black-sat/black/issues>`_.
 
 
-.. |Ubuntu20.04Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.deb/green
-.. _Ubuntu20.04Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.ubuntu20.04.x86_64.deb
-.. |Ubuntu22.04Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.deb/green
-.. _Ubuntu22.04Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.ubuntu22.04.x86_64.deb
-.. |Fedora37Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.rpm/green
-.. _Fedora37Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.fedora37.x86_64.rpm
-.. |Fedora38Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.rpm/green
-.. _Fedora38Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.fedora38.x86_64.rpm
+.. |Ubuntu20.04Badge| image:: https://badgen.net/badge/Download%20v0.10.6/.deb/green
+.. _Ubuntu20.04Badge: https://github.com/black-sat/black/releases/download/v0.10.6/black-sat-0.10.6.ubuntu20.04.x86_64.deb
+.. |Ubuntu22.04Badge| image:: https://badgen.net/badge/Download%20v0.10.6/.deb/green
+.. _Ubuntu22.04Badge: https://github.com/black-sat/black/releases/download/v0.10.6/black-sat-0.10.6.ubuntu22.04.x86_64.deb
+.. |Fedora37Badge| image:: https://badgen.net/badge/Download%20v0.10.6/.rpm/green
+.. _Fedora37Badge: https://github.com/black-sat/black/releases/download/v0.10.6/black-sat-0.10.6.fedora37.x86_64.rpm
+.. |Fedora38Badge| image:: https://badgen.net/badge/Download%20v0.10.6/.rpm/green
+.. _Fedora38Badge: https://github.com/black-sat/black/releases/download/v0.10.6/black-sat-0.10.6.fedora38.x86_64.rpm
 
 Compilation from source
 ------------------------

diff --git a/docs/website/installation/windows.rst b/docs/website/installation/windows.rst
@@ -13,8 +13,8 @@ is self-contained.
 
    * - |WindowsBadge|_
 
-.. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.10.4/.zip/green
-.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.10.4/black-0.10.5-win-x64.zip
+.. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.10.6/.zip/green
+.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.10.6/black-0.10.6-win-x64.zip
 
 
 The binary package includes the Z3 backend. To use other backends, BLACK needs