-
Notifications
You must be signed in to change notification settings - Fork 75
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #155 from lqd/great_renaming_2020
Clean up terminology: step 3 — the rest of the owl
- Loading branch information
Showing
3,184 changed files
with
303 additions
and
998,136 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
24 changes: 0 additions & 24 deletions
24
inputs/polonius/nll-facts/cli-main-{{closure}}/cfg_edge.facts
This file was deleted.
Oops, something went wrong.
151 changes: 0 additions & 151 deletions
151
inputs/polonius/nll-facts/cli-main-{{closure}}/outlives.facts
This file was deleted.
Oops, something went wrong.
3 changes: 0 additions & 3 deletions
3
inputs/polonius/nll-facts/cli-main-{{closure}}/universal_region.facts
This file was deleted.
Oops, something went wrong.
10 changes: 0 additions & 10 deletions
10
inputs/polonius/nll-facts/cli-main-{{closure}}/var_defined.facts
This file was deleted.
Oops, something went wrong.
4 changes: 0 additions & 4 deletions
4
inputs/polonius/nll-facts/cli-main-{{closure}}/var_used.facts
This file was deleted.
Oops, something went wrong.
5 changes: 0 additions & 5 deletions
5
inputs/polonius/nll-facts/cli-main-{{closure}}/var_uses_region.facts
This file was deleted.
Oops, something went wrong.
24 changes: 0 additions & 24 deletions
24
inputs/polonius/nll-facts/cli-main-{{closure}}[1]/cfg_edge.facts
This file was deleted.
Oops, something went wrong.
151 changes: 0 additions & 151 deletions
151
inputs/polonius/nll-facts/cli-main-{{closure}}[1]/outlives.facts
This file was deleted.
Oops, something went wrong.
3 changes: 0 additions & 3 deletions
3
inputs/polonius/nll-facts/cli-main-{{closure}}[1]/universal_region.facts
This file was deleted.
Oops, something went wrong.
10 changes: 0 additions & 10 deletions
10
inputs/polonius/nll-facts/cli-main-{{closure}}[1]/var_defined.facts
This file was deleted.
Oops, something went wrong.
4 changes: 0 additions & 4 deletions
4
inputs/polonius/nll-facts/cli-main-{{closure}}[1]/var_used.facts
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.