debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	Minor refactorings for integrating corral	Unknown	2012-11-18
*	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: Changed Expr.Not to keep swap arguments rather change direction of op...	Rustan Leino	2011-12-12
*	Merge	Rustan Leino	2011-12-07
\|\
\| *	Fix atg file and add comment about Set/Variable/	Michal Moskal	2011-12-07
\| *	Make set iteration order deterministic	Michal Moskal	2011-12-07
* \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\|/
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...	rustanleino	2011-02-17
*	Added a new method StratifiedVC for refinement.	akashlal	2011-02-08
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20