From 7f871ec89a40eeb1fa839a98d37d85d38bace27a Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 22 May 2017 12:26:02 +0200 Subject: [PATCH] Add "Reactive Synthesis" as TBD to documentation --- docs/source/index.rst | 1 + 1 file changed, 1 insertion(+) 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.) -- 2.30.2