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

Rename relations #45

Merged
merged 11 commits into from
Oct 7, 2022
Merged

Rename relations #45

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
68b067c
Rename global variable relations
langston-barrett Oct 6, 2022
2dfd0bd
Rename block relations
langston-barrett Oct 6, 2022
b0f1e1e
Rename alias relations
langston-barrett Oct 6, 2022
e119c57
Rename function relations
langston-barrett Oct 6, 2022
077eb7b
Rename instruction relations
langston-barrett Oct 7, 2022
ac7d5ef
FactGenerator: Introduce PREDICATE2 macro
langston-barrett Oct 7, 2022
a914776
Rename global variable relations (part 2)
langston-barrett Oct 7, 2022
275ec30
Rename alias_linkage_type to alias_linkage
langston-barrett Oct 7, 2022
bc1f9ad
Rename function relations (part 2)
langston-barrett Oct 7, 2022
411c023
FactGenerator: Capture instr attr naming schemes (pt. 1)
langston-barrett Oct 7, 2022
961897e
FactGenerator: Finish capturing instr naming schemes
langston-barrett Oct 7, 2022
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
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion FactGenerator/include/InstructionVisitor.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -154,7 +154,7 @@ class cclyzer::InstructionVisitor

// default synchScope: crossthread
if (instr.getSyncScopeID() == SyncScope::SingleThread) {
gen.writeFact(predicates::instruction::flag, iref, "singlethread");
gen.writeFact(predicates::instr::flag, iref, "singlethread");
}

if (!atomic.empty()) gen.writeFact(P::ordering, iref, atomic);
Expand Down
Loading