index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
BCT
Commit message (
Expand
)
Author
Age
*
Fix stub support (still not completely finished).
Unknown
2011-04-12
*
More support for stubs. Ability to add functions as well as procedures.
mikebarnett
2011-04-04
*
Added a translation for typeof expressions.
mikebarnett
2011-03-09
*
Can now translate multiple assemblies into one Boogie Program.
mikebarnett
2011-03-08
*
Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead ...
mikebarnett
2011-03-06
*
Added support for stub methods. If a method definition is marked with a custo...
mikebarnett
2011-03-06
*
In the Sink, keep track of any procedures defined in the initial program (whi...
mikebarnett
2011-03-06
*
Changes needed to translate both contracts and method bodies. The Statement a...
mikebarnett
2011-03-05
*
changes for dealing with delegates
qadeer
2011-03-05
*
Fix translation of "new" so that a procedure is generated (if needed) for the...
mikebarnett
2011-03-03
*
Made it unnecessary to set the types on the Boogie ASTs as we create them.
mikebarnett
2011-03-03
*
Create a static constructor only for types that don't already define one.
mikebarnett
2011-03-02
*
put the call to CreateStaticConstructor back in
qadeer
2011-03-02
*
some fixes
qadeer
2011-03-02
*
Fix null-equivalent initialization of fields so that instance fields are init...
mikebarnett
2011-03-02
*
fixes for splitFields option
qadeer
2011-03-02
*
Use the Sink's API for creating a procedure for the Invoke method of a delegate.
mikebarnett
2011-03-01
*
Fixed many bugs.
mikebarnett
2011-03-01
*
Fixed dynamic dispatch so the most derived override is called for each subtype.
mikebarnett
2011-02-25
*
two bug fixes
qadeer
2011-02-25
*
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
*
Changed calls to Debug.Assert to Contract.Assert.
mikebarnett
2011-02-24
*
Fix build by adding missing project.
mikebarnett
2011-02-23
*
Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...
mikebarnett
2011-02-11
*
If a method definition has any custom attributes, translate them into BPL att...
mikebarnett
2011-02-09
*
Added support for translating delegates
qadeer
2011-02-08
*
Fix the generation of procedure names so that array types are encoded properly.
mikebarnett
2011-01-26
*
Make the general heap representation the default.
mikebarnett
2011-01-22
*
Added the heap representation I was supposed to have started with... A genera...
mikebarnett
2011-01-21
*
Forgot to add file with last checkin.
mikebarnett
2011-01-21
*
Added a better options parsing by using functionality from MemberHelper.
mikebarnett
2011-01-21
*
Fix order of getting the instance and the field from the expression heap so t...
mikebarnett
2011-01-21
*
Put back the prelude for the split fields heap that had been there before.
mikebarnett
2011-01-21
*
Use the interned key of field references, now that they have one.
mikebarnett
2011-01-21
*
Added a test for the split fields option.
mikebarnett
2011-01-20
*
Renamed outside of SVN, so added the renamed file and deleting this.
mikebarnett
2011-01-20
*
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
*
Removed HeapVariable from everywhere now that it is encapsulated in the Heap ...
mikebarnett
2011-01-19
*
Removing resolution: there's no need to resolve field references in order to ...
mikebarnett
2011-01-18
*
The beginning of the encapsulation of the Heap representation so that we can ...
mikebarnett
2011-01-17
*
Fix translation of "null" so that it produces a type-correct value.
mikebarnett
2011-01-16
*
1. Converted assume to assert for the source info
qadeer
2010-12-21
*
Changed attribute names in the BPL for source context assumption statements.
mikebarnett
2010-12-21
*
Use an explicit PdbReader instead of the more general ISourceLocationProvider...
mikebarnett
2010-12-21
*
added support for array translation.
qadeer
2010-12-20
*
Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...
mikebarnett
2010-12-20
*
Translate boolean types into Bpl.Type.Bool.
mikebarnett
2010-12-20
*
Added Alloc implementation to the Prelude
qadeer
2010-12-15
[next]