debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	Staged Houdini	allydonaldson	2013-04-30
*	made a whole bunch of changes to linear and og stuff	Unknown	2013-01-29
*	Let Boogie clients determine their own version string	Rustan Leino	2013-01-23
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	Missed checking this in.	akashlal	2012-12-12
*	Houdini: allow cross-dependencies between procedures that occurs when assume	Unknown	2012-12-11
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
*	added sound loop unrolling	Yannick Welsch	2012-07-03
*	bunch of refactorings	Unknown	2012-10-03
*	Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportional...	Unknown	2012-09-28
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	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: the DafnyExtension mode for Visual Studio now calls the verifier and v...	Unknown	2012-08-08
*	Changed copyright year range to include 2012	Rustan Leino	2012-07-03
*	integrating predication	qadeer	2012-06-19
*	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
*	1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...	Unknown	2012-06-01
*	Better interface for adding skipped calls, and	akashlal	2012-05-26
*	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
*	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
*	added nonUniformUnfolding option	qadeer	2012-04-03
*	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
*	various refactorings related to houdini	qadeer	2012-03-02
*	verbose mode for stratified inlining.	Unknown	2012-02-29
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
*	using model instead of labels	Unknown	2012-02-23
*	verbose mode	akashlal	2012-02-19
*	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
*	Added option of turning off model generation in SI. Can be very expensive som...	akashlal	2011-11-26
*	Boogie: fixed build error (incorrect type in Contract.Result)	Rustan Leino	2011-11-16
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
*	added the option /inlineDepth:n. This option defaults to -1. If the user prov...	qadeer	2011-11-13
*	Dafny: added a new /inductionHeuristic option	Rustan Leino	2011-11-04
*	Dafny: added options to make Induction Heuristic apply to array index express...	Rustan Leino	2011-11-04
*	Merge	Rustan Leino	2011-10-29
\|\
* \|	Dafny induction:	Rustan Leino	2011-10-29
\| *	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
\| *	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
\| *	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27
\| *	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27