index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Add functions generated in lambda-expansion of function body to top-level pro...
MichalMoskal
2010-12-17
*
Chalice: this fixes a bug (an unsoundness) that arose in when a program combi...
mueller
2010-12-16
*
A couple of bug fixes
akashlal
2010-12-16
*
fixed a couple of issues:
qadeer
2010-12-16
*
Better handling of user provided skolem variables
MichalMoskal
2010-12-16
*
Search in long names, not the short ones
MichalMoskal
2010-12-16
*
Added Alloc implementation to the Prelude
qadeer
2010-12-15
*
Cleanup up the inlining code
qadeer
2010-12-15
*
Added a new option for splitting fields
qadeer
2010-12-15
*
Changed the behavior of /doModSetAnalysis so that
qadeer
2010-12-15
*
Display ghost locals
MichalMoskal
2010-12-15
*
Add reload-model option. Bugfixes when switching models
MichalMoskal
2010-12-15
*
Include one more expert level (this need to be rethought I guess).
MichalMoskal
2010-12-14
*
Add information about field being volatile
MichalMoskal
2010-12-14
*
Support arrays and & pseudo-field
MichalMoskal
2010-12-14
*
Add Func.OptEval function and some docs
MichalMoskal
2010-12-14
*
Fixed declaration of procedures from static methods so that they don't have t...
mikebarnett
2010-12-14
*
changed the prelude to use only the int type and eliminated bunch of axioms n...
qadeer
2010-12-14
*
Translate calls to static methods.
mikebarnett
2010-12-14
*
Add freshly-allocated object as argument to ctors.
mikebarnett
2010-12-14
*
Translate object creation expressions.
mikebarnett
2010-12-14
*
stratified inlining: minor changes to coverage reporter
akashlal
2010-12-13
*
Rework the namer interface a bit
MichalMoskal
2010-12-10
*
Improve type detection
MichalMoskal
2010-12-10
*
Yet another icon update
MichalMoskal
2010-12-10
*
Fix typo
MichalMoskal
2010-12-10
*
Improve the icon
MichalMoskal
2010-12-10
*
Add an icon. Get rid of SearchBox (not used).
MichalMoskal
2010-12-10
*
Dafny: Added Test/dafny1/PriorityQueue.dfy
rustanleino
2010-12-10
*
Boogie: Did some minor refactoring.
wuestholz
2010-12-10
*
Display Skolem constants (no functions yet)
MichalMoskal
2010-12-10
*
Allow for model selection if there are multiple in the file
MichalMoskal
2010-12-10
*
Use a made-up name when Context.Lookup() cannot find a name
MichalMoskal
2010-12-10
*
Don't crash in Context.Lookup when the namer has never seen the name. This ha...
MichalMoskal
2010-12-10
*
More BCT ignores
MichalMoskal
2010-12-10
*
Add ToString() overrides to help in debugging
MichalMoskal
2010-12-10
*
Ignore some BCT files
MichalMoskal
2010-12-10
*
Add a reference to ParserHelper.dll for the definition of IToken which was mo...
mikebarnett
2010-12-09
*
Fixed field update and field dereference.
mikebarnett
2010-12-09
*
Adapt to new APIs in CCI.
mikebarnett
2010-12-08
*
Rename BVD binary to (suprise!) BVD
MichalMoskal
2010-12-08
*
stratified inlining: added option of turning off CheckAssumptions
akashlal
2010-12-07
*
z3api: Bug fix with timeout. Use CheckAssumptions.
akashlal
2010-12-07
*
Remove FSharp DLLs (no longer needed) and obsolete Makefile
MichalMoskal
2010-12-06
*
Remove the checked in Microsoft.Contracts
MichalMoskal
2010-12-06
*
Move CCE to 4.0
MichalMoskal
2010-12-06
*
Ignore one more VCC function
MichalMoskal
2010-12-06
*
One more link to version.cs
stobies
2010-12-06
*
Removed superfluous app.config
stobies
2010-12-06
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
[next]