Add "Reactive Synthesis" as TBD to documentation

diff --git a/docs/source/index.rst b/docs/source/index.rst
index ec6d8f65f9ea7d658c5cca98d8b9955f3d81cd50..30fd5f1bee18d37444cd341a41801699df67fd7a 100644 (file)
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -11,6 +11,7 @@ formal tasks:
    * Generation of test benches from cover statements
    * Verification of liveness properties
    * Formal equivalence checking [TBD]
+   * Reactive Synthesis [TBD]
 
 (Items marked [TBD] are features under construction and not available
 at the moment.)