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

Jump to bottom

Update dat3m version #55

Merged
merged 12 commits into from
May 27, 2024
Merged

Update dat3m version #55

merged 12 commits into from
May 27, 2024

Conversation

hernanponcedeleon
Copy link
Contributor

  • Use dat3m 4.1.0 in container
  • Copy pom.xml to final container (used to retrieve dat3m version)
  • Remove DARTAGNAN_METHOD (method can be changed using DARTAGNAN_OPTIONS if needed)
  • Add DARTAGNAN_SOLVER to easily switch SMT solver
  • Remove some hardcoded dat3m options

@hernan-poncedeleon
Update dat3m hash
dbacb3f 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Copy pom file from dat3m_build (needed for dat3m version)
73e63a0 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Copy pom file from dat3m_build (needed for dat3m version)
2572e9c 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Remove some optimizations that can introduce races
5f46b3a 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Remove some of the hardcoded options in dartagnan
a5a9282 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Use dartagnan 4.1.0 in container
d818f69 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Update dat3m hash
b4681ed 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Update dat3m hash. No OPTFLAGS by default
b5313c2 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Update dat3m hash
7f911f1 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Update dat3m hash
b9860b9 
Signed-off-by: h00807494 <[email protected]>
@hernan-poncedeleon
Remove DARTAGNAN_METHOD and add DARTAGNAN_SOLVER
2fe4827 
Signed-off-by: Hernan Ponce de Leon <[email protected]>
@hernan-poncedeleon
Use dat3m 4.1.0
5aa1d3b 
Signed-off-by: h00807494 <[email protected]>
@hernanponcedeleon hernanponcedeleon requested a review from db7 May 27, 2024 07:36
db7
db7 approved these changes May 27, 2024
View reviewed changes
Copy link
Member

@db7 db7 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@hernanponcedeleon hernanponcedeleon merged commit 2a040dc into main May 27, 2024
5 checks passed
@hernanponcedeleon hernanponcedeleon deleted the dat3m branch May 27, 2024 08:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@db7 db7 db7 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@hernanponcedeleon @db7 @hernan-poncedeleon