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
/
VC.cs
Commit message (
Expand
)
Author
Age
*
Add simplified may-unverified analysis and instrumentation.
Valentin Wüstholz
2015-11-20
*
Add support for identifying unnecessary assumes.
Valentin Wüstholz
2015-11-16
*
Add support for annotating implementations with k-ind. depth.
Valentin Wüstholz
2015-10-29
*
Improve output for diagnosing timeouts.
Valentin Wüstholz
2015-09-30
*
update
Shaz Qadeer
2015-09-28
*
Merge branch 'master' of https://github.com/boogie-org/boogie
Rustan Leino
2015-08-28
|
\
*
|
Added /verifySnapshots:3, which prints recycled errors messages with the sour...
Rustan Leino
2015-08-28
|
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
|
/
*
Add some experimental support for diagnosing timeouts.
Valentin Wüstholz
2015-05-18
*
Fixed minor issue.
wuestholz
2015-01-26
*
Minor change
wuestholz
2015-01-26
*
Fixed a postcondition.
wuestholz
2014-12-26
*
Added an annotation, :split_here, for predicate statements.
Bryan Parno
2014-12-16
*
Fixed issue in the verification result caching.
wuestholz
2014-11-10
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
fixed StackOverflow in TraceCounterexample;
qadeer
2014-09-30
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
fixed codexpr bug reported by Michael Emmi; removed special handling of codex...
qadeer
2014-08-08
*
Fix nasty bug introduced by commit 61a94f409975.
Dan Liew
2014-07-15
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-10
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Worked on adding support for "canned errors".
wuestholz
2014-07-07
*
Added more tests and worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Did some refactoring, fixed minor issues, and made it apply the more advanced...
wuestholz
2014-07-06
*
OnModel now carries the result of the prover call
akashlal
2014-06-28
*
Added mechanism for getting the variables referenced by a loop (not just the ...
Ally Donaldson
2014-06-09
*
Made VarsAssignedInLoop public, since it can be useful in computing modifies ...
Ally Donaldson
2014-06-06
*
Add support for assumption variables.
wuestholz
2014-04-21
*
Changed all lambda-expression rewriting to be done as a pre-processing step b...
Rustan Leino
2014-02-28
*
Fixed errors in the use of Code Contracts
Rustan Leino
2014-02-10
*
Added functionality to rename state captures when programs are unrolled.
Ally Donaldson
2014-01-17
*
Integrated support for k-induction, implemented a while ago by Philipp Ruemme...
Ally Donaldson
2014-01-17
*
Resolve a concurrency issue (reported by Alex Summers).
wuestholz
2013-12-12
*
Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...
Ally Donaldson
2013-12-02
*
Merge
Pantazis Deligiannis
2013-10-09
|
\
*
|
small refactoring
Pantazis Deligiannis
2013-10-02
*
|
support for disabling loop entry invariant assertion checking
Pantazis Deligiannis
2013-10-01
*
|
changes to support a configured errorLimit
Pantazis Deligiannis
2013-09-30
*
|
more changes towards parallelisation of Houdini
Pantazis Deligiannis
2013-09-29
|
*
refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...
qadeer
2013-09-09
|
*
fixed bug introduced by the last checkin in letvciterative
qadeer
2013-09-08
|
*
fixed the problem with codexprs
qadeer
2013-09-07
|
*
When a codeexpr is used at the top-level in an assume statement, we use the a...
qadeer
2013-09-04
|
*
Factored out the closure for codeexpr conversion so that it can be reused.
qadeer
2013-09-04
|
*
Applied Chris Hawblitzel's changes to deal with {:expand}
qadeer
2013-08-23
*
|
Merge
Pantazis Deligiannis
2013-08-20
|
\
|
*
|
new option to disable checking for loop maintained invariants - this leads to...
Pantazis Deligiannis
2013-08-15
|
*
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
|
/
[next]