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

Implement C11-style semantics #65

Open
sbahra opened this issue Sep 14, 2015 · 1 comment
Open

Implement C11-style semantics #65

sbahra opened this issue Sep 14, 2015 · 1 comment
Assignees
@sbahra
Labels
enhancement
Milestone
0.7.0

Comments

@sbahra
Copy link
Member

sbahra commented Sep 14, 2015

No description provided.

@sbahra sbahra self-assigned this Sep 14, 2015
@sbahra sbahra added this to the 0.5.0 milestone Oct 23, 2015
@bifbof
Copy link

bifbof commented Nov 11, 2024

Hi 👋🏼
I am a Student at ETHZ doing my Master's thesis with @michaliskok, in which I am verifying ck with genmc.
For this, I am going to use C11 semantics and I would be interested in integrating my work into ck.
Is this issue still available and if so, is there a particular way you want those semantics to be integrated?
Kind regards,
Christof

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sbahra sbahra

Labels
enhancement
Projects
None yet
Milestone
0.7.0
Development

No branches or pull requests
2 participants
@sbahra @bifbof