debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	DafnyExtension: Re-added assembly reference.	wuestholz	2015-10-08
\|
*	Make the Dafny extension compile on VS 2015 without any old versions.	wuestholz	2015-10-08
\|
*	Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to ↵	leino	2015-04-06
\| \| \| \|	Source/DafnyExtension directory) as pre-build events
*	Add z3.exe and z3-license.txt to dafny binary and extension distribution.	qunyanm	2015-04-06
\|
*	Remove unneeded reference from DafnyExtension.csproj (accidentally added by ↵	chrishaw	2015-03-11
\| \| \| \|	my previous checkin)
*	Add DafnyOptions.txt, and have the Dafny Visual Studio extension read ↵	chrishaw	2015-03-11
\| \| \| \|	command-line options from DafnyOptions.txt during initialization. DafnyOptions.txt gets built into the VSIX file and is installed as part of the Dafny Visual Studio extension.
*	Build VS Extension for both VS 2012 and VS 2013.	Rustan Leino	2014-07-08
\| \| \| \|	Currently builds only in VS 2012. To build in VS 2013, change MinimumVisualStudioVersion from 11.0 to 12.0 in these two .csproj files.
*	Fix some things due to changes in Boogie (execution engine API, ↵	wuestholz	2013-12-09
\| \| \| \|	'UnivBackPred2.smt2' no longer needed).
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-11-23
\|
*	Updated 'PrepareDafnyZip.bat'.	wuestholz	2013-08-05
\|
*	DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵	wuestholz	2013-08-05
\| \| \| \|	be updated separately in the vsixmanifests).
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	DafnyExtension: Worked on improving the error selection and visualization.	wuestholz	2013-07-21
\|
*	DafnyExtension: Added support for selecting errors and showing the model in BVD.	wuestholz	2013-07-15
\|
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
\|
*	DafnyExtension: Cleaned up some references and disabled non-functional ↵	wuestholz	2013-06-07
\| \| \| \|	support for VS 2010.
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-04
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Minor change to a project file	wuestholz	2013-05-30
\|
*	Minor change to a project file	wuestholz	2013-05-30
\|
*	Minor change to a project file	wuestholz	2013-05-30
\|
*	DafnyExtension: minor changes	wuestholz	2013-05-27
\|
*	DafnyExtension: Added a button to the menu for stopping/starting the verifier.	wuestholz	2013-05-26
\|
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵	wuestholz	2013-05-23
\| \| \| \|	compilation).
*	Updated several project files.	wuestholz	2013-05-21
\| \| \| \| \|	Note that the 'boogie' directory is expected to be a sibling of the 'dafny' directory.
*	Merge	Unknown	2012-10-30
\|\
* \|	Include BVD in build (to copy it into the Dafny\Binaries directory)	Unknown	2012-10-30
\| \| \| \| \| \| \| \|	Batch file for producing a binary distributions
\| *	Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD	Rustan Leino	2012-10-30
\|/ \| \| \| \|	Remove some duplicated hover text in DafnyExtension Enable Code Contracts in the build
*	Added Dafny.exe to the DafnyExtension. This way, a copy of the executable ↵	Rustan Leino	2012-10-22
\| \| \| \|	will be placed in the DafnyExtension install directory, which can be useful if one wants to manually run whatever version is used by VS
*	Updated HintPath's of DLL's in the building of DafnyExtension	Rustan Leino	2012-10-17
\|
*	Updates of various .sln and .*proj files	Rustan Leino	2012-10-04
\|
*	Put all sources under \Source directory	Rustan Leino	2012-10-04