debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	<Boogie> <Isabelle> Turned off Code Contracts Runtime Checking. Will enable ↵	tabarbe	2010-07-15
\| \| \| \|	on all ports once Core is ported. <\Isabelle> <\Boogie>
*	Fixed reference to InterimKey.snk.	mikebarnett	2010-07-14
\|
*	Fixed project files to point to references correctly and also to remove ↵	mikebarnett	2010-07-14
\| \| \| \|	assembly signing information from AssemblyInfo.cs files (which since that was the only thing in BoogieDriver's assembly info, deleted that file). Now signing information is specified in the project files.
*	Boogie/Isabelle: Had to redirect some references required for building.	tabarbe	2010-07-14
\|
*	Boogie/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into ↵	tabarbe	2010-07-14
\| \| \| \|	the required subfolders.
*	Isabelle: No need for this file anymore.	tabarbe	2010-07-14
\|
*	Boogie/Isabelle: Yet again trying to get Prover.cs committing.	tabarbe	2010-07-14
\|
*	Boogie: As the filename suggests, I am trying to give Tortoise a kick in the ↵	tabarbe	2010-07-14
\| \| \| \|	pants here.
*	Boogie/Isabelle: Committing Isabelle port	tabarbe	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 ↵	tabarbe	2010-07-14
\| \| \| \|	preparation for integrating my ported copies of that project. <\Isabelle> <\Boogie>
*	Derive IsabelleContext from DeclFreeProverContext	stobies	2010-06-16
\|
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
\|
*	Removed Unicode chars from Assembly attributes - they are not liked too much ↵	stobies	2010-02-08
\| \| \| \|	by explorer
*	Preparing Isabelle plugin sources for VCC release.	stobies	2010-02-08
\|
*	Added prover plugin for Isabelle/HOL.	sboehme	2009-12-14