3 Commits

Author	SHA1	Message	Date
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