2 Search Results
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler Michael Schwarz Simmo Saan
2.0.1
BSD-3-Clause
Used by 1 other packages
lem
Lem is a tool for lightweight executable mathematics
Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm Peter Sewell Scott Owens Thomas Tuerk Brian Campbell Shaked Flur Thomas Bauereiss Stephen Kell Thomas Williams Lars Hupel Basile Clement
2022-12-10
BSD-3-Clause; LGPL-2.1-or-later
Used by 3 other packages