snu-sf/clang-twin snu-sf/clang-twin

  • Stars
    star
    2
  • Language
    C++
  • License
    Other
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
snu-sf/clang-twin
github

snu-sf

Reviews

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

Repository Details

LLVM implementation of OOSPLA'18 Reconciling High-level Optimizations and Low-level Code in LLVM

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

crellvm-vellvm

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

cpdtlib

Coq
2
star
15

promising2-coq

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

fairness

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