summaryrefslogtreecommitdiff
path: root/BCT
Commit message (Expand)AuthorAge
* value attribute "\n" to "\\n"Gravatar qadeer2012-03-01
* adding attribute for string literalsGravatar qadeer2012-02-27
* added :first attribute to the first line directive corresponding to a source ...Gravatar qadeer2012-02-13
* Union is now based on axiomsGravatar qadeer2012-02-07
* fixed bug in model parsingGravatar qadeer2012-02-06
* MergeGravatar qadeer2012-02-06
|\
* | added inlining support for all implementations given the attribute {:inline 1}Gravatar qadeer2012-02-06
| * Automated merge with https://hg01.codeplex.com/boogieGravatar Mike Barnett2012-02-05
|/|
| * Separated the concepts of "boxing" (i.e., CLR boxing of a value type) fromGravatar Mike Barnett2012-02-05
* | added a dummy sourceLine attribute for delegate dispatchGravatar qadeer2012-01-31
* | added another projectGravatar qadeer2012-01-30
| * Automated merge with https://hg01.codeplex.com/boogieGravatar Mike Barnett2012-01-26
| |\
| | * Separate out the concepts of boxingGravatar Mike Barnett2012-01-26
* | | added another method that just throws an exceptionGravatar qadeer2012-01-24
|/ /
* / an optimization in dynamic dispatchGravatar qadeer2012-01-23
|/
* Mark the procedure translated from the module's entry pointGravatar Mike Barnett2012-01-15
* Make a copy of a struct value being passed to a methodGravatar Mike Barnett2012-01-10
* Fix call to struct copy ctor.Gravatar Mike Barnett2012-01-10
* Fixed struct copy constructor implementation.Gravatar Mike Barnett2012-01-10
* Change the copy constructor for struct types so that it returns the copyGravatar Mike Barnett2012-01-09
* Copy structs that are passed by value as method call arguments.Gravatar Mike Barnett2012-01-04
* For now, just ignore "address of" nodes and translate the expression of whichGravatar Mike Barnett2012-01-03
* new axioms for subtypingGravatar qadeer2011-12-31
* modeling multiset using generalized array theoryGravatar qadeer2011-12-30
* made delegate a datatypeGravatar qadeer2011-12-30
* problem fixed after CCI updateGravatar qadeer2011-12-30
* fixed problems with datatypesGravatar qadeer2011-12-29
* MergeGravatar qadeer2011-12-28
|\
* | deleted some commented codeGravatar qadeer2011-12-28
| * Add instrumentation for branches.Gravatar Mike Barnett2011-12-28
|/
* refactored AssertionInjector so that it works directly on bpl files as wellGravatar qadeer2011-12-26
* bug fix in houdini inlineDepthGravatar qadeer2011-12-06
* Fixed bug when getting last source context in a method body.Gravatar Mike Barnett2011-12-06
* Refactored translator so it can be called programmatically and return theGravatar Mike Barnett2011-11-21
* BCT: Initialize Boogie's command-line options object correctly before usingGravatar Mike Barnett2011-11-21
* commented calls to GC.Collect()Gravatar qadeer2011-11-18
* Translate AddressOf expressions correctly.Gravatar Mike Barnett2011-11-16
* Load all assemblies before doing anything else so that the unification forGravatar Mike Barnett2011-11-16
* For some reason, these didn't get into the last commit.Gravatar Mike Barnett2011-11-14
* Trying to get the generics translation correct...Gravatar Mike Barnett2011-11-14
* moved the addition of selectors and testers to program.ResolveGravatar qadeer2011-11-11
* Many, many bug fixes related to generics and some other random problems.Gravatar Mike Barnett2011-11-10
* change in model parsing with datatype valuesGravatar qadeer2011-11-07
* Don't wipe out existing attributes when adding {:extern}Gravatar Mike Barnett2011-11-01
* Major changes to the translator traversers because they now are based on theGravatar Mike Barnett2011-10-31
* Fixed the generation of names for datatype functions to use the API forGravatar Mike Barnett2011-10-31
* Don't let /s be specified for stub files. (But keep the old code in case weGravatar Mike Barnett2011-10-23
* Fixed two bugs related to structs: now a struct that is declared without anGravatar Mike Barnett2011-09-01
* more string manglingGravatar qadeer2011-08-31
* delegates/events implemented as multisets rather than linked listsGravatar qadeer2011-08-30