SMTGCCa project by fkastl Project DescriptionThere's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help. |
Tungsten: A low-level LLVM programming languagea project by mfriedrich Project Description> Tungsten is supposed to be a memory-safe and type-safe language front-end for LLVM which borrows many elements from C and C# syntax. |