aqjune / llvmscript
One-for-all python script for running LLVM experiment
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvmscript
- ☆19Updated last year
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆33Updated 3 weeks ago
- ☆48Updated last week
- ☆15Updated last year
- Formally verified implementation of Alive in Lean☆35Updated last year
- ☆10Updated 11 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- A minimal development of SSA theory☆88Updated this week
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆15Updated last year
- ☆20Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- ☆55Updated 5 months ago
- 컴퓨터 신기술 특강☆11Updated last year
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆10Updated last year
- Cerberus C semantics☆53Updated this week
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆52Updated 7 months ago
- ☆44Updated this week
- ☆12Updated this week
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- ☆9Updated last year
- embedding MLIR in LEAN☆47Updated 4 months ago
- ☆15Updated last year
- A Coq library for parametric coinduction☆43Updated last month
- 컴퓨터 신기술 특강☆13Updated 5 years ago
- ☆11Updated last month
- ☆19Updated 7 months ago
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Updated 3 months ago