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
*
Dafny: Removed trailing spaces in code
tabarbe
2010-08-04
*
Chalice: testing refinement of Counter
kyessenov
2010-08-04
*
Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it...
tabarbe
2010-08-04
*
Boogie build succeeded
codeplexbot
2010-08-04
*
Fixed some infelicities in the project files.
mikebarnett
2010-08-04
*
Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ...
tabarbe
2010-08-04
*
Dafny: This file is required by DafnyPipeline.
tabarbe
2010-08-03
*
Dafny: Port commit part 1/2: Committing changed files.
tabarbe
2010-08-03
*
Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...
tabarbe
2010-08-03
*
Boogie: Generate also updated C# version file for drop build
stobies
2010-08-03
*
Chalice: abstract Shorr-Waite algorithm verified
kyessenov
2010-08-03
*
Chalice: deriving SchorrWaite algorithm with Chalice
kyessenov
2010-08-03
*
Defunct project.
mikebarnett
2010-08-03
*
Chalice: added Tarjan's SCC algorithm for computing function call graph and r...
kyessenov
2010-08-03
*
fixed path to the binaries directory; there was an extra .."
qadeer
2010-08-03
*
Chalice:
kyessenov
2010-08-02
*
Boogie: Added a new code snippet for IEnumerable out parameters
tabarbe
2010-08-02
*
Code Snippets: Corrected an annoyance in one of the snippets
tabarbe
2010-08-02
*
Chalice:
kyessenov
2010-08-02
*
Boogie build succeeded
codeplexbot
2010-07-31
*
Boogie: The deletion of those files did not hold, lemme try again.
tabarbe
2010-07-30
*
Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...
tabarbe
2010-07-30
*
Boogie: Removed cce.cs's from the provers, because they all reference project...
tabarbe
2010-07-30
*
Chalice:
kyessenov
2010-07-30
*
Also build Boogie and Dafny projects in 32-bit configurations.
rustanleino
2010-07-30
*
Boogie/Dafny: For those who may have not used custom code snippets before, so...
tabarbe
2010-07-30
*
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
mikebarnett
2010-07-30
*
Boogie/Dafny: Boogie and Dafny's conversion to C# and Code Contracts does not...
tabarbe
2010-07-30
*
Made consistent the way all of the C# projects sign themselves and include th...
mikebarnett
2010-07-30
*
Boogie: Added a new simple regression test, "sanity", which runs a single tes...
tabarbe
2010-07-29
*
Boogie build failed
codeplexbot
2010-07-29
*
Changed reference to AbsInt from a dll reference to a project reference.
mikebarnett
2010-07-28
*
Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.
tabarbe
2010-07-28
*
Dafny: DafnyDriver port part 2/3: Adding new dependent file, removing unneces...
tabarbe
2010-07-28
*
Dafny: DafnyDriver port part 1/3: Replacing old source files with ported version
tabarbe
2010-07-28
*
Dafny/DafnyDriver: Renaming source files in preparation for port commit
tabarbe
2010-07-28
*
Boogie: VCGeneration port part 3/3: Updating sources to reference new project...
tabarbe
2010-07-28
*
Boogie: VCGeneration port part 2/3: Adding new dependent files, removing unne...
tabarbe
2010-07-28
*
Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...
tabarbe
2010-07-28
*
Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...
tabarbe
2010-07-28
*
Fixed reference to VCGeneration project. Mistakenly checked in project files ...
mikebarnett
2010-07-28
*
Boogie build failed
codeplexbot
2010-07-28
*
Boogie: Changed references from binary to project references.
tabarbe
2010-07-27
*
Boogie Provers: Changed the references from binary to project references.
tabarbe
2010-07-27
*
Chalice: pretty printer now prints element type for sequences; fixed a bug in...
kyessenov
2010-07-27
*
Boogie build failed
codeplexbot
2010-07-24
*
Also traverse bodies of function definitions when performing lambda expansion.
sboehme
2010-07-23
*
Boogie: AssemblyInfo.cs is no longer required for the build; cce.cs is.
tabarbe
2010-07-23
*
Boogie: Committing my port of simplify, along with the slightly changed refer...
tabarbe
2010-07-23
*
Boogie: Renaming Simplify.sscproj and source files in preparation for committ...
tabarbe
2010-07-23
[next]