index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
Dafny: Fixed a bug in the printer that led to a stack overflow.
wuestholz
2011-08-11
*
Added "procedure-copy bounding" for lazy inlining
Unknown
2011-08-10
*
further updates to bit vector analysis
qadeer
2011-08-09
*
more changes to bitvector analysis
qadeer
2011-08-09
*
another bug fix in bct
qadeer
2011-08-08
*
added a new file and fixed a bug in bct
qadeer
2011-08-08
*
various changes to boogie for bitvector analysis and bctprovider
qadeer
2011-08-08
*
further updates to bctprovider
qadeer
2011-08-05
*
first add
qadeer
2011-08-05
*
fixed the key signing problem with houdini
qadeer
2011-08-05
*
further changes for making houdini work
qadeer
2011-08-04
*
Merge
qadeer
2011-08-04
|
\
*
|
cleaned up houdini options
qadeer
2011-08-04
|
*
Merge
Rustan Leino
2011-08-04
|
|
\
|
|
/
|
/
|
*
|
full port of houdini project
qadeer
2011-08-04
*
|
Merge
qadeer
2011-08-03
|
\
\
*
|
|
ported Houdini to C#, added Houdini project to the Boogie solution
qadeer
2011-08-03
|
/
/
|
*
Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)
Rustan Leino
2011-08-03
|
/
*
release build should not have z3api being built
Unknown
2011-07-28
*
Dafny: re-ran parser generator to include semicolon-less body-less functions/...
Rustan Leino
2011-07-26
*
Merge
Jason Koenig
2011-07-15
|
\
*
|
Added compilation support for multisets and sequences from arrays.
Jason Koenig
2011-07-15
|
*
Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...
wuestholz
2011-07-15
*
|
Merge
Jason Koenig
2011-07-14
|
\
|
*
|
Fixed bug where wellformedness for E in multiset(E) was checked in the "old" ...
Jason Koenig
2011-07-14
*
|
Added multiset from sequence axioms, removed array range RHSs. Fixed issue wi...
Jason Koenig
2011-07-13
|
*
Another test checkin
Michal Moskal
2011-07-12
*
|
Fixed printing of multisets.
Jason Koenig
2011-07-11
*
|
Multiset forming operators added.
Jason Koenig
2011-07-11
|
*
Merge
Rustan Leino
2011-07-11
|
|
\
|
*
|
Dafny: allow constructors only inside classes, removed semi-colons at end of ...
Rustan Leino
2011-07-11
*
|
|
Merge
Jason Koenig
2011-07-11
|
\
\
\
*
\
\
\
Merge
Jason Koenig
2011-07-11
|
\
\
\
\
*
|
|
|
|
Added s[..] syntax in anticipation of sequence forming operation. (also updat...
Jason Koenig
2011-07-11
|
|
|
|
*
- fixed a bug in DafnyModelUtils.fs (reading set values from models)
Unknown
2011-07-11
|
|
|
_
|
/
|
|
/
|
|
|
|
*
|
Partial implementation of multisets.
Jason Koenig
2011-07-11
|
|
/
/
|
/
|
|
|
*
|
async call return value is either int or bv32
qadeer
2011-07-09
|
*
|
Merge
qadeer
2011-07-09
|
|
\
\
|
|
/
/
|
/
|
|
|
*
|
fixed bug in vcgen for bitvectors
qadeer
2011-07-09
|
|
/
*
/
Dafny: Dafny now uses the Euclidean definition of division. (Verifier and run...
Jason Koenig
2011-07-08
|
/
*
Dafny: Fixed bug in call statements where mutability of out parameters was no...
Jason Koenig
2011-07-06
*
Merge
Jason Koenig
2011-07-05
|
\
*
|
Dafny: Added chaining of disjoint (!!) using transitive chaining convention.
Jason Koenig
2011-07-05
|
*
ExtractLoops calls the same code for eliminating unreachable blocks that norm...
qadeer
2011-07-05
|
*
Don't send (check-sat) after error limit is reached
Michal Moskal
2011-07-05
|
*
Merge
Michal Moskal
2011-07-05
|
|
\
|
|
/
|
/
|
*
|
Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th...
Unknown
2011-07-05
*
|
Added the /noCheating option. (treats assume as assert and drops free.)
Jason Koenig
2011-07-01
|
*
Update the RECENT_Z3 #define to include SORT_AND_OR
Michal Moskal
2011-06-30
|
*
Add /T: option to Z3 to kill it if it exceeds soft timeout by more than 1s
Michal Moskal
2011-06-30
[next]