Skip to content
Snippets Groups Projects
RefinedC

RefinedC

Project ID: 3388
Select Git revision
1 result Searching
  • Clone with SSH
  • Clone with HTTPS
  • Forked from Iris / RefinedC
    Source project has a limited visibility.
    Dan Frumin's avatar
    Dan Frumin authored
    The specification for ticket lock is proven using the atomic
    specification for the increment operation.
    892b1802
    History
    Name Last commit Last update