summaryrefslogtreecommitdiff
path: root/Util/VS2010/Boogie/BoogieLanguageService/Integration
ModeNameSize
-rw-r--r--AuthoringScope.cs2289logplain
-rw-r--r--Configuration.cs4349logplain
-rw-r--r--Declaration.cs751logplain
-rw-r--r--Declarations.cs1608logplain
-rw-r--r--IASTResolver.cs416logplain
-rw-r--r--IronyLanguageService.cs16368logplain
-rw-r--r--IronyViewFilter.cs1355logplain
-rw-r--r--LineScanner.cs2133logplain
-rw-r--r--Method.cs393logplain
-rw-r--r--Methods.cs1400logplain
-rw-r--r--Package.cs4329logplain
-rw-r--r--Resolver.cs1388logplain
-rw-r--r--Source.cs1273logplain