| Commit message (Expand) | Author | Age |
* | Translate IConditional exactly the same way as IConditionalStatement to accou... | qadeer | 2011-06-20 |
* | whole bunch of bug fixes | qadeer | 2011-06-20 |
* | Merge | qadeer | 2011-06-17 |
|\ |
|
* | | changes for handling conversions | qadeer | 2011-06-17 |
| * | removed division hadling from CLRsemantics | Unknown | 2011-06-16 |
|/ |
|
* | refactored the prelude, added thread_local attribute to $Exception variable | qadeer | 2011-06-14 |
* | various bug fixes related to running bct on phone apps | qadeer | 2011-06-12 |
* | changes related to fixing problems with finally translation | qadeer | 2011-06-12 |
* | Merge | qadeer | 2011-06-10 |
|\ |
|
* | | bunch of changes related to finally handling | qadeer | 2011-06-10 |
| * | solved | Unknown | 2011-06-09 |
|/ |
|
* | using registerAsLatest directly to deal with multiple dll translation | Unknown | 2011-06-08 |
|\ |
|
* | | bug fixes | Unknown | 2011-06-08 |
| * | initial cut for translating exceptions | qadeer | 2011-06-06 |
|/ |
|
* | fixed calls to generic methods to add type argument appropriately | qadeer | 2011-06-05 |
* | Further support for translating generics | qadeer | 2011-06-04 |
* | fixed a bug in translation of generics | qadeer | 2011-05-31 |
* | Merge | qadeer | 2011-05-31 |
|\ |
|
* | | fixed a bug with array index translation | qadeer | 2011-05-31 |
| * | Fixed/improved the handling of conditional expressions. | Mike Barnett | 2011-05-31 |
| * | Added bitwise operations. | Mike Barnett | 2011-05-31 |
| * | 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 |
|/ |
|
* | Handle more conversions. | Mike Barnett | 2011-05-29 |
* | Fixed struct ctors so that they don't return the "this" value, but just | Mike Barnett | 2011-05-29 |
* | Fixes for a bunch of different bugs. Translate default value for doubles, | Mike Barnett | 2011-05-29 |
* | Removed the method DefaultValue from the sink: if a default value of a type | Mike Barnett | 2011-05-29 |
* | When translating the "thisArgument" of a method call, if it translates to an | Mike Barnett | 2011-05-29 |
* | Fix translation for field dereference when the type of the field is a struct. | Mike Barnett | 2011-05-28 |
* | Translate assignments to parameters that are of a struct type correctly. Note | Mike Barnett | 2011-05-28 |
* | 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 |
* | Unify translation of arguments so the same code is used for IMethodCall and | Mike Barnett | 2011-05-19 |
* | Fixed array construction | qadeer | 2011-05-17 |
* | If a method has been translated as a function, generate a function call and | Mike Barnett | 2011-05-17 |
* | Fix break. | Mike Barnett | 2011-05-16 |
* | merge | Mike Barnett | 2011-05-16 |
* | Merge | Mike Barnett | 2011-05-16 |
* | first cut at handling generics | qadeer | 2011-05-11 |
* | simplified the translation of assignments | qadeer | 2011-05-10 |
* | Changed the way variables corresponding to events are created. If the compiler | Mike Barnett | 2011-05-10 |
* | More support for reals, especially real constants. | Mike Barnett | 2011-05-08 |
* | Better error handling. | Mike Barnett | 2011-05-08 |
* | Cleanup of new LHS simplification and replaced the golden output with the | Mike Barnett | 2011-05-06 |
* | simplifying lhs of assignment statements. | Mike Barnett | 2011-05-05 |
* | Fixed lots of bugs having to do with casts, conversions, and address-of | Mike Barnett | 2011-05-03 |
* | Merge | Mike Barnett | 2011-05-03 |
|\ |
|
| * | Trying to fix "boxing", i.e., value type to ref conversions as done in the CLR. | Mike Barnett | 2011-05-03 |
* | | bug fixes related to handling of structs, arrays, and assignments | qadeer | 2011-05-02 |
|/ |
|