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
*
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
|
\
*
|
Cleanup of new LHS simplification and replaced the golden output with the
Mike Barnett
2011-05-06
*
|
simplifying lhs of assignment statements.
Mike Barnett
2011-05-05
|
*
added a few more axioms
qadeer
2011-05-04
|
/
*
Uniquified constant names generated for string literals
qadeer
2011-05-03
*
Fixed lots of bugs having to do with casts, conversions, and address-of
Mike Barnett
2011-05-03
*
Merge
Mike Barnett
2011-05-03
|
\
|
*
Fix creation of valid identifiers for methods with multi-dimensional
Mike Barnett
2011-05-03
|
*
Trying to fix "boxing", i.e., value type to ref conversions as done in the CLR.
Mike Barnett
2011-05-03
*
|
bug fixes related to handling of structs, arrays, and assignments
qadeer
2011-05-02
|
/
*
The decompilation is not guaranteed to get rid of all push statements and pop
Mike Barnett
2011-04-29
*
fixed a bug in struct handling
qadeer
2011-04-28
*
Add a method to the Sink that is responsible for creating a Boogie expression
Unknown
2011-04-28
*
modeling struct creation by default value
Unknown
2011-04-27
|
\
|
*
Model newly constructed structs as a constant DefaultStruct that has axioms that
Unknown
2011-04-27
*
|
first check in
qadeer
2011-04-27
|
*
merge changes with shaz's checkin.
Unknown
2011-04-27
|
/
|
|
*
Trying to get structs supported.
Unknown
2011-04-27
[next]