debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: Committing changed references	tabarbe	2010-08-13
*	Added the option /extractLoops to extract loops as procedure calls. If eithe...	qadeer	2010-08-11
*	Boogie: Sorry about that - no need for the conditional compilation	tabarbe	2010-08-09
*	Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.cs	tabarbe	2010-08-09
*	fixed path to the binaries directory; there was an extra .."	qadeer	2010-08-03
*	Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...	tabarbe	2010-07-30
*	Made consistent the way all of the C# projects sign themselves and include th...	mikebarnett	2010-07-30
*	Changed reference to AbsInt from a dll reference to a project reference.	mikebarnett	2010-07-28
*	Boogie: VCGeneration port part 3/3: Updating sources to reference new project...	tabarbe	2010-07-28
*	Boogie: Committing my port of simplify, along with the slightly changed refer...	tabarbe	2010-07-23
*	Boogie: Committing my port of the SMTLib project	tabarbe	2010-07-22
*	Boogie: Repaired a reentrancy error in Z3/Simplify.	tabarbe	2010-07-22
*	Boogie: The reference to Z3 was dropped during the commit. Here it is back.	tabarbe	2010-07-20
*	Boogie: Forgot to check in this file. Hope no one tried to rebuild without i...	tabarbe	2010-07-19
*	<Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the bu...	tabarbe	2010-07-16
*	<Boogie> BoogieDriver.csproj was missing a reference to AbsInt. Remedied tha...	tabarbe	2010-07-16
*	Boogie: Generated Code Contracts settings for BoogieDriver.csproj (everything...	tabarbe	2010-07-15
*	Fix for cyrptographic signing error.	kyessenov	2010-07-14
*	Fixed project files to point to references correctly and also to remove assem...	mikebarnett	2010-07-14
*	Boogie/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into ...	tabarbe	2010-07-14
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...	tabarbe	2010-07-14
*	Renaming the old boogiedriver sources in preparation for syncing my ported ch...	tabarbe	2010-07-13
*	/stratifiedInline:n eagerly inlines n times before calling the stratified inl...	akashlal	2010-07-10
*	Removed a few unnecessary nonnull type declarations, as I also removed some u...	tabarbe	2010-07-07
*	Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...	wuestholz	2010-07-06
*	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
*	Updated the frame files to work with the latest Coco/R. This entails not ha...	mikebarnett	2010-06-22
*	Added another option for lazy inlining based on macro expansion. This option...	qadeer	2010-05-03
*	First cut of lazy inlining. The option can be turned on by the flag /lazyInl...	qadeer	2010-04-17
*	added an option /doModSetAnalysis specially for Zvonimir	qadeer	2010-02-20
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...	MichalMoskal	2010-02-19
*	1. Removed a quadratic loop in SimplifyLikeLineariser.ssc in favor of a linea...	qadeer	2010-02-16
*	Implemented block coalescing invoked right after type checking.	qadeer	2010-02-16
*	(no commit message)	qadeer	2010-02-12
*	1. Fixed bug in StandardVisitor.ssc	qadeer	2010-02-09
*	Preparing Isabelle plugin sources for VCC release.	stobies	2010-02-08
*	doomed stuff: minor bug fixes / improved output / more test cases	schaef	2009-11-19
*	* Boogie and Dafny: added /cev:<file> option	rustanleino	2009-09-15
*	Sign assemblies	stobies	2009-08-17
*	Initial set of files.	mikebarnett	2009-07-15