| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BCT.sln | 66838 | logplain |
| -rw-r--r-- | BCT.vsmdi | 515 | logplain |
| d--------- | BytecodeTranslator | 821 | logplain |
| d--------- | GetMeHere / AssertionInjector | 44 | logplain |
| -rw-r--r-- | Local.testsettings | 1863 | logplain |
| d--------- | PhoneControlsExtractor | 319 | 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 |