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
*
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
*
(phone) fixed problem with unknown type anonymous controls
t-espave
2011-08-16
*
Merge
t-espave
2011-08-16
|
\
*
|
saving navigation bad smells report
t-espave
2011-08-16
|
*
Made the split fields heap agree with the naming convention used for fields that
Mike Barnett
2011-08-16
*
|
(BCT) starting translators-as-plugins impl
t-espave
2011-08-15
|
/
*
Better message when an error happens.
Mike Barnett
2011-08-15
*
cleaning up & refactor
t-espave
2011-08-15
*
workaround corral bug (cannot handle parallel assignments)
qadeer
2011-08-12
*
various fixes to deal with bug in generic delegates
qadeer
2011-08-12
*
Merge
qadeer
2011-08-11
|
\
*
|
fixes for bug with generic delegates
qadeer
2011-08-11
|
*
Merge
t-espave
2011-08-11
|
|
\
|
*
|
(phone) cancel/navigation on back key is now deep through calls. More info re...
t-espave
2011-08-11
|
|
*
Fixed problem where events in stubs were generating duplicate declarations.
Mike Barnett
2011-08-11
|
|
*
Added references to the AssertionInjector project so it can build again.
Mike Barnett
2011-08-11
|
|
/
|
*
(BCT) BREAKING CHANGE
t-espave
2011-08-11
|
*
(phone) fixed issues with anonymous xaml declarations.
t-espave
2011-08-10
|
/
*
(phone) back key handling via delegate detected
t-espave
2011-08-10
*
(phone) slicing to avoid self loops
t-espave
2011-08-09
*
phone nav building stats
t-espave
2011-08-09
*
phone nav building "doc"
t-espave
2011-08-09
*
(phone) fully automated phone nav graph building
t-espave
2011-08-09
[next]