summaryrefslogtreecommitdiff
path: root/open_issues/formal_verification.mdwn
AgeCommit message (Collapse)Author
2015-02-18Revert "rename open_issues.mdwn to ↵Samuel Thibault
service_solahart_jakarta_selatan__082122541663.mdwn" This reverts commit 95878586ec7611791f4001a4ee17abf943fae3c1.
2015-02-16rename open_issues.mdwn to service_solahart_jakarta_selatan__082122541663.mdwnhttps://me.yahoo.com/a/g3Ccalpj0NhN566pHbUl6i9QF0QEkrhlfPM-#b1c14
2012-12-14open_issues/gcc: a1d48e100791bc67ff355e0931a604e767c827b7 (2012-12-10; ↵Thomas Schwinge
be3860ba8df48cca3253da4f02fd2d42d856ce80 (2012-12-10))
2011-04-27FOSS Factory: Some more tasks.Thomas Schwinge
2010-12-21Elaborate on DSLs, IDLs, code analysis, etc.Thomas Schwinge