6 Commits

Include renames

Author	SHA1	Message	Date
Zachary Snow	1c902773b4	parser support for not, strong, weak, nexttime, and s_nexttime	2024-06-17 22:42:12 -04:00
Zachary Snow	11a5d0479d	support for sequence and property declarations	2023-05-07 16:45:06 -04:00
Zachary Snow	1315bed81c	support cycle delay range in sequence expressions	2022-03-09 18:38:30 +01:00
Saw Xue Zheng	8ecd2c6e52	fix common_module_item to include deferred_assertion_item (#178)	2021-09-11 15:22:04 -04:00
Zachary Snow	581a7911de	support for deferred immediate assertion statements	2021-08-16 17:50:23 -06:00
Zachary Snow	d6d3938d20	fix codegen for assertion property and sequence expressions ... - updated representation and added codegen for sequence match items - fix incorrect codegen for `iff` property expression	2021-07-16 09:54:05 -04:00