2 Commits

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