debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed abandoned Isabelle prover backend	boehmes	2012-09-27
\|
*	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
\|
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ↵	Rustan Leino	2011-10-27
\| \| \| \|	The :forceBvZ3Native, :forceBvInt, and :bvint attributes were also eliminated.
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
\|
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
\|
*	Added a new solution configuration, Checked, that builds the Checked ↵	mikebarnett	2011-03-07
\| \| \| \|	configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration.
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP ↵	MichalMoskal	2011-02-11
\| \| \| \|	provers. Add handling of help message about /proverOpt.
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
\| \| \| \|	Select 4.0 client profile on all projects
*	Factored out the ParserHelper class into a separate project and updated the ↵	wuestholz	2010-12-02
\| \| \| \| \| \|	files generated by Coco/R. This was done to support sharing of the Coco/R .frame files with Spec#.
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ↵	qadeer	2010-11-27
\| \| \| \|	Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
*	Update to VS2010.	MichalMoskal	2010-10-07
\|
*	created a new build target called z3apidebug.	qadeer	2010-08-29
\| \| \| \| \|	only this target has a compile time dependency on Microsoft.Z3.dll. To compile this target, a reference to z3api must be manually added to BoogieDriver.
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ↵	tabarbe	2010-08-27
\| \| \| \|	fewer error messages when compiling with runtime checking on.
*	Boogie: Removed some errors with code contracts (commenting out ↵	tabarbe	2010-08-27
\| \| \| \|	doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however).
*	Boogie: Changed the cce classes into one separate project, which every other ↵	tabarbe	2010-08-27
\| \| \| \|	project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods.
*	Boogie: Basetypes port 3/3: Committing changed references	tabarbe	2010-08-27
\| \| \| \|	Z3api.csproj shouldn't get in the way this time 'round.
*	Boogie: Graph port 3/3: Committing changed references; also, adding back cce ↵	tabarbe	2010-08-27
\| \| \| \|	files, to ease between-project conflict. Will trim these back off after commit of Basetypes port in ~20 min.
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to ↵	tabarbe	2010-08-26
\| \| \| \|	Core to jive with recent changes made to the cce class.
*	Boogie: Committing changed references	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Committing changed references	tabarbe	2010-08-13
\|
*	Boogie: Added boolean code expressions (sans well-formedness checks on the ↵	rustanleino	2010-08-10
\| \| \| \|	input).
*	Boogie: Removed cce.cs's from the provers, because they all reference ↵	tabarbe	2010-07-30
\| \| \| \|	projects which have a (more up-to-date) copy of cce.cs.
*	Made consistent the way all of the C# projects sign themselves and include ↵	mikebarnett	2010-07-30
\| \| \| \|	the version information.
*	Boogie: VCGeneration port part 3/3: Updating sources to reference new ↵	tabarbe	2010-07-28
\| \| \| \|	project; making Core work with the port by removing the nonnull requirements on one abstract method.
*	Fixed reference to VCGeneration project. Mistakenly checked in project files ↵	mikebarnett	2010-07-28
\| \| \| \|	were pointing to the yet-to-exist C# version.
*	Boogie Provers: Changed the references from binary to project references.	tabarbe	2010-07-27
\|
*	Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code ↵	tabarbe	2010-07-21
\| \| \| \|	Contracts dll) in AbsInt, Isabelle, and Z3
*	Boogie/Isabelle: implemented missing translation of if-then-else expressions	sboehme	2010-07-20
\|
*	Boogie: Whoops, forgot to check this in. Sorry if it broke the build.	tabarbe	2010-07-19
\|
*	<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/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>
*	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