summaryrefslogtreecommitdiff
path: root/open_issues/formal_verification.mdwn
AgeCommit message (Expand)Author
2012-12-14open_issues/gcc: a1d48e100791bc67ff355e0931a604e767c827b7 (2012-12-10; be3860...Thomas Schwinge
2011-04-27FOSS Factory: Some more tasks.Thomas Schwinge
2010-12-21Elaborate on DSLs, IDLs, code analysis, etc.Thomas Schwinge