checkedc / checkedc-fork
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
☆26Updated last month
Related projects ⓘ
Alternatives and complementary repositories for checkedc-fork
- Cerberus C semantics☆53Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- ☆57Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Formalization of C++ for verification purposes.☆69Updated this week
- ☆27Updated last month
- Coq library for verified low-level programming☆57Updated 7 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- ☆51Updated 3 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- An awesome list of e-graph resources☆97Updated 3 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- MimIR is my Intermediate Representation☆48Updated last week
- Isabelle LLVM Code Generator and Refinement☆26Updated this week
- KORE to llvm translation☆36Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆50Updated last year
- Public snapshots of "ACSL by Example"☆101Updated 3 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆30Updated 3 months ago
- The Steel separation logic library for F*☆31Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆62Updated this week
- Sources for the ANSI/ISO C Specification Language manual☆50Updated this week
- ☆26Updated 5 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago