debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: Changed the assembly name for the Z3 project to Provers.Z3.dll, so ↵	tabarbe	2010-07-22
\| \| \| \|	that it matches the namespace.
*	Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code ↵	tabarbe	2010-07-21
\| \| \| \|	Contracts dll) in AbsInt, Isabelle, and Z3
*	Boogie: Forgot this file when I checked in the port of Z3. (cce = Code ↵	tabarbe	2010-07-21
\| \| \| \|	Contracts Extensions - utility methods for the port that are not present in Code Contracts.)
*	Boogie: The reference to Z3 was dropped during the commit. Here it is back.	tabarbe	2010-07-20
\|
*	Boogie: Committing ported version of Z3.	tabarbe	2010-07-20
\|
*	Boogie: Typo with the renaming. Fixed	tabarbe	2010-07-20
\|
*	Boogie: Let's try that rename again, shall we?	tabarbe	2010-07-20
\|
*	Boogie: Rename didn't work. Resetting to try again	tabarbe	2010-07-20
\|
*	Boogie/Z3: Renaming the sources for Z3 in preparation for commit of my port ↵	tabarbe	2010-07-20
\| \| \| \|	of the project.
*	Boogie/Isabelle: implemented missing translation of if-then-else expressions	sboehme	2010-07-20
\|
*	Boogie: Changed how the references in AbsInt are referenced, and fixed a ↵	tabarbe	2010-07-19
\| \| \| \|	typo in the Spec# version of Z3's ProverInterface.ssc
*	Boogie: Forgot to check in this file. Hope no one tried to rebuild without ↵	tabarbe	2010-07-19
\| \| \| \|	it. Sorry.
*	Boogie: Whoops, forgot to check this in. Sorry if it broke the build.	tabarbe	2010-07-19
\|
*	Boogie: Added interprocedural live variable analysis. Flag to turn it on: ↵	akashlal	2010-07-19
\| \| \| \|	"/liveVariableAnalysis:2"
*	Boogie: I have successfully ported the AbsInt project. It passes all ↵	tabarbe	2010-07-16
\| \| \| \| \| \|	regressions, although DAFNY NEEDS TO BE REBUILT TO RECOGNIZE the changed AbsInt DLL. Address any error complaints to t-abarbe@microsoft.com
*	Boogie: Renamed the AbsInt sources for use in the port I have done. ↵	tabarbe	2010-07-16
\| \| \| \|	Regressions with the changed code will take ~10 minutes. I hope I don't break anyone's build.
*	<Boogie> Final removal of Isabelle's mention of a Properties.cs file	tabarbe	2010-07-16
\|
*	<Boogie> Removed the AssemblyInfo.cs file from Isabelle.	tabarbe	2010-07-16
\|
*	<Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the ↵	tabarbe	2010-07-16
\| \| \| \|	building/execution of the program
*	<Boogie> BoogieDriver.csproj was missing a reference to AbsInt. Remedied ↵	tabarbe	2010-07-16
\| \| \| \|	that issue. <\Boogie>
*	Boogie: Generated Code Contracts settings for BoogieDriver.csproj ↵	tabarbe	2010-07-15
\| \| \| \|	(everything disabled).
*	Boogie/Isabelle: Added tags of some places that generate errors when Code ↵	tabarbe	2010-07-15
\| \| \| \|	Contracts checking is on, that should resolve once Core ports
*	<Boogie> <Isabelle> Turned off Code Contracts Runtime Checking. Will enable ↵	tabarbe	2010-07-15
\| \| \| \|	on all ports once Core is ported. <\Isabelle> <\Boogie>
*	Fix for cyrptographic signing error.	kyessenov	2010-07-14
\|
*	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/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 ↵	tabarbe	2010-07-14
\| \| \| \|	preparation for integrating my ported copies of that project. <\Isabelle> <\Boogie>
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the ↵	tabarbe	2010-07-14
\| \| \| \| \| \| \|	changes made to the .csproj and Boogie.sln file that are necessary for the port. My Microsoft alias is t-abarbe, so if any of this stuff breaks for you, you can contact me. </BoogieDriver> </Boogie>
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the ↵	tabarbe	2010-07-14
\| \| \| \| \| \| \|	changes made to the .csproj and Boogie.sln file that are necessary for the port. My Microsoft alias is t-abarbe, so if any of this stuff breaks for you, you can contact me. </BoogieDriver> </Boogie>
*	Dafny: added comments for refinements assertions.	kyessenov	2010-07-14
\|
*	Dafny: better error reporting on resolution of refinements. Replace ↵	kyessenov	2010-07-14
\| \| \| \|	assertions with "if"s to handle errors gently and add cycle detection check.
*	Renaming the old boogiedriver sources in preparation for syncing my ported ↵	tabarbe	2010-07-13
\| \| \| \|	changes.
*	/stratifiedInline:n eagerly inlines n times before calling the stratified ↵	akashlal	2010-07-10
\| \| \| \|	inlining algorithm.
*	Removed a few unnecessary nonnull type declarations, as I also removed some ↵	tabarbe	2010-07-07
\| \| \| \|	unnecessarry "Contract.Assert"s from my porting of Boogie.
*	Boogie: Bug fix for stratified inlining	akashlal	2010-07-07
\|
*	Boogie: Added stratified inlining. It is enabled using the flag ↵	akashlal	2010-07-07
\| \| \| \|	/stratifiedInline:1.
*	Dafny: keep counters for loops, temporary variables across two ↵	kyessenov	2010-07-07
\| \| \| \|	implementations in the refinement VC
*	Dafny:	rustanleino	2010-07-06
\| \| \| \| \|	* changed rule about scoping of out-parameters * added "refines", "replaces", and "by" as keywords in emacs, vim, and latex style files
*	Boogie: Added an additional parameter 'defines' to the method ↵	wuestholz	2010-07-06
\| \| \| \|	'BoogiePL.Parser.Parse'.