summaryrefslogtreecommitdiff
path: root/Util/VS2010/Boogie/BoogieLanguageService/Integration
ModeNameSize
-rw-r--r--AuthoringScope.cs2224logplain
-rw-r--r--Configuration.cs4234logplain
-rw-r--r--Declaration.cs722logplain
-rw-r--r--Declarations.cs1553logplain
-rw-r--r--IASTResolver.cs404logplain
-rw-r--r--IronyLanguageService.cs16025logplain
-rw-r--r--IronyViewFilter.cs1313logplain
-rw-r--r--LineScanner.cs2075logplain
-rw-r--r--Method.cs374logplain
-rw-r--r--Methods.cs1351logplain
-rw-r--r--Package.cs4200logplain
-rw-r--r--Resolver.cs1338logplain
-rw-r--r--Source.cs1233logplain