Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Moved the parts of the Prelude that depend on the heap representation into th... | 2011-01-20 | |
* | Fix translation of "null" so that it produces a type-correct value. | 2011-01-16 | |
* | added support for array translation. | 2010-12-20 | |
* | Added Alloc implementation to the Prelude | 2010-12-15 | |
* | Added a new option for splitting fields | 2010-12-15 | |
* | changed the prelude to use only the int type and eliminated bunch of axioms n... | 2010-12-14 | |
* | Translate object creation expressions. | 2010-12-14 | |
* | Added the factory pattern so that all traversers are created through factory ... | 2010-06-16 | |
* | Updated the project to .NET v4.0. | 2010-06-06 | |
* | BCT: Added prelude. Started test1 as a test of verification. | 2010-05-12 |