Add link to latest version of documentation (#4)

cvc5 · Nov 15, 2022 · 228a343 · 228a343
1 parent 5509970
commit 228a343
Show file tree

Hide file tree

Showing 297 changed files with 3,175 additions and 1,690 deletions.
diff --git a/cvc5-1.0.0/api/api.html b/cvc5-1.0.0/api/api.html
@@ -135,6 +135,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -147,11 +157,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/cpp.html b/cvc5-1.0.0/api/cpp/cpp.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/datatype.html b/cvc5-1.0.0/api/cpp/datatype.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/datatypeconstructor.html b/cvc5-1.0.0/api/cpp/datatypeconstructor.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/datatypeconstructordecl.html b/cvc5-1.0.0/api/cpp/datatypeconstructordecl.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/datatypedecl.html b/cvc5-1.0.0/api/cpp/datatypedecl.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/datatypeselector.html b/cvc5-1.0.0/api/cpp/datatypeselector.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/driveroptions.html b/cvc5-1.0.0/api/cpp/driveroptions.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/exceptions.html b/cvc5-1.0.0/api/cpp/exceptions.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/grammar.html b/cvc5-1.0.0/api/cpp/grammar.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/kind.html b/cvc5-1.0.0/api/cpp/kind.html
@@ -252,6 +252,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -264,11 +274,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/modes.html b/cvc5-1.0.0/api/cpp/modes.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>

diff --git a/cvc5-1.0.0/api/cpp/op.html b/cvc5-1.0.0/api/cpp/op.html
@@ -247,6 +247,16 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="https://cvc5.github.io/docs-ci/docs-main/">
+         cvc5-main
+        </a>
+       </dd>
+       <dd>
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
+        </a>
+       </dd>
        <dd>
         <a href="../../../cvc5-1.0.1/">
          cvc5-1.0.1
@@ -259,11 +269,6 @@
          </a>
         </strong>
        </dd>
-       <dd>
-        <a href="../../../cvc5-1.0.2/">
-         cvc5-1.0.2
-        </a>
-       </dd>
       </dl>
      </div>
     </div>