1 search result for "tag:"date:2026-07-06""

Showing 1 - 1
  1. rocq-vellvm

    No documentation

    Rocq library implementing (executable) semantics for LLVM IR
    date:2026-07-06 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:semantics keyword:interpreter keyword:LLVM logpath:Vellvm
    Steve Zdancewic <stevez@cis.upenn.edu> Yannick Zakowski <yannick.zakowski@inria.fr> Calvin Beck <hobbes@seas.upenn.edu> Irene Yoon <euisuny@cis.upenn.edu> Gary (Hanxi) Chen <hanxic@seas.upenn.edu>
    v3.0.20260707
    MIT
    Used by 0 other packages
    09 Jul 2026