Skip to content

@chicago-relaxed-memory chicago-relaxed-memory

Change the repository type filter

All

    Repositories list

    5 repositories

    • nonmca

      Public
      TeX
      •1•1•0•0•Updated Feb 25, 2022Feb 25, 2022

    • seqcomp

      Public
      Pomsets with Predicate Transformers: a relaxed memory model for compositional reasoning about program fragments
      TeX
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•4•0•0•Updated Feb 25, 2022Feb 25, 2022

    • memory-model

      Public
      TeX
      •
      Creative Commons Attribution 4.0 International
      •0•3•0•0•Updated Oct 20, 2021Oct 20, 2021

    • ub

      Public
      A model of C-style undefined behaviour
      Agda
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•0•0•0•Updated Nov 14, 2020Nov 14, 2020

    • spec-eval

      Public
      A model of speculative evaluation
      C
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•6•0•0•Updated May 22, 2019May 22, 2019