index
NameDescriptionOwnerIdleLinks
kalenderKalenderdateien mit Feiertagendenis.lohner@kit.edu4 monthssummarylogtree
InvasIC
bdwgcBoehm garbage collector fork with OctoPOS patchesmanuel.mohr@kit.edu6 yearssummarylogtree
x10firm-testsuiteTestsuite for x10 firm backendmanuel.mohr@kit.edu14 monthssummarylogtree
Isabelle
FormalSSAVerified Construction of Static Single Assignment formdenis.lohner@kit.edu3 yearssummarylogtree
GraphsGraph framework for Isabelle/HOLdenis.lohner@kit.edu3 yearssummarylogtree
Java2Jinjaconversion tool from Java to Jinja programsandreas.lochbihler@kit.edu7 yearssummarylogtree
LSODFormalisierung von LSOD (Hiwi, Jonathan Simantzik)denis.lohner@kit.edu10 monthssummarylogtree
SlicingSlicing Framework4 yearssummarylogtree
TINIFormalisierung von TINI (Hiwi, Jonathan Simantzik)uocvi@student.kit.edu2 yearssummarylogtree
libFirm Project
cparsera C99-Frontendmatthias.braun@kit.edu3 dayssummarylogtree
firm-buildbuild system for libFirm+dependent packagesmatthias.braun@kit.edu6 yearssummarylogtree
firm-testsuiteThe test suite for libfirm and cparserandreas.fried@kit.edu2 weekssummarylogtree
firm2cFirm C backendmatthias.braun@kit.edu7 yearssummarylogtree
forgetesting cparser/libfirm with random programs (csmith required)zwinkau@kit.edu3 yearssummarylogtree
jFirmJava bindings for libfirmandreas.fried@kit.edu2 monthssummarylogtree
libfirmGraph-Based Intermediate Representationmatthias.braun@kit.edu26 hourssummarylogtree
spec-makefilesSimple Makefiles for SPEC2000 testcasesmatthias.braun@kit.edu14 monthssummarylogtree
yCompA graph visualisation tool for compilersmatthias.braun@kit.edu5 yearssummarylogtree