| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BCT.sln | 22989 | logplain |
| -rw-r--r-- | BCT.vsmdi | 515 | logplain |
| d--------- | BytecodeTranslator | 728 | logplain |
| -rw-r--r-- | Local.testsettings | 1863 | logplain |
| d--------- | PhoneControlsExtractor | 108 | logplain |
| d--------- | RegressionTests | 88 | logplain |
| d--------- | Samples | 144 | logplain |
| d--------- | Test | 339 | logplain |
| -rw-r--r-- | TraceAndTestImpact.testsettings | 2156 | logplain |
| d--------- | TranslationPlugins | 188 | logplain |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |