diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-07-06 13:29:25 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-06 16:29:25 +0000 |
| commit | c05fe825c6370a3f6bfe8c8264634d11b398567f (patch) | |
| tree | 919e18c9948d42af7ffa91a257f81ae9d37715d9 /docs | |
| parent | 80efd9fb51d25a7e2f3de802b41e4802e42596d7 (diff) | |
Porting C++ API examples to SMT-LIB examples (#6789)
SyGuS examples will come later.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/examples/bitvectors.rst | 1 | ||||
| -rw-r--r-- | docs/examples/bitvectors_and_arrays.rst | 1 | ||||
| -rw-r--r-- | docs/examples/combination.rst | 1 | ||||
| -rw-r--r-- | docs/examples/datatypes.rst | 1 | ||||
| -rw-r--r-- | docs/examples/extract.rst | 1 | ||||
| -rw-r--r-- | docs/examples/sequences.rst | 1 | ||||
| -rw-r--r-- | docs/examples/strings.rst | 1 |
7 files changed, 7 insertions, 0 deletions
diff --git a/docs/examples/bitvectors.rst b/docs/examples/bitvectors.rst index 354c86751..2d6469611 100644 --- a/docs/examples/bitvectors.rst +++ b/docs/examples/bitvectors.rst @@ -6,3 +6,4 @@ Theory of Bit-Vectors ../../examples/api/cpp/bitvectors.cpp ../../examples/api/java/BitVectors.java ../../examples/api/python/bitvectors.py + ../../examples/api/smtlib/bitvectors.smt2 diff --git a/docs/examples/bitvectors_and_arrays.rst b/docs/examples/bitvectors_and_arrays.rst index 9d63f36bd..9a9d47bd5 100644 --- a/docs/examples/bitvectors_and_arrays.rst +++ b/docs/examples/bitvectors_and_arrays.rst @@ -6,3 +6,4 @@ Theory of Bit-Vectors and Arrays ../../examples/api/cpp/bitvectors_and_arrays.cpp ../../examples/api/java/BitVectorsAndArrays.java ../../examples/api/python/bitvectors_and_arrays.py + ../../examples/api/smtlib/bitvectors_and_arrays.smt2 diff --git a/docs/examples/combination.rst b/docs/examples/combination.rst index 5f301a14f..e5f38e21e 100644 --- a/docs/examples/combination.rst +++ b/docs/examples/combination.rst @@ -6,3 +6,4 @@ Theory Combination ../../examples/api/cpp/combination.cpp ../../examples/api/java/Combination.java ../../examples/api/python/combination.py + ../../examples/api/smtlib/combination.smt2 diff --git a/docs/examples/datatypes.rst b/docs/examples/datatypes.rst index abbb16964..4f2cbf176 100644 --- a/docs/examples/datatypes.rst +++ b/docs/examples/datatypes.rst @@ -6,3 +6,4 @@ Theory of Datatypes ../../examples/api/cpp/datatypes.cpp ../../examples/api/java/Datatypes.java ../../examples/api/python/datatypes.py + ../../examples/api/smtlib/datatypes.smt2 diff --git a/docs/examples/extract.rst b/docs/examples/extract.rst index 0108de948..61eaa6462 100644 --- a/docs/examples/extract.rst +++ b/docs/examples/extract.rst @@ -5,3 +5,4 @@ Theory of Bit-Vectors: :code:`extract` .. api-examples:: ../../examples/api/cpp/extract.cpp ../../examples/api/python/extract.py + ../../examples/api/smtlib/extract.smt2 diff --git a/docs/examples/sequences.rst b/docs/examples/sequences.rst index a6f9e2238..569fdfc04 100644 --- a/docs/examples/sequences.rst +++ b/docs/examples/sequences.rst @@ -5,3 +5,4 @@ Theory of Sequences .. api-examples:: ../../examples/api/cpp/sequences.cpp ../../examples/api/python/sequences.py + ../../examples/api/smtlib/sequences.smt2 diff --git a/docs/examples/strings.rst b/docs/examples/strings.rst index 87f566363..cc6211061 100644 --- a/docs/examples/strings.rst +++ b/docs/examples/strings.rst @@ -6,3 +6,4 @@ Theory of Strings ../../examples/api/cpp/strings.cpp ../../examples/api/java/Strings.java ../../examples/api/python/strings.py + ../../examples/api/smtlib/strings.smt2 |