| Commit message (Expand) | Author | Age |
|---|
| * | Lots of small bug fixes: conversions, overloaded operations on real numbers. |  Mike Barnett | 2011-05-31 |
| * | Don't translate method contracts until method information (parameter map, etc.) | Mike Barnett | 2011-05-30 |
| * | Fixed struct ctors so that they don't return the "this" value, but just | Mike Barnett | 2011-05-29 |
| * | Removed the method DefaultValue from the sink: if a default value of a type | Mike Barnett | 2011-05-29 |
| * | Translate assignments of structs as a call to a (default) copy constructor | Mike Barnett | 2011-05-27 |
| * | Beginning of representing structs as values on the heap, but without object | Mike Barnett | 2011-05-26 |
| * | Created an API so that a MetadataTraverser is used to translate a set of | Mike Barnett | 2011-05-21 |
| * | If a method has been translated as a function, generate a function call and | Mike Barnett | 2011-05-17 |
| * | Merge | Mike Barnett | 2011-05-16 |
| * | first cut at handling generics |  qadeer | 2011-05-11 |
| * | Oops. Last checkin did not contain the changes for the catch clause change when | Mike Barnett | 2011-05-10 |
| * | Better error handling. | Mike Barnett | 2011-05-08 |
| * | bug fixes related to handling of structs, arrays, and assignments | qadeer | 2011-05-02 |
| * | Add a method to the Sink that is responsible for creating a Boogie expression |  Unknown | 2011-04-28 |
| * | Model newly constructed structs as a constant DefaultStruct that has axioms that | Unknown | 2011-04-27 |
| * | Trying to get structs supported. | Unknown | 2011-04-27 |
| * | 0. Deleted other heap representations except SplitField and General | qadeer | 2011-04-23 |
| * | in the middle of trying to implement structs | qadeer | 2011-04-22 |
| * | Fix stub support (still not completely finished). | Unknown | 2011-04-12 |
| * | More support for stubs. Ability to add functions as well as procedures. |  mikebarnett | 2011-04-04 |
| * | Can now translate multiple assemblies into one Boogie Program. | mikebarnett | 2011-03-08 |
| * | Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead ... | mikebarnett | 2011-03-06 |
| * | In the Sink, keep track of any procedures defined in the initial program (whi... | mikebarnett | 2011-03-06 |
| * | changes for dealing with delegates | qadeer | 2011-03-05 |
| * | Made it unnecessary to set the types on the Boogie ASTs as we create them. | mikebarnett | 2011-03-03 |
| * | Create a static constructor only for types that don't already define one. | mikebarnett | 2011-03-02 |
| * | put the call to CreateStaticConstructor back in | qadeer | 2011-03-02 |
| * | some fixes | qadeer | 2011-03-02 |
| * | Fix null-equivalent initialization of fields so that instance fields are init... | mikebarnett | 2011-03-02 |
| * | Use the Sink's API for creating a procedure for the Invoke method of a delegate. | mikebarnett | 2011-03-01 |
| * | Fixed many bugs. | mikebarnett | 2011-03-01 |
| * | two bug fixes | qadeer | 2011-02-25 |
| * | implemented delegates and events | qadeer | 2011-02-25 |
| * | Added a new type, Type, that represents runtime types. The Heap interface now... | mikebarnett | 2011-02-24 |
| * | Changed calls to Debug.Assert to Contract.Assert. | mikebarnett | 2011-02-24 |
| * | Moved the creation of Boogie procedures from the MetadataTraverser to the Sin... | mikebarnett | 2011-02-11 |
| * | If a method definition has any custom attributes, translate them into BPL att... | mikebarnett | 2011-02-09 |
| * | Added support for translating delegates | qadeer | 2011-02-08 |
| * | Make the general heap representation the default. | mikebarnett | 2011-01-22 |
| * | Use an explicit PdbReader instead of the more general ISourceLocationProvider... | mikebarnett | 2010-12-21 |
| * | Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat... | mikebarnett | 2010-12-20 |
| * | Translate boolean types into Bpl.Type.Bool. | mikebarnett | 2010-12-20 |
| * | Fixed declaration of procedures from static methods so that they don't have t... | mikebarnett | 2010-12-14 |
| * | Fixed field update and field dereference. | mikebarnett | 2010-12-09 |
| * | General hygiene: introduced (fixed) a helper method that creates Boogie token... | mikebarnett | 2010-07-05 |
| * | Cleaned up the sink: removed the OutVars, which was state the sink needed onl... | mikebarnett | 2010-07-05 |
| * | Introduction of the Sink: a global object that is threaded through all of the... | mikebarnett | 2010-07-02 |
| * | Forgotten file. | mikebarnett | 2010-06-30 |
Mike Barnett
qadeer
Unknown
mikebarnett