| Commit message (Expand) | Author | Age |
|---|
| * | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... |  Rustan Leino | 2013-03-05 |
| * | Add an option to model exceptional control flow or not. When it is false: |  Unknown | 2012-07-31 |
| * | Add options to control the emission of free ensures for | Unknown | 2012-04-16 |
| * | Removed expression simplifier (actually just commented | Unknown | 2012-04-15 |
| * | Fix a lot of the translation of "op=" expressions | Unknown | 2012-04-09 |
| * | Changed the BCT solution so it uses the CodePlex version of CCI (instead |  Mike Barnett | 2012-03-30 |
| * | Fix call to struct copy ctor. | Mike Barnett | 2012-01-10 |
| * | Fixed struct copy constructor implementation. | Mike Barnett | 2012-01-10 |
| * | Change the copy constructor for struct types so that it returns the copy | Mike Barnett | 2012-01-09 |
| * | Copy structs that are passed by value as method call arguments. | Mike Barnett | 2012-01-04 |
| * | For now, just ignore "address of" nodes and translate the expression of which | Mike Barnett | 2012-01-03 |
| * | Refactored translator so it can be called programmatically and return the | Mike Barnett | 2011-11-21 |
| * | BCT: Initialize Boogie's command-line options object correctly before using | Mike Barnett | 2011-11-21 |
| * | Translate AddressOf expressions correctly. | Mike Barnett | 2011-11-16 |
| * | Many, many bug fixes related to generics and some other random problems. | Mike Barnett | 2011-11-10 |
| * | Major changes to the translator traversers because they now are based on the | Mike Barnett | 2011-10-31 |
| * | Fixed two bugs related to structs: now a struct that is declared without an | Mike Barnett | 2011-09-01 |
| * | Made the split fields heap agree with the naming convention used for fields that | Mike Barnett | 2011-08-16 |
| * | Fixed problem where events in stubs were generating duplicate declarations. | Mike Barnett | 2011-08-11 |
| * | (BCT) BREAKING CHANGE | t-espave | 2011-08-11 |
| * | (phone bct) nav graph building (mostly) automated | t-espave | 2011-08-05 |
| * | Added new option /captureState (/c) for generating a capture state assumption | Mike Barnett | 2011-08-04 |
| * | Changed name mangling (again) to avoid name clashes. | Mike Barnett | 2011-08-04 |
| * | Increase the name mangling to avoid name clashes in the Boogie program. In IL, | Mike Barnett | 2011-08-03 |
| * | (phone bct) default URI checks inlined | t-espave | 2011-08-02 |
| * | Fix in the assertion injector for putting the output on top of the input | Mike Barnett | 2011-08-01 |
| * | Merge | Mike Barnett | 2011-07-27 |
| |\ |
|
| * | | Implemented a whitelist/blacklist so translator can ignore certain parts of an | Mike Barnett | 2011-07-27 |
| | * | fixed right/left shift functions decl | t-espave | 2011-07-27 |
| |/ |
|
| * | Updated regressions. | Mike Barnett | 2011-07-27 |
| * | adding checks and code injection for phone feedback checking | t-espave | 2011-07-25 |
| * | Added subtyping axiomatization. | Mike Barnett | 2011-07-20 |
| * | Add a translation for switch statements. | Mike Barnett | 2011-07-14 |
| * | phone control exploration for BCT, not integrated yet |  Unknown | 2011-07-07 |
| * | Updated regression output. | Mike Barnett | 2011-07-06 |
| * | Updated regression output. | Mike Barnett | 2011-07-06 |
| * | 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 |
| * | 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 |
| * | Removed the method DefaultValue from the sink: if a default value of a type | Mike Barnett | 2011-05-29 |
| * | 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 |
| * | Add extern declarations to procedures. | Mike Barnett | 2011-05-16 |
| * | Trying to fix the bound expression simplifier. | Mike Barnett | 2011-05-12 |
| * | Cleanup of new LHS simplification and replaced the golden output with the | Mike Barnett | 2011-05-06 |
Rustan Leino
Unknown
Mike Barnett
Unknown