Skip to content

ModifierTrait #1008

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

Open
xeren wants to merge 10 commits into
base: development
Choose a base branch
from
Open

ModifierTrait #1008

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
0cd6d0f
ModifierTrait
xeren Feb 9, 2026
2d98067
fixup! ModifierTrait
xeren Mar 13, 2026
269c2f2
Merge branch 'development' into alias-modifiertrait
xeren Mar 13, 2026
4994781
Refactor
xeren Mar 28, 2026
24fa00a
Remove obsolete methode ModifierTrait.mul(T, int)
xeren Apr 15, 2026
f10b212
ModifierTraitTest
xeren Apr 17, 2026
af7c15f
Fix accelerate(T) for Offsets and MdLinear
xeren Apr 17, 2026
890c7a4
Modify ModifierTrait.relaxedModifier(int)
xeren Apr 17, 2026
2bd9136
Fix VoidTrait.isIdentity(Void)
xeren Apr 17, 2026
666d9e6
Merge remote-tracking branch 'origin/development' into alias-modifier…
xeren Apr 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion dartagnan/src/main/java/com/dat3m/dartagnan/configuration/Alias.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,10 @@

public enum Alias implements OptionInterface {
// For comparison reasons, we might want to add a NONE method with may = true, must = false
FIELD_SENSITIVE, FIELD_INSENSITIVE, FULL;
FIELD_SENSITIVE, FIELD_INSENSITIVE, FULL,
EXPERIMENTAL_FIELD_INSENSITIVE,
EXPERIMENTAL_FIELD_SENSITIVE,
EXPERIMENTAL_LINEAR_1D;

public static Alias getDefault() {
return FULL;
Expand Down
4 changes: 2 additions & 2 deletions dartagnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AliasAnalysis.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ static AliasAnalysis fromConfig(Program program, Context analysisContext, Config
AliasAnalysis a = switch (c.method) {
case FIELD_SENSITIVE -> FieldSensitiveAndersen.fromConfig(program, c);
case FIELD_INSENSITIVE -> AndersenAliasAnalysis.fromConfig(program, c);
case FULL -> InclusionBasedPointerAnalysis.fromConfig(program, analysisContext, c);
default -> InclusionBasedPointerAnalysis.fromConfig(program, analysisContext, c);
};
a = new CombinedAliasAnalysis(a, EqualityAliasAnalysis.fromConfig(program, c));
if (Arch.supportsVirtualAddressing(program.getArch())) {
Expand All @@ -79,7 +79,7 @@ static AliasAnalysis fromConfig(Program program, Context analysisContext, Config
final class Config {
@Option(name = ALIAS_METHOD,
description = "General type of analysis that approximates the 'loc' relationship between memory events.")
private Alias method = Alias.getDefault();
Alias method = Alias.getDefault();

@Option(name = ALIAS_GRAPHVIZ,
description = "If 'true', stores the results of the alias analysis as a PNG image." +
Expand Down
Loading
Loading