debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	second checkpoint	qadeer	2014-05-04
\|
*	checkpoint	qadeer	2014-05-03
\|
*	bug fix in the last update	qadeer	2014-04-25
\|
*	updated the mover checks	qadeer	2014-04-25
\|
*	added simulation relation computation to yield type checking	qadeer	2014-04-20
\| \| \| \|	updated the type check to incorporate {:terminates} annotation
*	fixed some bugs in the previous check ins	qadeer	2014-04-16
\|
*	added the framing for the refinement check	qadeer	2014-04-16
\|
*	added variable hiding	qadeer	2014-04-16
\| \| \| \|	added annotation on an atomic action about the phases in which it exists
*	added more types to constructed expressions	qadeer	2014-04-15
\|
*	resolved expressions created during generation of procedures for mover checks	qadeer	2014-04-14
\|
*	Added /trustNonInterference option	qadeer	2014-02-28
\|
*	added some missing attributes to desugared assertions	qadeer	2014-02-27
\|
*	added tokens to calls and requires/ensures	qadeer	2014-02-26
\|
*	fixed couple of bugs reported by Serdar	qadeer	2014-02-25
\|
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions ↵	Rustan Leino	2014-02-24
\| \| \| \| \| \|	of its methods now demand the return value to equal the given node. Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.
*	added ReadOnlyStandardVisitor	qadeer	2014-02-24
\| \| \| \|	made the default phase of assertions be 0
*	Added /trustPhasesDownto option	qadeer	2014-02-24
\|
*	Added /trustPhasesUpto option	qadeer	2014-02-23
\|
*	Added /trustAtomicityTypes option	qadeer	2014-02-22
\|
*	fixed a bug in desugaring of linear variables	qadeer	2014-02-20
\|
*	fixed a bug in the automaton construction labeling	qadeer	2014-02-18
\|
*	fixed a problem with the nonblocking check	qadeer	2014-02-10
\|
*	added nonblocking checker for left movers	qadeer	2014-02-07
\|
*	added another example and fixed a bug regarding initialization of pc/ok	qadeer	2014-02-07
\| \| \| \|	snapshots per loop header
*	new design for linear types + VCgen	qadeer	2014-02-07
\| \| \| \| \|	ported all the examples added the QED examples to runtest.bat
*	bug fix in error trace printing	qadeer	2014-02-05
\| \| \| \|	added a class for Token elimination (not done yet)
*	some small optimizations to mover checking	qadeer	2014-01-22
\| \| \| \|	added LookUp to multiset.bpl
*	various bug fixes	qadeer	2014-01-21
\| \| \| \|	added "cnst" feature
*	bug fix: if an absy is not reachable, make the set of available vars empty at it	qadeer	2014-01-21
\|
*	bug fix in handling of parallel call	qadeer	2014-01-20
\|
*	bug fix in error trace printing	qadeer	2014-01-16
\|
*	fix for a completeness bug (reported by Serdar) in refinement checker	qadeer	2014-01-16
\|
*	Clean up of yield type checker	qadeer	2014-01-16
\|
*	in the middle of cleaning up yield type checker	qadeer	2014-01-15
\|
*	fixed lots of bugs in mover checking code	qadeer	2014-01-14
\|
*	fixed bug in optimization of commutativity check	qadeer	2014-01-14
\|
*	Merge	qadeer	2014-01-14
\|\
* \|	added more information to assert messages	qadeer	2014-01-14
\| \|
\| *	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
\|/
*	Existential failure checker replaced with universal.	stasiran	2014-01-13
\|
*	a bug fix	qadeer	2014-01-13
\|
*	eliminated use of assertionPhaseNums	qadeer	2014-01-13
\|
*	Some proper naming done in YieldTypeChecker	kuruis	2014-01-12
\|
*	extended NormalSubstituter so that it can take in a forold substitution	qadeer	2014-01-10
\| \| \| \|	optimized the FailurePreservationChecker to eliminate some quantifiers
*	implemented a simple quantifier elimination for havoc commands in computing ↵	qadeer	2014-01-09
\| \| \| \| \| \|	transition relation changed the type checking of left movers; they are required to be non-blocking now
*	some optimizations to mover checks	qadeer	2014-01-09
\|
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
\|
*	first cut of refinement checking	qadeer	2014-01-07
\|
*	points on "home strecth of yield type checker" added	kuruis	2014-01-04
\|
*	and another	qadeer	2014-01-03
\|