index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
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
*
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
*
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
*
Add ToString() overrides to help in debugging
MichalMoskal
2010-12-10
*
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
*
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
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
Construct @MV_state function only once so it doesn't get renamed to @MV_state...
MichalMoskal
2010-12-02
*
Get rid of F# dependencies - use System.Numerics and a custom Rational struct...
MichalMoskal
2010-12-02
*
Set output directory to Binaries/
MichalMoskal
2010-12-02
*
Introduce node categories; sort fields based on that not special characters
MichalMoskal
2010-12-01
*
stratified inlining: small fix
akashlal
2010-12-01
*
stratified inlining: reuse call tree across queries
akashlal
2010-12-01
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)
akashlal
2010-11-29
*
forgot to check this file in
qadeer
2010-11-28
*
Added CheckAssumptions api interface
akashlal
2010-11-28
*
added a fix for a bug in the Evaluate function.
qadeer
2010-11-27
*
changed the procedure Check so that the conflict clause is blocked only when ...
qadeer
2010-11-27
*
two automatically generated app.config that I didn't add earlier.
qadeer
2010-11-27
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Dafny: Improved default decreases clauses for methods and functions
rustanleino
2010-11-25
*
small fix to previous checkin
akashlal
2010-11-24
*
Some changes to the prover interface to make way for z3-api.
akashlal
2010-11-24
*
more refactoring
akashlal
2010-11-23
*
More refactoring
akashlal
2010-11-23
*
Boogie: Look for Z3 versions up to 2.20.
wuestholz
2010-11-23
*
Refactoring: pulled out all code for stratified inlining to a new file.
akashlal
2010-11-23
[next]