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
*
Make a copy of a struct value being passed to a method
Mike Barnett
2012-01-10
*
Fix call to struct copy ctor.
Mike Barnett
2012-01-10
*
Fixed struct copy constructor implementation.
Mike Barnett
2012-01-10
*
Change the copy constructor for struct types so that it returns the copy
Mike Barnett
2012-01-09
*
Copy structs that are passed by value as method call arguments.
Mike Barnett
2012-01-04
*
For now, just ignore "address of" nodes and translate the expression of which
Mike Barnett
2012-01-03
*
new axioms for subtyping
qadeer
2011-12-31
*
modeling multiset using generalized array theory
qadeer
2011-12-30
*
made delegate a datatype
qadeer
2011-12-30
*
problem fixed after CCI update
qadeer
2011-12-30
*
fixed problems with datatypes
qadeer
2011-12-29
*
Merge
qadeer
2011-12-28
|
\
*
|
deleted some commented code
qadeer
2011-12-28
|
*
Add instrumentation for branches.
Mike Barnett
2011-12-28
|
/
*
refactored AssertionInjector so that it works directly on bpl files as well
qadeer
2011-12-26
*
bug fix in houdini inlineDepth
qadeer
2011-12-06
*
Fixed bug when getting last source context in a method body.
Mike Barnett
2011-12-06
*
Refactored translator so it can be called programmatically and return the
Mike Barnett
2011-11-21
*
BCT: Initialize Boogie's command-line options object correctly before using
Mike Barnett
2011-11-21
*
commented calls to GC.Collect()
qadeer
2011-11-18
*
Translate AddressOf expressions correctly.
Mike Barnett
2011-11-16
*
Load all assemblies before doing anything else so that the unification for
Mike Barnett
2011-11-16
*
For some reason, these didn't get into the last commit.
Mike Barnett
2011-11-14
*
Trying to get the generics translation correct...
Mike Barnett
2011-11-14
*
moved the addition of selectors and testers to program.Resolve
qadeer
2011-11-11
*
Many, many bug fixes related to generics and some other random problems.
Mike Barnett
2011-11-10
*
change in model parsing with datatype values
qadeer
2011-11-07
*
Don't wipe out existing attributes when adding {:extern}
Mike Barnett
2011-11-01
*
Major changes to the translator traversers because they now are based on the
Mike Barnett
2011-10-31
*
Fixed the generation of names for datatype functions to use the API for
Mike Barnett
2011-10-31
*
Don't let /s be specified for stub files. (But keep the old code in case we
Mike Barnett
2011-10-23
*
Fixed two bugs related to structs: now a struct that is declared without an
Mike Barnett
2011-09-01
*
more string mangling
qadeer
2011-08-31
*
delegates/events implemented as multisets rather than linked lists
qadeer
2011-08-30
*
Merge
qadeer
2011-08-26
|
\
*
|
a small bug in GeneralHeap translation
qadeer
2011-08-26
|
*
(phone)data on results of analyses on market apps
t-espave
2011-08-26
*
|
Merge
qadeer
2011-08-26
|
\
|
*
|
some more string munging
qadeer
2011-08-26
|
*
(bct) removed ad-hoc string replacements, the problem is actually the encoding
t-espave
2011-08-25
*
|
fixed a bug: do not include the invoke procedure for thread delegates in the ...
qadeer
2011-08-25
*
|
fixed bug
qadeer
2011-08-23
|
/
*
(phone bct) boolean binding of control enabledness ignored (for now)
t-espave
2011-08-22
*
(phone bct) minor bugfixes found playing around with apps
t-espave
2011-08-19
*
continuned phone bct docs
t-espave
2011-08-19
*
fix in event translation for whole program analysis
qadeer
2011-08-17
*
Merge
qadeer
2011-08-17
|
\
*
|
added RealModulus
qadeer
2011-08-17
|
*
(phone) documentation
t-espave
2011-08-17
|
/
*
(bct) skeleton of plugin infrastructure. for now the code is essentially the ...
t-espave
2011-08-16
[next]