From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 22 May 2017 10:26:02 +0000 (+0200)
Subject: Add "Reactive Synthesis" as TBD to documentation
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f871ec89a40eeb1fa839a98d37d85d38bace27a;p=SymbiYosys.git

Add "Reactive Synthesis" as TBD to documentation
---

diff --git a/docs/source/index.rst b/docs/source/index.rst
index ec6d8f6..30fd5f1 100644
--- 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.)