Kanillian

GillianPlatform · Nov 19, 2024 · 343be27 · 343be27
1 parent 5c79ebe
commit 343be27
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/sphinx/kanillian/index.rst b/sphinx/kanillian/index.rst
@@ -1,14 +1,10 @@
-Kanillian (New Gillian-C)
-=========================
+Kanillian (alternative C instantiation)
+=======================================
 
 .. danger::
 
   Kanillian is currently in development and unstable.
 
 Kanillian is a new instantiation of Gillian to the C language (or more precisely, CBMC's `GOTO-C <https://diffblue.github.io/cbmc/group__goto-programs.html>`_). It can be found in the ``kanillian`` folder of the repository.
 
-Kanillian requires CBMC to be present on your path.
-
-.. attention::
-
-  Kanillian is currently built to work with CBMC version |cbmc_version| - newer versions are known to cause problems.
+Kanillian requires CBMC to be present on your path. Kanillian is currently built to work with CBMC version |cbmc_version| -- newer versions are known to cause problems.