Some CIF tools do annotation post-checking on specifications with component definitions/instantiations
The annotation post-checker only supports specifications without component definitions/instantiations. But, the CIF controller properties checker and CIF to CIF transformer do these checks on specifications that could have component definitions/instantiations.
-
Controller checker (!915 (merged)) -
CIF to CIF transformer (!924 (merged))
Addresses #593 (closed)
Edited by Dennis Hendriks