debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportional...	Unknown	2012-09-28
*	Fixed the build.	wuestholz	2012-09-28
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: new syntax for integer division and modulus: use div and mod instead ...	boehmes	2012-09-27
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Boogie: improved parser makefile	Unknown	2012-09-19
*	Boogie: added /tracePOs option for printing out number of proof obligations w...	Unknown	2012-09-10
*	Implement support for alternative SMT solvers -- CVC3 and CVC4	Peter Collingbourne	2012-09-06
*	Dafny and Boogie: get rid of 'static' fields in parser	Rustan Leino	2012-08-21
*	Merge	Unknown	2012-08-08
\|\
* \|	Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...	Unknown	2012-08-08
\| *	Core: attach :partition to assumes generated from structured ifs and whiles	Peter Collingbourne	2012-08-03
\|/
*	Changed copyright year range to include 2012	Rustan Leino	2012-07-03
*	integrating predication	qadeer	2012-06-19
*	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18
*	GPUVerify: implement is-a-constant analysis	Peter Collingbourne	2012-06-15
*	Merging again	Ken McMillan	2012-06-07
\|\
\| *	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\| \|\
\| \| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
* \| \|	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
\|/ /
* \|	moved class Macro to Absy	qadeer	2012-06-04
* \|	Merge	qadeer	2012-06-01
\|\ \
* \| \|	changed behavior of InlinedEnsures so that free ensures is skipped unless an ...	qadeer	2012-06-01
\| * \|	1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...	Unknown	2012-06-01
\|/ /
* \|	No need for extra attributes in ExtractLoops	akashlal	2012-05-28
* \|	Better interface for adding skipped calls, and	akashlal	2012-05-26
* \|	Merge	Unknown	2012-05-25
\|\ \
* \| \|	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
\| * \|	Merge	qadeer	2012-05-24
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	more refactoring in stratified inlining	qadeer	2012-05-24
* \| \|	Boogie: document /typeEncoding:m	Peter Collingbourne	2012-05-22
\|/ /
* \|	Boogie: handle absolute paths on *nix correctly	Peter Collingbourne	2012-05-02
* \|	Get Boogie and GPUVerify to compile and run with Mono	Peter Collingbourne	2012-05-02
* \|	added counterexample generation based on labels back to stratified inlining	qadeer	2012-05-01
* \|	UseLabels=false when stratified inline is on	qadeer	2012-04-29
* \|	removed proccopybounding code	qadeer	2012-04-28
* \|	removed lazy inlining	qadeer	2012-04-28
* \|	unsat core for houdini	qadeer	2012-04-27
* \|	Added functionality to "skip" procedures. Some cleanup.	akashlal	2012-04-12
* \|	Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).	Unknown	2012-04-04
* \|	added nonUniformUnfolding option	qadeer	2012-04-03
* \|	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
* \|	Emit of invariants now prints out the invariant attributes also	qadeer	2012-03-26
* \|	added attributes to loop invariants	qadeer	2012-03-23
* \|	more type checking for datatypes	qadeer	2012-03-18
* \|	Boogie: Simplified (and liberalized) parsing of string literals as attribute ...	Unknown	2012-03-12
* \|	updated Boogie strings so that they can refer to \" (and more)	qadeer	2012-03-12
* \|	make the call to ProcessDataTypeConstructors in the right place	qadeer	2012-03-11
* \|	Boogie: map the given filename stdin.bpl to standard input	Unknown	2012-03-09
* \|	various refactorings related to houdini	qadeer	2012-03-02