4 Commits

Author	SHA1	Message	Date
Peter Monsson	627d83e807	Add support for assume property (#2531)	2020-09-03 12:38:48 -04:00
Wilson Snyder	1ce360ed5b	Add SPDX license identifiers. No functional change.	2020-03-21 11:24:24 -04:00
Wilson Snyder	9f8dbc91f2	Support restrict, bug1350.	2018-09-23 15:20:12 -04:00
Wilson Snyder	c8cf2afb15	Support assert properties, bug785, bug1290.	2018-03-11 10:37:20 -04:00