Skip to content
@chicago-relaxed-memory

chicago-relaxed-memory

Popular repositories Loading

  1. spec-eval spec-eval Public

    A model of speculative evaluation

    C 6

  2. seqcomp seqcomp Public

    Pomsets with Predicate Transformers: a relaxed memory model for compositional reasoning about program fragments

    TeX 4

  3. memory-model memory-model Public

    TeX 3

  4. nonmca nonmca Public

    TeX 1 1

  5. ub ub Public

    A model of C-style undefined behaviour

    Agda

Repositories

Showing 5 of 5 repositories
  • nonmca Public
    chicago-relaxed-memory/nonmca’s past year of commit activity
    TeX 1 1 0 0 Updated Feb 25, 2022
  • seqcomp Public

    Pomsets with Predicate Transformers: a relaxed memory model for compositional reasoning about program fragments

    chicago-relaxed-memory/seqcomp’s past year of commit activity
    TeX 4 CC-BY-SA-4.0 0 0 0 Updated Feb 25, 2022
  • memory-model Public
    chicago-relaxed-memory/memory-model’s past year of commit activity
    TeX 3 CC-BY-4.0 0 0 0 Updated Oct 20, 2021
  • ub Public

    A model of C-style undefined behaviour

    chicago-relaxed-memory/ub’s past year of commit activity
    Agda 0 CC-BY-SA-4.0 0 0 0 Updated Nov 14, 2020
  • spec-eval Public

    A model of speculative evaluation

    chicago-relaxed-memory/spec-eval’s past year of commit activity
    C 6 CC-BY-SA-4.0 0 0 0 Updated May 22, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…