debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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 compa...	pantazis	2013-06-13
\|/
*	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 contract...	Ken McMillan	2013-05-29
*	Changed the 'CounterexampleComparer' to take traces into account.	wuestholz	2013-05-26
*	Changed the 'CounterexampleComparer' to take error messages of assertions int...	wuestholz	2013-05-24
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	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 th...	qadeer	2012-05-29
*	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
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	fixed problems with datatypes	qadeer	2011-12-29
*	Make set iteration order deterministic	Michal Moskal	2011-12-07
*	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
*	Name the constant used in @MV_state function applications - otherwise we get ...	Michal Moskal	2011-09-26
*	fixes to model value generation for stratified inlining	qadeer	2011-09-12
*	further fixes	qadeer	2011-09-08
*	partial check in regarding getting states working with stratified inlining	qadeer	2011-09-06
*	added code to handle irreducible graphs	qadeer	2011-08-20