Update docs

MikePopoloski · Aug 14, 2021 · 8f7ec4f · 8f7ec4f
1 parent a12c4a3
commit 8f7ec4f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/docs/language-support.dox b/docs/language-support.dox
@@ -248,9 +248,11 @@ LRM | Feature | Supported
 {{m-success}} 16.9 | Sequence operations | v0.8
 {{m-success}} 16.10 | Local variables | v0.8
 {{m-success}} 16.11 | Calling subroutines on match of sequence | v0.8
-{{m-warning}} 16.12 | Declaring properties | partial
+{{m-success}} 16.12 | Declaring properties | v0.8
+{{m-warning}} 16.12.22 | Nondegeneracy | partial
 {{m-warning}} 16.13 | Multiclock support | partial
-{{m-warning}} 16.14 | Concurrent assertions | partial
+{{m-success}} 16.14 | Concurrent assertions | v0.8
+{{m-danger}}  16.14.7 | Inferred value functions | no
 {{m-success}} 16.15 | Disable iff resolution | v0.8
 {{m-danger}}  16.16 | Clock resolution | no
 {{m-success}} 16.17 | Expect statement | v0.8