summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Chalice: Added a script gathering all files necessary and/or of interest for ...Gravatar mschwerhoff2011-08-18
* MergeGravatar mschwerhoff2011-08-16
|\
| * Better message when an error happens.Gravatar Mike Barnett2011-08-15
| * cleaning up & refactorGravatar t-espave2011-08-15
* | Chalice: Changed tests/runalltests.bat such that additional parameters can be...Gravatar mschwerhoff2011-08-15
|/
* Jennisys:Gravatar Aleksandar Milicevic2011-08-14
* Jennisys: added some more infrastructure for synthesizing read only methods, soGravatar Aleksandar Milicevic2011-08-13
* MergeGravatar Aleksandar Milicevic2011-08-12
|\
* | Jennisys:Gravatar Aleksandar Milicevic2011-08-12
| * workaround corral bug (cannot handle parallel assignments)Gravatar qadeer2011-08-12
| * MergeGravatar qadeer2011-08-12
| |\
| * | various fixes to deal with bug in generic delegatesGravatar qadeer2011-08-12
| | * Chalice: Disallow credit expressions in the specification of functions.Gravatar stefanheule2011-08-12
| * | MergeGravatar qadeer2011-08-11
| |\ \
| * | | fixes for bug with generic delegatesGravatar qadeer2011-08-11
| | | * Dafny: Fixed a bug in the printer that led to a stack overflow.Gravatar wuestholz2011-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
| | |/
| | * MergeGravatar t-espave2011-08-11
| | |\
| | * | (BCT) BREAKING CHANGEGravatar t-espave2011-08-11
| | | * Boogie build succeededGravatar CodeplexBot2011-08-11
| |_|/ |/| |
* | | MergeGravatar Aleksandar Milicevic2011-08-10
|\| |
* | | Jennisys: started to work on synthesizing some methods. So far, onlyGravatar Aleksandar Milicevic2011-08-10
| | * (phone) fixed issues with anonymous xaml declarations.Gravatar t-espave2011-08-10
| |/
| * MergeGravatar t-espave2011-08-10
| |\
| * | (phone) back key handling via delegate detectedGravatar t-espave2011-08-10
| | * Added "procedure-copy bounding" for lazy inliningGravatar Unknown2011-08-10
| | * MergeGravatar qadeer2011-08-10
| | |\ | | |/ | |/|
| * | (phone) slicing to avoid self loopsGravatar t-espave2011-08-09
| | * MergeGravatar qadeer2011-08-09
| | |\
| | * | further updates to bit vector analysisGravatar qadeer2011-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 qadeer2011-08-09
| | |\ | | |/ | |/|
| | * more changes to bitvector analysisGravatar qadeer2011-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
| * MergeGravatar qadeer2011-08-08
| |\ | |/ |/|
| * various changes to boogie for bitvector analysis and bctproviderGravatar qadeer2011-08-08
* | Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"Gravatar Mike Barnett2011-08-06
|/
* fixed a bug in delegate dispatcher name for generic invoke methodsGravatar qadeer2011-08-05
* further updates to bctproviderGravatar qadeer2011-08-05
* (phone bct) nav graph building (mostly) automatedGravatar t-espave2011-08-05
* (phone bct) nav graph building (mostly) automatedGravatar t-espave2011-08-05
* MergeGravatar Aleksandar Milicevic2011-08-05
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-24 09:29:48 +0000