summaryrefslogtreecommitdiff
path: root/BCT
Commit message (Expand)AuthorAge
* change in model parsing with datatype valuesGravatar qadeer2011-11-07
* Don't wipe out existing attributes when adding {:extern}Gravatar Mike Barnett2011-11-01
* Major changes to the translator traversers because they now are based on theGravatar Mike Barnett2011-10-31
* Fixed the generation of names for datatype functions to use the API forGravatar Mike Barnett2011-10-31
* Don't let /s be specified for stub files. (But keep the old code in case weGravatar Mike Barnett2011-10-23
* Fixed two bugs related to structs: now a struct that is declared without anGravatar Mike Barnett2011-09-01
* more string manglingGravatar qadeer2011-08-31
* delegates/events implemented as multisets rather than linked listsGravatar qadeer2011-08-30
* MergeGravatar qadeer2011-08-26
|\
* | a small bug in GeneralHeap translationGravatar qadeer2011-08-26
| * (phone)data on results of analyses on market appsGravatar t-espave2011-08-26
* | MergeGravatar qadeer2011-08-26
|\|
* | some more string mungingGravatar qadeer2011-08-26
| * (bct) removed ad-hoc string replacements, the problem is actually the encodingGravatar t-espave2011-08-25
* | fixed a bug: do not include the invoke procedure for thread delegates in the ...Gravatar qadeer2011-08-25
* | fixed bugGravatar qadeer2011-08-23
|/
* (phone bct) boolean binding of control enabledness ignored (for now)Gravatar t-espave2011-08-22
* (phone bct) minor bugfixes found playing around with appsGravatar t-espave2011-08-19
* continuned phone bct docsGravatar t-espave2011-08-19
* fix in event translation for whole program analysisGravatar qadeer2011-08-17
* MergeGravatar qadeer2011-08-17
|\
* | added RealModulusGravatar qadeer2011-08-17
| * (phone) documentationGravatar t-espave2011-08-17
|/
* (bct) skeleton of plugin infrastructure. for now the code is essentially the ...Gravatar t-espave2011-08-16
* (phone) fixed problem with unknown type anonymous controlsGravatar t-espave2011-08-16
* MergeGravatar t-espave2011-08-16
|\
* | saving navigation bad smells reportGravatar t-espave2011-08-16
| * Made the split fields heap agree with the naming convention used for fields thatGravatar Mike Barnett2011-08-16
* | (BCT) starting translators-as-plugins implGravatar t-espave2011-08-15
|/
* Better message when an error happens.Gravatar Mike Barnett2011-08-15
* cleaning up & refactorGravatar t-espave2011-08-15
* workaround corral bug (cannot handle parallel assignments)Gravatar qadeer2011-08-12
* various fixes to deal with bug in generic delegatesGravatar qadeer2011-08-12
* MergeGravatar qadeer2011-08-11
|\
* | fixes for bug with generic delegatesGravatar qadeer2011-08-11
| * MergeGravatar t-espave2011-08-11
| |\
| * | (phone) cancel/navigation on back key is now deep through calls. More info re...Gravatar t-espave2011-08-11
| | * Fixed problem where events in stubs were generating duplicate declarations.Gravatar Mike Barnett2011-08-11
| | * Added references to the AssertionInjector project so it can build again.Gravatar Mike Barnett2011-08-11
| |/
| * (BCT) BREAKING CHANGEGravatar t-espave2011-08-11
| * (phone) fixed issues with anonymous xaml declarations.Gravatar t-espave2011-08-10
|/
* (phone) back key handling via delegate detectedGravatar t-espave2011-08-10
* (phone) slicing to avoid self loopsGravatar t-espave2011-08-09
* phone nav building statsGravatar t-espave2011-08-09
* phone nav building "doc"Gravatar t-espave2011-08-09
* (phone) fully automated phone nav graph buildingGravatar t-espave2011-08-09
* MergeGravatar t-espave2011-08-08
|\
* | (phone bct) filtering out nonpages for boogie queries, faster but maybe a les...Gravatar t-espave2011-08-08
| * another bug fix in bctGravatar qadeer2011-08-08
| * added a new file and fixed a bug in bctGravatar qadeer2011-08-08
|/