From 61d719defaea2d2825236254027b97c2465ece43 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 17 Sep 2020 13:46:53 +0200
Subject: [PATCH] Add for, forall & macros to unsupported list

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index db290fc..db1bc4e 100644
--- a/README.md
+++ b/README.md
@@ -71,12 +71,16 @@ The next lists will grow during further development
 * Partial support of PSL vunits (synthesis only)
 * Partial support of named sequences (simulation only)
 * Partial support of named properties (simulation only)
+* Partial support of PSL `endpoint` (simulation only, in PSL comments)
+
 
 ## Not yet supported by GHDL:
 
-* `forall` statement
+* `forall` operator
+* `for` operator
 * Synthesis of strong operator versions
 * PSL functions (`prev()`, `stable()`,`rose()` & `fell()` are implemented for synthesis)
+* PSL macros (`%for`, `%if`)
 
 ## Under investigation