summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* <Boogie> <Isabelle> Turned off Code Contracts Runtime Checking. Will enable ...Gravatar tabarbe2010-07-15
* Chalice: revert minor commit; add cygwin python make scriptGravatar kyessenov2010-07-15
* Oops, reverted my local changes to the build script.Gravatar kyessenov2010-07-15
* Chalice: fix a bug for boogie print-out of a sequence classGravatar kyessenov2010-07-15
* Fix for cyrptographic signing error.Gravatar kyessenov2010-07-14
* Missing file needed for new C# projects.Gravatar mikebarnett2010-07-14
* Syntax file for Chalice.Gravatar kyessenov2010-07-14
* Fixed reference to InterimKey.snk.Gravatar mikebarnett2010-07-14
* Fixed project files to point to references correctly and also to remove assem...Gravatar mikebarnett2010-07-14
* Boogie/Isabelle: Had to redirect some references required for building.Gravatar tabarbe2010-07-14
* Boogie/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into ...Gravatar tabarbe2010-07-14
* Chalice: No longer use Mask for "held" field; instead, only use the value of...Gravatar rustanleino2010-07-14
* Isabelle: No need for this file anymore.Gravatar tabarbe2010-07-14
* Boogie/Isabelle: Yet again trying to get Prover.cs committing.Gravatar tabarbe2010-07-14
* Boogie: As the filename suggests, I am trying to give Tortoise a kick in the ...Gravatar tabarbe2010-07-14
* Boogie/Isabelle: Committing Isabelle portGravatar tabarbe2010-07-14
* Boogie/Isabelle: Committing Isabelle portGravatar tabarbe2010-07-14
* Tortoise SVN screwed up previous commit.Gravatar kyessenov2010-07-14
* Boogie: More rename snafu fixingGravatar tabarbe2010-07-14
* <Boogie> More rename fixing </Boogie>Gravatar tabarbe2010-07-14
* <Boogie> <Isabelle> Fixing rename error <\Isabelle> <\Boogie>Gravatar tabarbe2010-07-14
* <Boogie> <Isabelle> Renaming the source files of the Isabelle project in prep...Gravatar tabarbe2010-07-14
* <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...Gravatar tabarbe2010-07-14
* <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...Gravatar tabarbe2010-07-14
* Dafny: added comments for refinements assertions.Gravatar kyessenov2010-07-14
* Dafny: better error reporting on resolution of refinements. Replace assertion...Gravatar kyessenov2010-07-14
* Renaming the old boogiedriver sources in preparation for syncing my ported ch...Gravatar tabarbe2010-07-13
* [Aste] Success: Committing summary due to changes.Gravatar codeplexbot2010-07-10
* /stratifiedInline:n eagerly inlines n times before calling the stratified inl...Gravatar akashlal2010-07-10
* Dafny: Axiom about inverting a set union operation, similar to the recent on...Gravatar rustanleino2010-07-09
* Another part of the testing with that file.Gravatar tabarbe2010-07-08
* Another test using that Multilingual Greetings fileGravatar tabarbe2010-07-08
* Removed a few unnecessary nonnull type declarations, as I also removed some u...Gravatar tabarbe2010-07-07
* [Aste] Success: Committing summary due to changes.Gravatar codeplexbot2010-07-07
* Boogie: Bug fix for stratified inliningGravatar akashlal2010-07-07
* Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...Gravatar akashlal2010-07-07
* Dafny: keep counters for loops, temporary variables across two implementation...Gravatar kyessenov2010-07-07
* [Aste] Success: Committing summary due to changes.Gravatar codeplexbot2010-07-06
* Dafny:Gravatar rustanleino2010-07-06
* [Aste] Added summary.logGravatar codeplexbot2010-07-06
* Added a comment noting that this test fails with Z3 2.4.Gravatar mschwerhoff2010-07-06
* Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...Gravatar wuestholz2010-07-06
* General hygiene: introduced (fixed) a helper method that creates Boogie token...Gravatar mikebarnett2010-07-05
* Cleaned up the sink: removed the OutVars, which was state the sink needed onl...Gravatar mikebarnett2010-07-05
* Forgotten file: Sink.csGravatar mikebarnett2010-07-05
* Chalice: Changed definition of waitlevel to take into account rdlock. Adapted...Gravatar mueller2010-07-03
* Dafny: added assertions in the refinement obligation necessitating that the r...Gravatar kyessenov2010-07-03
* Dafny: Support class type parameters in refinements. Added another regression...Gravatar kyessenov2010-07-02
* Introduction of the Sink: a global object that is threaded through all of the...Gravatar mikebarnett2010-07-02
* Dafny: added Carrol Morgan's calculator regression test.Gravatar kyessenov2010-07-02