aboutsummaryrefslogtreecommitdiff
path: root/open_issues/formal_verification.mdwn
Commit message (Expand)AuthorAgeFilesLines
* Revert "rename open_issues.mdwn to service_solahart_jakarta_selatan__08212254...Samuel Thibault2015-02-181-0/+33
* rename open_issues.mdwn to service_solahart_jakarta_selatan__082122541663.mdwnhttps://me.yahoo.com/a/g3Ccalpj0NhN566pHbUl6i9QF0QEkrhlfPM-#b1c142015-02-161-33/+0
* open_issues/gcc: a1d48e100791bc67ff355e0931a604e767c827b7 (2012-12-10; be3860...Thomas Schwinge2012-12-141-1/+4
* FOSS Factory: Some more tasks.Thomas Schwinge2011-04-271-1/+15
* Elaborate on DSLs, IDLs, code analysis, etc.Thomas Schwinge2010-12-211-0/+16