Updating Changes with implication operator feature

This commit is contained in:
Peter Monsson 2019-12-23 21:51:09 +01:00
parent f6424431f3
commit bcb739893c
1 changed files with 2 additions and 0 deletions

View File

@ -6,6 +6,8 @@ The contributors that suggested a given feature are shown in []. Thanks!
*** Support bounded queues.
*** Support implication operator "|->" in assertions. [Peter Monsson]
*** Support string compare, ato*, etc methods, #1606. [Yutetsu TAKATSUKASA]
**** Support immediate cover statements.