| Commit message (Expand) | Author | Age |
* | value attribute "\n" to "\\n" | qadeer | 2012-03-01 |
* | adding attribute for string literals | qadeer | 2012-02-27 |
* | added :first attribute to the first line directive corresponding to a source ... | qadeer | 2012-02-13 |
* | Union is now based on axioms | qadeer | 2012-02-07 |
* | fixed bug in model parsing | qadeer | 2012-02-06 |
* | Merge | qadeer | 2012-02-06 |
|\ |
|
* | | added inlining support for all implementations given the attribute {:inline 1} | qadeer | 2012-02-06 |
| * | Automated merge with https://hg01.codeplex.com/boogie | Mike Barnett | 2012-02-05 |
|/| |
|
| * | Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from | Mike Barnett | 2012-02-05 |
* | | added a dummy sourceLine attribute for delegate dispatch | qadeer | 2012-01-31 |
* | | added another project | qadeer | 2012-01-30 |
| * | Automated merge with https://hg01.codeplex.com/boogie | Mike Barnett | 2012-01-26 |
| |\ |
|
| | * | Separate out the concepts of boxing | Mike Barnett | 2012-01-26 |
* | | | added another method that just throws an exception | qadeer | 2012-01-24 |
|/ / |
|
* / | an optimization in dynamic dispatch | qadeer | 2012-01-23 |
|/ |
|
* | Mark the procedure translated from the module's entry point | Mike Barnett | 2012-01-15 |
* | Make a copy of a struct value being passed to a method | Mike Barnett | 2012-01-10 |
* | 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 |
* | new axioms for subtyping | qadeer | 2011-12-31 |
* | modeling multiset using generalized array theory | qadeer | 2011-12-30 |
* | made delegate a datatype | qadeer | 2011-12-30 |
* | problem fixed after CCI update | qadeer | 2011-12-30 |
* | fixed problems with datatypes | qadeer | 2011-12-29 |
* | Merge | qadeer | 2011-12-28 |
|\ |
|
* | | deleted some commented code | qadeer | 2011-12-28 |
| * | Add instrumentation for branches. | Mike Barnett | 2011-12-28 |
|/ |
|
* | refactored AssertionInjector so that it works directly on bpl files as well | qadeer | 2011-12-26 |
* | bug fix in houdini inlineDepth | qadeer | 2011-12-06 |
* | Fixed bug when getting last source context in a method body. | Mike Barnett | 2011-12-06 |
* | 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 |
* | commented calls to GC.Collect() | qadeer | 2011-11-18 |
* | Translate AddressOf expressions correctly. | Mike Barnett | 2011-11-16 |
* | Load all assemblies before doing anything else so that the unification for | Mike Barnett | 2011-11-16 |
* | For some reason, these didn't get into the last commit. | Mike Barnett | 2011-11-14 |
* | Trying to get the generics translation correct... | Mike Barnett | 2011-11-14 |
* | moved the addition of selectors and testers to program.Resolve | qadeer | 2011-11-11 |
* | Many, many bug fixes related to generics and some other random problems. | Mike Barnett | 2011-11-10 |
* | change in model parsing with datatype values | qadeer | 2011-11-07 |
* | Don't wipe out existing attributes when adding {:extern} | Mike Barnett | 2011-11-01 |
* | Major changes to the translator traversers because they now are based on the | Mike Barnett | 2011-10-31 |
* | Fixed the generation of names for datatype functions to use the API for | Mike Barnett | 2011-10-31 |
* | Don't let /s be specified for stub files. (But keep the old code in case we | Mike Barnett | 2011-10-23 |
* | Fixed two bugs related to structs: now a struct that is declared without an | Mike Barnett | 2011-09-01 |
* | more string mangling | qadeer | 2011-08-31 |
* | delegates/events implemented as multisets rather than linked lists | qadeer | 2011-08-30 |