Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clean up terminology: step 3 — the rest of the owl #155

Merged
merged 17 commits into from
Apr 28, 2021
Merged

Clean up terminology: step 3 — the rest of the owl #155

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
46420c8
remove unused `polonius` dataset
lqd Dec 20, 2020
658a407
refactor: rename `borrow_region` relation to `loan_issued_at`
lqd Dec 20, 2020
169d148
tests: rename `borrow_region.facts` input to `loan_issued_at`
lqd Dec 20, 2020
a1844df
parser: rename "borrow_region_at" to "loan_issued_at"
lqd Dec 20, 2020
0a2b19b
refactor: rename `killed` relation to `loan_killed_at`
lqd Dec 20, 2020
ff02098
tests: rename `killed.facts` input files to `loan_killed_at.facts`
lqd Dec 20, 2020
e54a2f7
parser: rename `kill` effect to `loan_killed_at`
lqd Dec 20, 2020
ddda651
refactor: rename `invalidates` relation to `loan_invalidated_at`
lqd Dec 20, 2020
6c5cea6
tests: rename `invalidates.facts` input file to `loan_invalidated_at.…
lqd Dec 20, 2020
6ae9238
parser: rename `invalidates` effect to `loan_invalidated_at`
lqd Dec 20, 2020
499c1b8
style: rustfmt and comment massaging due to longer relation names
lqd Dec 20, 2020
86ca964
style: format single-predicate datalog rules consistently on 2 lines
lqd Dec 20, 2020
0eaf12c
refactor: rename `requires` relation to `origin_contains_loan_on_entry`
lqd Dec 20, 2020
d09f35a
refactor: rename `borrow_live_at` relation to `loan_live_at`
lqd Dec 20, 2020
4614a9b
refactor: rename `outlives` relation to `subset_base`
lqd Dec 20, 2020
cf7ea4c
tests: rename `outlives.facts` input file to `subset_base.facts`
lqd Dec 20, 2020
cedee18
refactor: rename `restricts_*` output relations to `origin_contains_l…
lqd Dec 20, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
0 ...r-{{impl}}-add_defaults/invalidates.facts → ...}}-add_defaults/loan_invalidated_at.facts
View file
Open in desktop
File renamed without changes.
0 ...{{impl}}-add_defaults/borrow_region.facts → ...{impl}}-add_defaults/loan_issued_at.facts
View file
Open in desktop
File renamed without changes.
0 ...parser-{{impl}}-add_defaults/killed.facts → ...{impl}}-add_defaults/loan_killed_at.facts
View file
Open in desktop
File renamed without changes.
0 ...rser-{{impl}}-add_defaults/outlives.facts → ...r-{{impl}}-add_defaults/subset_base.facts
View file
Open in desktop
File renamed without changes.
0 ...ue-47680/nll-facts/main/invalidates.facts → .../nll-facts/main/loan_invalidated_at.facts
View file
Open in desktop
File renamed without changes.
0 ...-47680/nll-facts/main/borrow_region.facts → ...47680/nll-facts/main/loan_issued_at.facts
View file
Open in desktop
File renamed without changes.
0 ...s/issue-47680/nll-facts/main/killed.facts → ...47680/nll-facts/main/loan_killed_at.facts
View file
Open in desktop
File renamed without changes.
0 ...issue-47680/nll-facts/main/outlives.facts → ...ue-47680/nll-facts/main/subset_base.facts
View file
Open in desktop
File renamed without changes.
0 ...s/{{impl}}-maybe_next/borrow_region.facts → ...pl}}-maybe_next/loan_invalidated_at.facts
View file
Open in desktop
File renamed without changes.
0 ...cts/{{impl}}-maybe_next/invalidates.facts → .../{{impl}}-maybe_next/loan_issued_at.facts
View file
Open in desktop
File renamed without changes.
0 ...ll-facts/{{impl}}-maybe_next/killed.facts → .../{{impl}}-maybe_next/loan_killed_at.facts
View file
Open in desktop
File renamed without changes.
0 ...-facts/{{impl}}-maybe_next/outlives.facts → ...cts/{{impl}}-maybe_next/subset_base.facts
View file
Open in desktop
File renamed without changes.
24 changes: 0 additions & 24 deletions inputs/polonius/nll-facts/cli-main-{{closure}}/cfg_edge.facts
View file
Open in desktop

This file was deleted.

151 changes: 0 additions & 151 deletions inputs/polonius/nll-facts/cli-main-{{closure}}/outlives.facts
View file
Open in desktop

This file was deleted.

3 changes: 0 additions & 3 deletions inputs/polonius/nll-facts/cli-main-{{closure}}/universal_region.facts
View file
Open in desktop

This file was deleted.

10 changes: 0 additions & 10 deletions inputs/polonius/nll-facts/cli-main-{{closure}}/var_defined.facts
View file
Open in desktop

This file was deleted.

4 changes: 0 additions & 4 deletions inputs/polonius/nll-facts/cli-main-{{closure}}/var_used.facts
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions inputs/polonius/nll-facts/cli-main-{{closure}}/var_uses_region.facts
View file
Open in desktop

This file was deleted.

24 changes: 0 additions & 24 deletions inputs/polonius/nll-facts/cli-main-{{closure}}[1]/cfg_edge.facts
View file
Open in desktop

This file was deleted.

151 changes: 0 additions & 151 deletions inputs/polonius/nll-facts/cli-main-{{closure}}[1]/outlives.facts
View file
Open in desktop

This file was deleted.

3 changes: 0 additions & 3 deletions inputs/polonius/nll-facts/cli-main-{{closure}}[1]/universal_region.facts
View file
Open in desktop

This file was deleted.

10 changes: 0 additions & 10 deletions inputs/polonius/nll-facts/cli-main-{{closure}}[1]/var_defined.facts
View file
Open in desktop

This file was deleted.

4 changes: 0 additions & 4 deletions inputs/polonius/nll-facts/cli-main-{{closure}}[1]/var_used.facts
View file
Open in desktop

This file was deleted.

Loading