WIP

GillianPlatform · Dec 5, 2024 · 7592145 · 7592145
1 parent c7070f6
commit 7592145
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/sphinx/wisl/index.rst b/sphinx/wisl/index.rst
@@ -0,0 +1,9 @@
+WISL
+====
+
+WISL is an instantiation of Gillian to a simple while language with a C-style block-offset memory model. It can be found in the ``wisl`` folder of the Gillian repository.
+
+.. toctree::
+   :titlesonly:
+
+   lab
diff --git a/sphinx/wisl/lab.rst b/sphinx/wisl/lab.rst