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
*
1. generating a separate dipatchcontinuation label for each trycatchfinally ...
qadeer
2011-07-04
*
bug fix in heap access for splitfield option
qadeer
2011-06-30
*
bug fix in translation of dispatch continuation
qadeer
2011-06-23
*
Translate IConditional exactly the same way as IConditionalStatement to accou...
qadeer
2011-06-20
*
whole bunch of bug fixes
qadeer
2011-06-20
*
Merge
qadeer
2011-06-17
|
\
*
|
changes for handling conversions
qadeer
2011-06-17
|
*
removed division hadling from CLRsemantics
Unknown
2011-06-16
|
/
*
Real2Int type error
Unknown
2011-06-15
*
refactored the prelude, added thread_local attribute to $Exception variable
qadeer
2011-06-14
*
various bug fixes related to running bct on phone apps
qadeer
2011-06-12
*
further changes
qadeer
2011-06-12
*
changes related to fixing problems with finally translation
qadeer
2011-06-12
*
Merge
qadeer
2011-06-10
|
\
*
|
bunch of changes related to finally handling
qadeer
2011-06-10
|
*
solved
Unknown
2011-06-09
|
/
*
using registerAsLatest directly to deal with multiple dll translation
Unknown
2011-06-08
|
\
*
|
bug fixes
Unknown
2011-06-08
|
*
bug fix in call to constructor of ProcedureInfo
qadeer
2011-06-08
|
*
beginning support for finally clauses
qadeer
2011-06-07
|
*
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
[next]