debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: Changed reference of Z3api.csproj to the differently-GUIDded ↵	tabarbe	2010-08-20
\| \| \| \|	Core.csproj, rather than Core.sscproj's old GUID.
*	Boogie: Committing changed references	tabarbe	2010-08-20
\|
*	Boogie: Adding required source file, deleting no-longer-necessarry one	tabarbe	2010-08-20
\|
*	Boogie: Committing changed source files	tabarbe	2010-08-20
\|
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
\| \| \| \|	*The deletion part of the rename did not occur
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
\|
*	Added the port of Z3api. It is simply a port to the latest version of ↵	qadeer	2010-08-20
\| \| \| \|	Microsoft.Z3.dll and to C#. It does not work yet.
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Added user option for bounding inlining depth	akashlal	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed a few contracts errors	tabarbe	2010-08-19
\|
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
\|
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
\|
*	Boogie: Removed a completed task comment, added a forgotten ↵	tabarbe	2010-08-19
\| \| \| \|	Contract.EnsuresOnThrow<>()
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
\|
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
\|
*	Boogie: Removed an old task comment	tabarbe	2010-08-19
\|
*	Added recursion-bound-guided search for stratified inlining	akashlal	2010-08-19
\|
*	Chase type synonyms in arguments/results of map types when generating name ↵	MichalMoskal	2010-08-18
\| \| \| \|	(with tE:m).
*	Some reformatting and refactoring	akashlal	2010-08-18
\|
*	Don't set monomorphize with typeEncoding:m, not neccessary.	MichalMoskal	2010-08-18
\|
*	Added option for displaying stratified inlining's search	akashlal	2010-08-18
\|
*	Change Synonym type printing to what it was, use a workaround in ↵	MichalMoskal	2010-08-18
\| \| \| \|	TypeToString() instead. Add test for /typeEncoding:m.
*	Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m ↵	MichalMoskal	2010-08-18
\| \| \| \|	use separate Z3 type per Boogie type
*	Make /typeEncoding:m work with arrays	MichalMoskal	2010-08-18
\|
*	Boogie: Removed mistaken duplication of a type parameter	tabarbe	2010-08-16
\|
*	Stratified inlining: Changed recursion into a loop.	akashlal	2010-08-16
\|
*	Bug fix for stratified inlining trace generation	akashlal	2010-08-16
\|
*	Added more options for stratified inlining	akashlal	2010-08-16
\|
*	Boogie: Committing changed references	tabarbe	2010-08-13
\|
*	Boogie: Adding 1 more necessary source file for VCExpr, removing an ↵	tabarbe	2010-08-13
\| \| \| \|	unnecessary one
*	Boogie: Committing new source code for VCExpr	tabarbe	2010-08-13
\|
*	Boogie: Renaming VCExpr sources in preparation for port commit	tabarbe	2010-08-13
\|
*	Added methods to read a file from any Stream object	akashlal	2010-08-12
\|
*	Added the option /extractLoops to extract loops as procedure calls. If ↵	qadeer	2010-08-11
\| \| \| \|	either lazyInline or stratifiedInline is greater than 1, the extracted procedure is decorated with the attribute "{:inline 1}". The implementation involved moving the procedure GraphFromImpl from VC.cs to Absy.ssc.
*	Fixed a contract	akashlal	2010-08-10
\|
*	Boogie: Added boolean code expressions (sans well-formedness checks on the ↵	rustanleino	2010-08-10
\| \| \| \|	input).
*	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
\|
*	Boogie: Fixed a few line endings	tabarbe	2010-08-06
\|
*	Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the ↵	MichalMoskal	2010-08-06
\| \| \| \|	-z3bv option to Z3-specific -proverOpt:OPTIMIZE_FOR_BV=true. Start with the prover-specific help (still needs changes in the yet-unconverted part).
*	More line ending fixups.	MichalMoskal	2010-08-06
\|