index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
VCGeneration
Commit message (
Expand
)
Author
Age
*
Boogie: fixed contract violation in stratified inlining
rustanleino
2011-03-23
*
Print recorded value of any type
akashlal
2011-03-21
*
Bug fix with model generation.
akashlal
2011-03-21
*
minor fix with loopy counterexample generation
akashlal
2011-03-18
*
Print out requested values in the counterexample trace
akashlal
2011-03-17
*
Re-enabled quantifier checking in the Checked configuration.
mikebarnett
2011-03-16
*
new algorithm for dead code detection (vc:doomed)
schaef
2011-03-15
*
Turn off quantifier checking in the runtime checking.
mikebarnett
2011-03-14
*
Replaced all dictionaries that mapped to bool (i.e., were being used to imple...
mikebarnett
2011-03-10
*
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...
mikebarnett
2011-03-10
*
Updated PrepareBoogieZip.bat to include BVD and smt2
rustanleino
2011-03-10
*
Added a new solution configuration, Checked, that builds the Checked configur...
mikebarnett
2011-03-07
*
Fix contracts so runtime checking can be turned on.
mikebarnett
2011-03-07
*
Handle as-array[...] model elements
MichalMoskal
2011-02-23
*
Parse else-> clauses in the model
MichalMoskal
2011-02-23
*
Throw exceptions when push/pop interface is used but not implemented
MichalMoskal
2011-02-23
*
Implement Push/Pop interface.
MichalMoskal
2011-02-23
*
Move model printing to ErrorModel class
MichalMoskal
2011-02-21
*
Allow use ErrorModel as a container for Model - make -mv work with SMTLib on Z3
MichalMoskal
2011-02-18
*
Kill {:prover "..."} attribute support; no one ever used this stuff
MichalMoskal
2011-02-17
*
Stratified inlining: Added concrete values to error traces. Added an extra fl...
akashlal
2011-02-17
*
Fix with timeout
akashlal
2011-02-12
*
Better support for timeout
akashlal
2011-02-12
*
Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...
MichalMoskal
2011-02-11
*
Minor change to stratified inlining
akashlal
2011-02-11
*
Added a new method StratifiedVC for refinement.
akashlal
2011-02-08
*
implemented /UseUnsatCoreForInlining option for use in stratified inlining
qadeer
2011-02-06
*
deleted debugging statement
akashlal
2011-02-05
*
Fix to counterexample generation for over-approx query
akashlal
2011-02-05
*
Don't treat "Inconclusive" answer as fatal when splitting.
MichalMoskal
2011-02-02
*
stratified inlining: minor fix to the call tree being saved
akashlal
2010-12-21
*
stratified inlining: record the name of the main procedure.
akashlal
2010-12-18
*
Add new feature: {:selective_checking} on procedures. See testcase for a desc...
MichalMoskal
2010-12-17
*
Add functions generated in lambda-expansion of function body to top-level pro...
MichalMoskal
2010-12-17
*
stratified inlining: minor changes to coverage reporter
akashlal
2010-12-13
*
Boogie: Did some minor refactoring.
wuestholz
2010-12-10
*
stratified inlining: added option of turning off CheckAssumptions
akashlal
2010-12-07
*
z3api: Bug fix with timeout. Use CheckAssumptions.
akashlal
2010-12-07
*
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
*
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
*
Added CheckAssumptions api interface
akashlal
2010-11-28
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
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
[next]