3 Commits

Author	SHA1	Message	Date
Bartłomiej Chmiel	9f5d22b21f	Fix parsing of `eventually[]` and pexpr memory leaks (#6530) ... * Fix parsing of eventually[] * Fix parser memory leaks for pexpr Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>	2025-10-06 15:42:40 +02:00
Wilson Snyder	5a6d5ed96b	Support property `iff` and `implies`.	2025-07-03 21:13:04 -04:00
Wilson Snyder	0162e15b6e	Tests: Rename property tests	2025-05-11 08:24:11 -04:00