snu-sf/fairness snu-sf/fairness

  • Stars
    star
    2
  • Language Coq
  • Created over 2 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
snu-sf/fairness
github

snu-sf

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

paco

A Coq library for parametric coinduction
Coq
43
star
2

promising-coq

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Coq
32
star
3

crellvm

Crellvm: Verified Credible Compilation for LLVM
Coq
15
star
4

Ordinal

Coq
11
star
5

crellvm-llvm

LLVM for Crellvm: Verified Credible Compilation for LLVM
C++
6
star
6

CompCertM

Coq
6
star
7

llvm-freeze

LLVM
5
star
8

CompCertR

Coq
4
star
9

promising-arm

Coq
3
star
10

llvmtwin-coq

Coq formalization of LLVM memory model (Reconciling High-level Optimizations and Low-level Code in LLVM, OOPSLA'18)
Coq
3
star
11

promising-ldrf-coq

The Coq development of local data-race-freedom guarantees in the Promising Semantics
Coq
3
star
12

clang-freeze

C++
3
star
13

clang-twin

LLVM implementation of OOSPLA'18 Reconciling High-level Optimizations and Low-level Code in LLVM
C++
2
star
14

crellvm-vellvm

Vellvm for Crellvm: Verified Credible Compilation for LLVM
Coq
2
star
15

cpdtlib

Coq
2
star
16

promising2-coq

The Coq development of Promising 2.0 semantics for relaxed memory concurrency
Coq
2
star
17

sf-opam-coq-archive

1
star
18

acmart-pacmpl

PACMPL LaTeX template
TeX
1
star
19

snt

Show-and-tell Slides
1
star
20

sflib

Coq
1
star