debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	Worked on adding support for "canned errors".	wuestholz	2014-07-06
\|
*	Did some refactoring, fixed minor issues, and made it apply the more ↵	wuestholz	2014-07-06
\| \| \| \|	advanced verification result caching even for implementations with errors.
*	Implemented an optimization for assignments to assumption variables that are ↵	wuestholz	2014-07-04
\| \| \| \|	injected by the verification result caching for calls within loops.
*	Optimized the way that assertions are marked as partially verified.	wuestholz	2014-06-26
\|
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
\|
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
\|
*	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\|
*	Merge	Pantazis Deligiannis	2013-08-20
\|\
* \|	new option for reversing the topological order - this could potentially help ↵	Pantazis Deligiannis	2013-08-19
\| \| \| \| \| \| \| \|	to speedup houdini refutation of candidates
\| *	Fixed a contract.	wuestholz	2013-08-09
\| \|
\| *	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|/
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
\|
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
\|
*	StringSeq: farewell	Ally Donaldson	2013-07-22
\|
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
\|
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
\|
*	More refactoring	Ally Donaldson	2013-07-22
\|
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
\|
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Fixed bugs arising from differences between hashtables and dictionaries	Ally Donaldson	2013-07-22
\| \|
\| *	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
\| \|
\| *	Refactored variable2sequenceNumber to use Dictionary	Ally Donaldson	2013-07-22
\| \|
* \|	merge	Pantazis Deligiannis	2013-07-19
\|\\|
\| *	Populate a model only once.	Rustan Leino	2013-07-18
\| \|
* \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \| \|/ \|/\|
* \|	Worked on the parallelization.	wuestholz	2013-07-12
\| \|
* \|	Worked on the parallelization.	wuestholz	2013-07-11
\| \|
* \|	Worked on the parallelization.	wuestholz	2013-07-11
\| \|
* \|	Worked on the parallelization.	wuestholz	2013-07-10
\| \|
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\ \| \|/ \|/\|
* \|	Worked on the parallelization.	wuestholz	2013-07-01
\| \|
* \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
\| \|
* \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-25
\| \|
* \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
\| \|
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-14
\| \|
\| *	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more ↵	pantazis	2013-06-13
\|/ \| \| \|	compact parser
*	Worked on improving program snapshot verification.	wuestholz	2013-06-07
\|
*	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
\|
*	Adding background model to fixedpoint counterexamples and small code ↵	Ken McMillan	2013-05-29
\| \| \| \|	contracts fixes
*	Changed the 'CounterexampleComparer' to take traces into account.	wuestholz	2013-05-26
\|
*	Changed the 'CounterexampleComparer' to take error messages of assertions ↵	wuestholz	2013-05-24
\| \| \| \|	into account.
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
\| \| \| \|	(guarded by the flag /useProverEvaluate)
*	bunch of refactorings	Unknown	2012-10-03
\| \| \| \| \| \| \| \| \|	- moved doomed and predication code into separate projects; for doomed there is a static dependency from BoogieDriver but for predication even that dependency has been eliminated - deleted Provers\Simplify and Provers\Z3 - removed Provers\Z3api from the solution - consolidated Core\GraphAlgorithms.cs VCGeneration\GraphAlgorithms.cs into Graph\Graph.cs
*	Removed AIFramework from Boogie -- use native trivial or native ↵	boehmes	2012-09-27
\| \| \| \| \| \| \|	interval-based abstract interpretation instead. Command-line option '/infer' now accepts only arguments 't' and 'j' where the latter is the default now for Boogie. Command-line option '/logInfer' has been dropped.
*	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
\|
*	Removed program argument from VerifyImplementation. It is redundant since ↵	qadeer	2012-05-29
\| \| \| \| \| \|	the constructor of ConditionGeneration takes a program reference and stashes it in a field.
*	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
\|
*	z3 process is killed now	qadeer	2012-05-01
\|
*	clean up in stratified inlining	qadeer	2012-04-29
\|
*	eliminated class ErrorModel	qadeer	2012-04-28
\|