Update README.md with Link to Kontrol Docs (#243)

* Update README.md with Link to Kontrol Docs * Set Version: 0.1.94 * Update README.md * Update README.md --------- Co-authored-by: devops <[email protected]>
runtimeverification · Dec 12, 2023 · d163c5a · d163c5a
1 parent 9439d68
commit d163c5a
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,8 @@
 # Kontrol
+Kontrol combines [KEVM](https://github.com/runtimeverification/evm-semantics) and [Foundry](https://book.getfoundry.sh/) to grant developers the ability to perform formal verification without learning a new language or tool. This is especially useful for those who are not verification engineers. Additionally, developers can leverage Foundry test suites they have already developed and use symbolic execution to increase the level of confidence.
+
+## Documentation
+Documentation for Kontrol can be found here: [https://docs.runtimeverification.com/kontrol](https://docs.runtimeverification.com/kontrol).
 
 ## Fast Installation
 

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.93
+0.1.94
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.93"
+version = "0.1.94"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '0.1.93'
+VERSION: Final = '0.1.94'