docs: Migrate separation logic theory reference. (#6702)

This migrates page https://cvc4.github.io/separation-logic.

1 files changed, 10 insertions, 1 deletions

diff --git a/docs/ext/smtliblexer.py b/docs/ext/smtliblexer.py
index 5dd54d006..2ce860e39 100644
--- a/docs/ext/smtliblexer.py
+++ b/docs/ext/smtliblexer.py
@@ -9,13 +9,17 @@ class SmtLibLexer(RegexLexer):
         'root': [
             (r'QF_BV', token.Text),
             (r'QF_UFDT', token.Text),
-            (r'ALL_SUPPORTED', token.Text),
+            (r'ALL', token.Text),
+            (r'QF_ALL', token.Text),
+            (r'set-info', token.Keyword),
             (r'set-logic', token.Keyword),
             (r'set-option', token.Keyword),
             (r'declare-codatatypes', token.Keyword),
             (r'declare-const', token.Keyword),
+            (r'declare-datatype', token.Keyword),
             (r'declare-datatypes', token.Keyword),
             (r'declare-fun', token.Keyword),
+            (r'declare-sort', token.Keyword),
             (r'define-fun', token.Keyword),
             (r'assert\b', token.Keyword),
             (r'check-sat-assuming', token.Keyword),
@@ -32,6 +36,7 @@ class SmtLibLexer(RegexLexer):
             (r':produce-models', token.Name.Attribute),
             (r':produce-unsat-cores', token.Name.Attribute),
             (r':produce-unsat-assumptions', token.Name.Attribute),
+            (r':status', token.Name.Attribute),
             (r'!', token.Name.Attribute),
             (r'BitVec', token.Name.Attribute),
             (r'RNE', token.Name.Attribute),
@@ -48,11 +53,15 @@ class SmtLibLexer(RegexLexer):
             (r'bvult', token.Operator),
             (r'bvule', token.Operator),
             (r'bvsdiv', token.Operator),
+            (r'emp', token.Operator),
             (r'extract', token.Operator),
             (r'fp.gt', token.Operator),
             (r'ite', token.Operator),
             (r'mkTuple', token.Operator),
             (r'to_fp_unsigned', token.Operator),
+            (r'pto', token.Operator),
+            (r'sep', token.Operator),
+            (r'wand', token.Operator),
             (r'\+zero', token.Operator),
             (r'#b[0-1]+', token.Text),
             (r'bv[0-9]+', token.Text),