Skip to content
This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Conversation

@bamarsha
Copy link
Contributor

@bamarsha bamarsha commented Sep 2, 2020

Updates capability inference to transitively consider the dependencies of a callable (callables that the callable references or calls).

Dependencies are only followed within the source files of the current compilation unit. Once a library callable is encountered, it either needs to have been previously compiled with a Capability attribute, or its capability will default to level 0.

Part of PR #600.

@bamarsha bamarsha merged commit 87e30b9 into feature/capability-inference Sep 10, 2020
@bamarsha bamarsha deleted the samarsha/capability-dependencies branch September 10, 2020 18:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants