3 search results for "author:"Ralf Vogler""

Showing 1 - 3
  1. goblint

    No documentation

    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    15 Jun 2026
  2. goblint-cil

    No documentation

    A front-end for the C programming language that facilitates program analysis and transformation
    George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler et al.
    2.1.0
    BSD-3-Clause
    Used by 3 other packages
    12 Jun 2026
  3. ppx_distr_guards
    Documentation
    Extension to distribute guards over or-patterns
    Ralf Vogler <ralf.vogler@gmail.com>
    0.3
    MIT
    Used by 1 other packages
    30 Jun 2021