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
...
*
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
*
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
*
fixed z3api so that it works on small examples now.
qadeer
2010-08-24
*
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
*
further fixes to Z3api project trying to make it work; still a long way off.
qadeer
2010-08-23
*
Fixed external references to other projects in the solution.
mikebarnett
2010-08-23
*
Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...
tabarbe
2010-08-20
*
Boogie: Committing changed references
tabarbe
2010-08-20
*
Boogie: Adding required source file, deleting no-longer-necessarry one
tabarbe
2010-08-20
*
Boogie: Committing changed source files
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20
*
Added the port of Z3api. It is simply a port to the latest version of Micros...
qadeer
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Added user option for bounding inlining depth
akashlal
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed a few contracts errors
tabarbe
2010-08-19
*
Boogie: Removed and completed a task comment
tabarbe
2010-08-19
*
Boogie: Removed and completed a task comment
tabarbe
2010-08-19
*
Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...
tabarbe
2010-08-19
*
Boogie: Removed a completed task comment
tabarbe
2010-08-19
*
Boogie: Removed a completed task comment
tabarbe
2010-08-19
*
Boogie: Removed an old task comment
tabarbe
2010-08-19
[prev]
[next]