debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie/Isabelle: Committing Isabelle port	tabarbe	2010-07-14
*	Tortoise SVN screwed up previous commit.	kyessenov	2010-07-14
*	Boogie: More rename snafu fixing	tabarbe	2010-07-14
*	<Boogie> More rename fixing </Boogie>	tabarbe	2010-07-14
*	<Boogie> <Isabelle> Fixing rename error <\Isabelle> <\Boogie>	tabarbe	2010-07-14
*	<Boogie> <Isabelle> Renaming the source files of the Isabelle project in prep...	tabarbe	2010-07-14
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...	tabarbe	2010-07-14
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...	tabarbe	2010-07-14
*	Dafny: added comments for refinements assertions.	kyessenov	2010-07-14
*	Dafny: better error reporting on resolution of refinements. Replace assertion...	kyessenov	2010-07-14
*	Renaming the old boogiedriver sources in preparation for syncing my ported ch...	tabarbe	2010-07-13
*	[Aste] Success: Committing summary due to changes.	codeplexbot	2010-07-10
*	/stratifiedInline:n eagerly inlines n times before calling the stratified inl...	akashlal	2010-07-10
*	Dafny: Axiom about inverting a set union operation, similar to the recent on...	rustanleino	2010-07-09
*	Another part of the testing with that file.	tabarbe	2010-07-08
*	Another test using that Multilingual Greetings file	tabarbe	2010-07-08
*	Removed a few unnecessary nonnull type declarations, as I also removed some u...	tabarbe	2010-07-07
*	[Aste] Success: Committing summary due to changes.	codeplexbot	2010-07-07
*	Boogie: Bug fix for stratified inlining	akashlal	2010-07-07
*	Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...	akashlal	2010-07-07
*	Dafny: keep counters for loops, temporary variables across two implementation...	kyessenov	2010-07-07
*	[Aste] Success: Committing summary due to changes.	codeplexbot	2010-07-06
*	Dafny:	rustanleino	2010-07-06
*	[Aste] Added summary.log	codeplexbot	2010-07-06
*	Added a comment noting that this test fails with Z3 2.4.	mschwerhoff	2010-07-06
*	Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...	wuestholz	2010-07-06
*	General hygiene: introduced (fixed) a helper method that creates Boogie token...	mikebarnett	2010-07-05
*	Cleaned up the sink: removed the OutVars, which was state the sink needed onl...	mikebarnett	2010-07-05
*	Forgotten file: Sink.cs	mikebarnett	2010-07-05
*	Chalice: Changed definition of waitlevel to take into account rdlock. Adapted...	mueller	2010-07-03
*	Dafny: added assertions in the refinement obligation necessitating that the r...	kyessenov	2010-07-03
*	Dafny: Support class type parameters in refinements. Added another regression...	kyessenov	2010-07-02
*	Introduction of the Sink: a global object that is threaded through all of the...	mikebarnett	2010-07-02
*	Dafny: added Carrol Morgan's calculator regression test.	kyessenov	2010-07-02
*	Dafny: support input/output parameters in refined methods.	kyessenov	2010-07-02
*	Dafny: added a regression test for the refinement extension.	kyessenov	2010-07-02
*	Added a simple refinement extension to Dafny. The new keywords are "refines" ...	kyessenov	2010-07-02
*	Boogie: Fixed the build.	wuestholz	2010-07-02
*	These 2 files are remnants of attempting the earlier planned method of renami...	tabarbe	2010-07-01
*	As it turns out, the C# Intellisense compiler takes precedence over the Spec#...	tabarbe	2010-07-01
*	I am working to port Boogie from Spec# to C#. As part of this process, I nee...	tabarbe	2010-06-30
*	(no commit message)	tabarbe	2010-06-30
*	Forgotten file.	mikebarnett	2010-06-30
*	(no commit message)	tabarbe	2010-06-29
*	(no commit message)	tabarbe	2010-06-29
*	(no commit message)	tabarbe	2010-06-29
*	(no commit message)	tabarbe	2010-06-29
*	(no commit message)	tabarbe	2010-06-29
*	(no commit message)	tabarbe	2010-06-29
*	(no commit message)	tabarbe	2010-06-29