index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Boogie: Removed an incorrect Ensures clause on a void method.
tabarbe
2010-08-27
*
fixed bug with function name look up
qadeer
2010-08-27
*
Boogie: Changed the cce classes into one separate project, which every other ...
tabarbe
2010-08-27
*
Boogie: Adding an autobuild and regression cmd file for Boogie and Dafny - Cl...
tabarbe
2010-08-27
*
Boogie: Added Z3api to the build configuration.
tabarbe
2010-08-27
*
Boogie: Changed a messed-up refference to Z3api back to its previous state.
tabarbe
2010-08-27
*
Boogie: Basetypes port 3/3: Committing changed references
tabarbe
2010-08-27
*
Boogie: Basetypes port 2/3: Committing new source file, deleting old one
tabarbe
2010-08-27
*
Boogie: Basetypes port 1/3: Committing new sources
tabarbe
2010-08-27
*
Boogie: Renaming the Basetypes sources in preparation for my port commit.
tabarbe
2010-08-27
*
Bug fixes and logging for z3api
akashlal
2010-08-27
*
Addint ignore file for GIT
stobies
2010-08-27
*
added some more apis to Z3api
qadeer
2010-08-27
*
Added a (temporary) CCE file so that Z3Api can build.
mikebarnett
2010-08-27
*
simplified the push-pop business
qadeer
2010-08-27
*
minor error
qadeer
2010-08-27
*
Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...
tabarbe
2010-08-27
*
Boogie: Graph port 2/3: Committing new source file, deleting old one
tabarbe
2010-08-27
*
Boogie: Graph port 1/3: Committing new sources
tabarbe
2010-08-27
*
Boogie: Renaming the Graph files in preparation for the commit of my port.
tabarbe
2010-08-27
*
Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...
tabarbe
2010-08-26
*
Boogie: AIFramework port part 2/3: Committing needed source file, deleting un...
tabarbe
2010-08-26
*
Boogie: AIFramework port part 1/3: Committing new sources.
tabarbe
2010-08-26
*
Boogie: Renaming the AIFramework sources in preparation for committal of my p...
tabarbe
2010-08-26
*
Minor additions to z3api
akashlal
2010-08-26
*
bug fixes in z3api
qadeer
2010-08-26
*
Boogie build failed
codeplexbot
2010-08-25
*
fixed z3api so that it works on small examples now.
qadeer
2010-08-24
*
Boogie build failed
codeplexbot
2010-08-24
*
Chalice: working out mask transfers between concrete and abstract heaps -- ne...
kyessenov
2010-08-24
*
Chalice:
kyessenov
2010-08-24
*
Chalice: exhale spec statement post condition in refinement block translation...
kyessenov
2010-08-23
*
Chalice: copy concrete values for every permission in coupling invariants of ...
kyessenov
2010-08-23
*
Report a bug in Z3 instead of evil input "?"
kyessenov
2010-08-23
*
Added a short description of new flags added to Boogie.
akashlal
2010-08-23
*
Disabled an expensive contract check. Instead, only check things that are act...
akashlal
2010-08-23
*
Chalice:
kyessenov
2010-08-23
*
further fixes to Z3api project trying to make it work; still a long way off.
qadeer
2010-08-23
*
Boogie build failed
codeplexbot
2010-08-23
*
Fixed external references to other projects in the solution.
mikebarnett
2010-08-23
*
Chalice: spec stmt was unimplementable; changed it and refined; Z3 produces e...
kyessenov
2010-08-22
*
Chalice: start of a DSW refinement
kyessenov
2010-08-22
*
Chalice: refining lists doesn't quite work yet...
kyessenov
2010-08-22
*
Chalice: limited functions are still problematic (see Calculator.chalice)
kyessenov
2010-08-22
*
Chalice:
kyessenov
2010-08-22
*
Boogie build failed
codeplexbot
2010-08-21
*
Chalice:
kyessenov
2010-08-21
*
server-side rename
kyessenov
2010-08-21
*
Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...
tabarbe
2010-08-20
*
Boogie: Committing changed references
tabarbe
2010-08-20
[next]