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
*
initial cut for translating exceptions
qadeer
2011-06-06
*
fixed calls to generic methods to add type argument appropriately
qadeer
2011-06-05
*
Further support for translating generics
qadeer
2011-06-04
*
fixed a bug in translation of generics
qadeer
2011-05-31
*
Merge
qadeer
2011-05-31
|
\
*
|
fixed a bug with array index translation
qadeer
2011-05-31
|
*
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
|
*
Don't translate method contracts until method information (parameter map, etc.)
Mike Barnett
2011-05-30
|
/
*
Handle more conversions.
Mike Barnett
2011-05-29
*
Fixed struct ctors so that they don't return the "this" value, but just
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
*
When translating the "thisArgument" of a method call, if it translates to an
Mike Barnett
2011-05-29
*
Fix translation for field dereference when the type of the field is a struct.
Mike Barnett
2011-05-28
*
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
*
Merge
Mike Barnett
2011-05-26
|
\
*
|
Beginning of representing structs as values on the heap, but without object
Mike Barnett
2011-05-26
|
*
merge
Sam Blackshear
2011-05-24
|
|
\
|
|
/
|
/
|
|
*
New example to demonstrate exception support that would be convenient for Boo...
Sam Blackshear
2011-05-24
*
|
Created an API so that a MetadataTraverser is used to translate a set of
Mike Barnett
2011-05-21
*
|
Merge
Mike Barnett
2011-05-19
|
\
\
*
|
|
Unify translation of arguments so the same code is used for IMethodCall and
Mike Barnett
2011-05-19
|
*
|
fixed the axiom about TypeOf
Unknown
2011-05-18
|
/
/
*
|
Fixed array construction
qadeer
2011-05-17
*
|
added another axiom
Unknown
2011-05-17
*
|
Merge
Mike Barnett
2011-05-17
|
\
\
*
|
|
If a method has been translated as a function, generate a function call and
Mike Barnett
2011-05-17
|
*
|
added spec for GetType
qadeer
2011-05-17
|
/
/
*
|
Fix command-line option processing.
Mike Barnett
2011-05-16
*
|
bug fixes
qadeer
2011-05-16
*
|
Fix break.
Mike Barnett
2011-05-16
*
|
new regression output
Mike Barnett
2011-05-16
|
\
\
*
|
|
merge
Mike Barnett
2011-05-16
*
|
|
Merge
Mike Barnett
2011-05-16
|
|
/
|
/
|
|
*
Add extern declarations to procedures.
Mike Barnett
2011-05-16
|
*
Mark procedures/functions as "extern" if they are defined in a different
Mike Barnett
2011-05-16
|
*
Merge
Mike Barnett
2011-05-12
|
|
\
|
|
/
|
/
|
|
*
Trying to fix the bound expression simplifier.
Mike Barnett
2011-05-12
*
|
added examples of generics and string support needed by Poirot
10shb
2011-05-12
*
|
first cut at handling generics
qadeer
2011-05-11
|
/
*
simplified the translation of assignments
qadeer
2011-05-10
*
Oops. Last checkin did not contain the changes for the catch clause change when
Mike Barnett
2011-05-10
*
Changed the way variables corresponding to events are created. If the compiler
Mike Barnett
2011-05-10
*
always translate enums as ints.
Mike Barnett
2011-05-09
*
More support for reals, especially real constants.
Mike Barnett
2011-05-08
*
Better error handling.
Mike Barnett
2011-05-08
*
Merge
Mike Barnett
2011-05-06
|
\
[next]