debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...	wuestholz	2013-07-22
*	Whitespace fix	Ally Donaldson	2013-07-22
*	Whitespace fix	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-19
\|\
* \|	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\| *	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\| *	Merge	allydonaldson	2013-07-16
\| \|\
\| * \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
* \| \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\| \|/ \|/\|
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\
* \| \|	Added an option to verify each input file separately.	wuestholz	2013-07-05
\| \|/ \|/\|
* \|	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
* \|	Merge	allydonaldson	2013-06-18
\|\ \
\| * \|	Added /help and /attrHelp output for program snapshot verification.	wuestholz	2013-06-12
\| \| *	cvc4 command line option & cvc4.cs in Provers	pantazis	2013-06-12
\| \|/
* \|	Merge	allydonaldson	2013-06-07
\|\\|
* \|	Some work on staged Houdini	allydonaldson	2013-06-07
\| *	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
\| *	Merge changes to support Corral in fixedpoint backend	Ken McMillan	2013-05-29
\|/\|
\| *	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
* \|	Improvements to Staged Houdini	allydonaldson	2013-05-29
* \|	Staged Houdini can now take a path to a file of ignored variables	allydonaldson	2013-05-27
\|/
*	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