2 Search Results
cil
A front-end for the C programming language that facilitates program analysis and transformation
1.7.3
Used by 1 other packages
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
1.8.2
BSD-3-Clause
Used by 1 other packages