Rust

GillianPlatform · Nov 19, 2024 · db94133 · db94133
1 parent 343be27
commit db94133
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/sphinx/index.rst b/sphinx/index.rst
@@ -15,8 +15,9 @@ Gillian is a multi-language analysis platform supporting, e.g., verification and
    :caption: Instantiations
 
    c/index
-   js/index
    kanillian/index
+   js/index
+   rust/index
 
 .. toctree::
    :titlesonly:

diff --git a/sphinx/kanillian/index.rst b/sphinx/kanillian/index.rst
@@ -1,4 +1,4 @@
-Kanillian (alternative C instantiation)
+Kanillian (Alternative C Instantiation)
 =======================================
 
 .. danger::

diff --git a/sphinx/rust/index.rst b/sphinx/rust/index.rst
@@ -0,0 +1,4 @@
+Gillian-Rust
+============
+
+In ongoing work, we are developing an instantiation of Gillian for Rust called Gillian-Rust. See `the current paper draft <https://arxiv.org/abs/2403.15122>`_.