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
*
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
*
More refactoring
akashlal
2010-11-23
*
Refactoring: pulled out all code for stratified inlining to a new file.
akashlal
2010-11-23
*
Changed stratified inlining: can now be user-guided
akashlal
2010-11-22
*
Minor updates for printing coverage graph of stratified inlining
akashlal
2010-11-14
*
ModelViewer:
rustanleino
2010-11-02
*
Dafny: a partial first crack at a Dafny model-viewer provider, including capt...
rustanleino
2010-11-01
*
Skip unchagned variables in model dumps. Fix testcase
MichalMoskal
2010-10-14
*
Bug fixes and speed up for doomed program point analysis
schaef
2010-10-13
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12
*
Put Model.cs in separate assembly. Fix signing/versioning with it.
MichalMoskal
2010-10-12
*
Add missing Clone() when storing incarnation maps; update testcase to make th...
MichalMoskal
2010-10-12
*
Add function and constant view
MichalMoskal
2010-10-12
*
Make the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Boogie:
rustanleino
2010-10-12
*
Boogie: fixed a Code Contract in the source
rustanleino
2010-10-09
*
Fixes in state printing/initialization
MichalMoskal
2010-10-09
*
Fix some bugs.
MichalMoskal
2010-10-09
*
Add model/state printing and parsing
MichalMoskal
2010-10-09
*
Add state sequence API and creation, still untested
MichalMoskal
2010-10-08
*
Add the new model interface. Untested, doesn't yet include state sequence
MichalMoskal
2010-10-08
*
Get rid of some CCI dependencies in Driver
MichalMoskal
2010-10-07
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Minor fix to recursion depth in stratified inlining algorithm.
akashlal
2010-10-02
*
Boogie:
rustanleino
2010-09-24
*
Boogie:
rustanleino
2010-09-23
*
Some simplifications to coverage reporting for StratifiedInlining.
akashlal
2010-09-19
*
Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.
akashlal
2010-09-18
*
Added more stat printing
akashlal
2010-09-16
*
Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...
akashlal
2010-09-05
*
Fixed a performance issue with StratifiedInlining
akashlal
2010-09-05
*
Fix for extractLoops
akashlal
2010-09-04
*
Henrique's addition to the the ErrorHandler API to retrieve models
qadeer
2010-09-03
*
Bug fix for StratifiedInlining. Use extra Booleans to model procedure calls, ...
akashlal
2010-09-02
*
Minor fix to my previous commit
akashlal
2010-09-01
[next]