index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
Commit message (
Expand
)
Author
Age
...
*
Fixed the build.
wuestholz
2012-09-28
*
Boogie: added type 'real' with overloaded arithmetic operations plus real div...
boehmes
2012-09-27
*
Boogie: new syntax for integer division and modulus: use div and mod instead ...
boehmes
2012-09-27
*
Removed AIFramework from Boogie -- use native trivial or native interval-base...
boehmes
2012-09-27
*
Boogie: improved parser makefile
Unknown
2012-09-19
*
Boogie: added /tracePOs option for printing out number of proof obligations w...
Unknown
2012-09-10
*
Implement support for alternative SMT solvers -- CVC3 and CVC4
Peter Collingbourne
2012-09-06
*
Dafny and Boogie: get rid of 'static' fields in parser
Rustan Leino
2012-08-21
*
Merge
Unknown
2012-08-08
|
\
*
|
Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...
Unknown
2012-08-08
|
*
Core: attach :partition to assumes generated from structured ifs and whiles
Peter Collingbourne
2012-08-03
|
/
*
Changed copyright year range to include 2012
Rustan Leino
2012-07-03
*
integrating predication
qadeer
2012-06-19
*
Move block predicator to VCGeneration
Peter Collingbourne
2012-06-18
*
GPUVerify: implement is-a-constant analysis
Peter Collingbourne
2012-06-15
*
Merging again
Ken McMillan
2012-06-07
|
\
|
*
Trying to merge with recent changes, failing.
Ken McMillan
2012-06-05
|
|
\
|
|
*
Some changes to support expanded use of z3api.
Ken McMillan
2012-06-05
*
|
|
Boogie: add /printCFG command line option, which prints each implementation's...
Peter Collingbourne
2012-06-06
|
/
/
*
|
moved class Macro to Absy
qadeer
2012-06-04
*
|
Merge
qadeer
2012-06-01
|
\
\
*
|
|
changed behavior of InlinedEnsures so that free ensures is skipped unless an ...
qadeer
2012-06-01
|
*
|
1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...
Unknown
2012-06-01
|
/
/
*
|
No need for extra attributes in ExtractLoops
akashlal
2012-05-28
*
|
Better interface for adding skipped calls, and
akashlal
2012-05-26
*
|
Merge
Unknown
2012-05-25
|
\
\
*
|
|
Adding an option for deterministicExtractLoops, that uses an alternate way to...
Unknown
2012-05-25
|
*
|
Merge
qadeer
2012-05-24
|
|
\
\
|
|
/
/
|
/
|
|
|
*
|
more refactoring in stratified inlining
qadeer
2012-05-24
*
|
|
Boogie: document /typeEncoding:m
Peter Collingbourne
2012-05-22
|
/
/
*
|
Boogie: handle absolute paths on *nix correctly
Peter Collingbourne
2012-05-02
*
|
Get Boogie and GPUVerify to compile and run with Mono
Peter Collingbourne
2012-05-02
*
|
added counterexample generation based on labels back to stratified inlining
qadeer
2012-05-01
*
|
UseLabels=false when stratified inline is on
qadeer
2012-04-29
*
|
removed proccopybounding code
qadeer
2012-04-28
*
|
removed lazy inlining
qadeer
2012-04-28
*
|
unsat core for houdini
qadeer
2012-04-27
*
|
Added functionality to "skip" procedures. Some cleanup.
akashlal
2012-04-12
*
|
Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).
Unknown
2012-04-04
*
|
added nonUniformUnfolding option
qadeer
2012-04-03
*
|
deleted the option UseUnsatCoreForInlining
qadeer
2012-04-02
*
|
Emit of invariants now prints out the invariant attributes also
qadeer
2012-03-26
*
|
added attributes to loop invariants
qadeer
2012-03-23
*
|
more type checking for datatypes
qadeer
2012-03-18
*
|
Boogie: Simplified (and liberalized) parsing of string literals as attribute ...
Unknown
2012-03-12
*
|
updated Boogie strings so that they can refer to \" (and more)
qadeer
2012-03-12
*
|
make the call to ProcessDataTypeConstructors in the right place
qadeer
2012-03-11
*
|
Boogie: map the given filename stdin.bpl to standard input
Unknown
2012-03-09
*
|
various refactorings related to houdini
qadeer
2012-03-02
*
|
verbose mode for stratified inlining.
Unknown
2012-02-29
[prev]
[next]