summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Chalice: forcefully kill Boogie with taskkill /T /F on terminationGravatar kyessenov2010-08-10
* Boogie: Sorry about that - no need for the conditional compilationGravatar tabarbe2010-08-09
* Boogie: That file should not have been in the depot, but rather be created lo...Gravatar tabarbe2010-08-09
* Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.csGravatar tabarbe2010-08-09
* Boogie build succeeded, 1 test(s) failedGravatar codeplexbot2010-08-08
* Boogie: Fixed a few line endingsGravatar tabarbe2010-08-06
* Dafny: Fixed VS 2010 mode to really include all Dafny keywordsGravatar rustanleino2010-08-06
* Chalice: refinement of a list with nodes (instead of lists pointing to sublists)Gravatar kyessenov2010-08-06
* Chalice: terminate Boogie subprocess manually on interrupt; Z3 still stays al...Gravatar kyessenov2010-08-06
* Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...Gravatar MichalMoskal2010-08-06
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Fixup line-endings.Gravatar MichalMoskal2010-08-06
* Boogie: added /z3bv option that overrides the current setting of Z3 options f...Gravatar stobies2010-08-06
* Reverting accidental check-inGravatar stobies2010-08-06
* Remove support for Z3 V1 and clean up parameter processing code for Z3Gravatar stobies2010-08-06
* Chalice: still cannot verify refinement of List.get (Z3 goes out of memory); ...Gravatar kyessenov2010-08-06
* Combine version file creation into a single task so we run it for both filesGravatar stobies2010-08-05
* Boogie: cleanup option handling code for Z3Gravatar stobies2010-08-05
* Commiting Michal's fix for VCGravatar stobies2010-08-05
* Boogie build succeededGravatar codeplexbot2010-08-05
* Chalice: try using output coupling assertion as loop invariantGravatar kyessenov2010-08-05
* Chalice: testing refinement of a linked listGravatar kyessenov2010-08-04
* Dafny: Made line endings consistentGravatar tabarbe2010-08-04
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Dafny: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Chalice: testing refinement of CounterGravatar kyessenov2010-08-04
* Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it...Gravatar tabarbe2010-08-04
* Boogie build succeededGravatar codeplexbot2010-08-04
* Fixed some infelicities in the project files.Gravatar mikebarnett2010-08-04
* Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ...Gravatar tabarbe2010-08-04
* Dafny: This file is required by DafnyPipeline.Gravatar tabarbe2010-08-03
* Dafny: Port commit part 1/2: Committing changed files.Gravatar tabarbe2010-08-03
* Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...Gravatar tabarbe2010-08-03
* Boogie: Generate also updated C# version file for drop buildGravatar stobies2010-08-03
* Chalice: abstract Shorr-Waite algorithm verifiedGravatar kyessenov2010-08-03
* Chalice: deriving SchorrWaite algorithm with ChaliceGravatar kyessenov2010-08-03
* Defunct project.Gravatar mikebarnett2010-08-03
* Chalice: added Tarjan's SCC algorithm for computing function call graph and r...Gravatar kyessenov2010-08-03
* fixed path to the binaries directory; there was an extra .."Gravatar qadeer2010-08-03
* Chalice:Gravatar kyessenov2010-08-02
* Boogie: Added a new code snippet for IEnumerable out parametersGravatar tabarbe2010-08-02
* Code Snippets: Corrected an annoyance in one of the snippetsGravatar tabarbe2010-08-02
* Chalice:Gravatar kyessenov2010-08-02
* Boogie build succeededGravatar codeplexbot2010-07-31
* Boogie: The deletion of those files did not hold, lemme try again.Gravatar tabarbe2010-07-30
* Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...Gravatar tabarbe2010-07-30
* Boogie: Removed cce.cs's from the provers, because they all reference project...Gravatar tabarbe2010-07-30
* Chalice:Gravatar kyessenov2010-07-30
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 05:04:37 +0000