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
/
ConditionGeneration.cs
Commit message (
Expand
)
Author
Age
*
Boogie: Did some minor refactoring.
wuestholz
2010-12-10
*
Construct @MV_state function only once so it doesn't get renamed to @MV_state...
MichalMoskal
2010-12-02
*
Refactoring: pulled out all code for stratified inlining to a new file.
akashlal
2010-11-23
*
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
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12
*
Add missing Clone() when storing incarnation maps; update testcase to make th...
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
*
Add state sequence API and creation, still untested
MichalMoskal
2010-10-08
*
Boogie:
rustanleino
2010-09-24
*
Boogie:
rustanleino
2010-09-23
*
Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...
akashlal
2010-09-05
*
Henrique's addition to the the ErrorHandler API to retrieve models
qadeer
2010-09-03
*
Added a way of recovering counterexample paths after loop extraction. Stable,...
akashlal
2010-09-01
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Removed some errors with code contracts (commenting out doubly-inheri...
tabarbe
2010-08-27
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Added boolean code expressions (sans well-formedness checks on the in...
rustanleino
2010-08-10
*
More line ending fixups.
MichalMoskal
2010-08-06
*
Boogie: Removed trailing spaces in code
tabarbe
2010-08-04
*
Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...
tabarbe
2010-07-28
*
Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...
tabarbe
2010-07-28