4 Commits

Author	SHA1	Message	Date
Ryszard Rozak	0f355c717e	Fix `disable iff` in simple properties (#6783)	2025-12-09 07:18:32 -05:00
Peter Monsson	d0819f156f	Add support for |=> inside properties (#1292).	2020-09-10 06:49:04 -04:00
Wilson Snyder	1ce360ed5b	Add SPDX license identifiers. No functional change.	2020-03-21 11:24:24 -04:00
Peter Monsson	9b998cf6b3	Support implication operator "|->" in assertions, #2069. ... Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>	2019-12-23 16:49:18 -05:00