2 search results for "author:"Gabriel Kerneis""

Showing 1 - 2
  1. 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.0.6
    BSD-3-Clause
    Used by 3 other packages
    26 Mar 2025
  2. lem
    Documentation
    Lem is a tool for lightweight executable mathematics
    Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm et al.
    2025-03-13
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    15 Mar 2025