| Commit message (Expand) | Author | Age |
* | added translation for RightShift and LeftShift | Unknown | 2011-07-26 |
* | double definition fix | t-espave | 2011-07-22 |
* | Added subtyping axiomatization. | Mike Barnett | 2011-07-20 |
* | edited out phoneplugin from most places | Unknown | 2011-07-19 |
* | potentially useful boogie stubs, commented out since they may conflict with {... | Unknown | 2011-07-15 |
* | Beginning of encoding the subtype relation. | Mike Barnett | 2011-07-06 |
* | bug fix in heap access for splitfield option | qadeer | 2011-06-30 |
* | whole bunch of bug fixes | qadeer | 2011-06-20 |
* | Real2Int type error | Unknown | 2011-06-15 |
* | 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 |
* | Further support for translating generics | qadeer | 2011-06-04 |
* | Added bitwise operations. | Mike Barnett | 2011-05-31 |
* | Lots of small bug fixes: conversions, overloaded operations on real numbers. | Mike Barnett | 2011-05-31 |
* | Handle more conversions. | Mike Barnett | 2011-05-29 |
* | Fixes for a bunch of different bugs. Translate default value for doubles, | Mike Barnett | 2011-05-29 |
* | Beginning of representing structs as values on the heap, but without object | Mike Barnett | 2011-05-26 |
* | Fixed array construction | qadeer | 2011-05-17 |
* | first cut at handling generics | qadeer | 2011-05-11 |
* | More support for reals, especially real constants. | Mike Barnett | 2011-05-08 |
* | Better error handling. | Mike Barnett | 2011-05-08 |
* | 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 |
|/ |
|
* | Model newly constructed structs as a constant DefaultStruct that has axioms that | Unknown | 2011-04-27 |
* | fixing problems with struct translation | qadeer | 2011-04-27 |
* | 0. Deleted other heap representations except SplitField and General | qadeer | 2011-04-23 |
* | Fix stub support (still not completely finished). | Unknown | 2011-04-12 |
* | Made it unnecessary to set the types on the Boogie ASTs as we create them. | mikebarnett | 2011-03-03 |
* | fixes for splitFields option | qadeer | 2011-03-02 |
* | 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 |
* | Moved the parts of the Prelude that depend on the heap representation into th... | mikebarnett | 2011-01-20 |
* | More structuring of the different heap representations. Now each heap represe... | mikebarnett | 2011-01-19 |