From 54b2791f479139f7f973cf380aa6b9b07f5d62da Mon Sep 17 00:00:00 2001 From: tmeissner Date: Sat, 9 May 2020 22:05:01 +0200 Subject: [PATCH] Add strong operator versions to unsupported list --- LICENSE.md | 2 +- README.md | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/LICENSE.md b/LICENSE.md index ba76508..4096aa2 100644 --- a/LICENSE.md +++ b/LICENSE.md @@ -1,4 +1,4 @@ -#GNU LESSER GENERAL PUBLIC LICENSE +# GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 diff --git a/README.md b/README.md index a19f2af..69e714e 100644 --- a/README.md +++ b/README.md @@ -40,9 +40,10 @@ The next two lists will grow during further development ## PSL features not yet supported by GHDL: +* Synthesis of strong operator versions * forall statement ## PSL features supported by GHDL but with wrong behaviour * before_ operator (Seems that LHS & RHS of operator have to be active at same cycle, see psl_before.vhd) -* next_event_a[i to j] operator (Behaviour currently under verification) +* next_event_a[i to j] operator (Behaviour currently under investigation)