summaryrefslogtreecommitdiff
path: root/dsl.mdwn
AgeCommit message (Expand)Author
2015-02-18Revert "update for rename of open_issues/formal_verification.mdwn to service_...Samuel Thibault
2015-02-16update for rename of open_issues/formal_verification.mdwn to service_solahart...https://me.yahoo.com/a/g3Ccalpj0NhN566pHbUl6i9QF0QEkrhlfPM-#b1c14
2010-12-21Elaborate on DSLs, IDLs, code analysis, etc.Thomas Schwinge