debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Chalice: added list segment example	Unknown	2012-09-03
*	Chalice: reremoved implementation of (unuses) UpdateSecMask, as was previousl...	Unknown	2012-09-03
*	Chalice: reapplied changes from changeset	Unknown	2012-09-03
*	Reapplied changes from previous update	Unknown	2012-09-03
*	Reverted Prelude.scala and Translator.scala to those from version 96adb1c351bd	Unknown	2012-09-03
*	New attempt, back to predicate masks that start off empty and gradually get p...	Unknown	2012-08-09
*	Intermediate version of implementation with two masks per predicate. #m_calc ...	Unknown	2012-08-09
*	Added variant of list reverse example (see tests/examples/list-reverse.chalic...	Unknown	2012-07-26
*	Automatic merge.	stefanheule	2012-07-26
\|\
* \|	Experimental version with weaker triggering for function definition axiom (sh...	Unknown	2012-07-25
* \|	Chalice: Fix bug in PrettyPrinter reported by danieljost (http://boogie.codep...	stefanheule	2012-06-20
\| *	Chalice:	stefanheule	2012-06-09
\| *	Chalice: add predicate instance to the "folded predicate list" at every inhal...	stefanheule	2012-06-08
\| *	Chalice: Correctly implement that on unfolds we assume that for all locations...	stefanheule	2012-06-08
\| *	Backed out changeset: d5b3896659ef	stefanheule	2012-06-08
\| *	Backed out changeset: fabc81eae021	stefanheule	2012-06-08
\| *	Chalice: Fix assumption about per-predicate masks during unfold.	stefanheule	2012-06-08
\| *	Automatic merge.	stefanheule	2012-06-07
\| \|\ \| \|/ \|/\|
\| *	Chalice: On unfolds, assume that for all locations from within the predicate ...	stefanheule	2012-06-07
\| *	Chalice: refactor ExhaleHelper to use a local lambda expression for easier pa...	stefanheule	2012-06-07
* \|	Chalice: Remove IsGoodState as it is not needed and causes problems in certai...	stefanheule	2012-06-07
\| *	Chalice: Remove assumption that the per-predicate masks start of as zero mask...	stefanheule	2012-06-07
* \|	Chalice: Add regression test for unfolding expressions in predicates.	stefanheule	2012-06-03
* \|	Chalice: Allow unfolding expressions in predicates (this fixes workitem 10223).	stefanheule	2012-06-03
* \|	Chalice: Add regression test case for disallowed 'waitlevel' in predicates.	stefanheule	2012-06-03
* \|	Chalice: Disallow 'waitlevel' in predicates.	stefanheule	2012-06-03
* \|	Chalice: Move list-revers.chalice test case to examples, and remove failing p...	stefanheule	2012-05-24
* \|	Chalice: Added list reversal example, along with variants with extra unfold/f...	Unknown	2012-05-21
\| *	Chalice: Remove some old code updating the secondary mask, and add a missing ...	stefanheule	2012-05-20
\| *	Chalice: Fix the update of the predicate masks.	stefanheule	2012-05-20
\| *	Chalice: Fix reference output of modified test (line number change).	stefanheule	2012-05-20
\| *	Chalice: First version of yet another approach to predicates (using multiple ...	stefanheule	2012-05-20
\| *	Automatic merge.	stefanheule	2012-05-18
\| \|\ \| \|/ \|/\|
\| *	Chalice: Allow more expression in the predicate body.	stefanheule	2012-05-18
\| *	Chalice: code documentation	stefanheule	2012-05-18
\| *	Backed out changeset: 2945d608ce60 (the change appears to perform worse in th...	stefanheule	2012-05-18
\| *	Chalice: Use the version number to additionally constrain in which cases the ...	stefanheule	2012-05-18
\| *	Chalice: Remove precondition that was previously necessary, but not any more.	stefanheule	2012-05-18
\| *	Chalice: Update test reference output to account for an improvement in Chalice.	stefanheule	2012-05-17
\| *	Chalice: Don't havoc on fold.	stefanheule	2012-05-17
\| *	Chalice: Optimize what state can be carried over a havoc (as part of the new ...	stefanheule	2012-05-16
\| *	Chalice: Support for recursive predicates with the new, alternative solution ...	stefanheule	2012-05-16
\| *	Chalice: First version of an alternative solution to soundly treating predica...	stefanheule	2012-05-16
* \|	Merge	Christian Klauser	2012-03-27
\|\ \
* \| \|	Update test script shortcuts to work in Powershell (which supplies an absolut...	Christian Klauser	2012-03-27
\| * \|	Chalice: Added /boogieOpt:noinfer to chalice.bat in order to run Boogie witho...	mschwerhoff	2012-03-26
\| \|/
\| *	Chalice: Fix resolver bug, and add a test case for it.	stefanheule	2012-03-13
\| *	Chalice: New test case to cover internally found bug (already fixed by change...	stefanheule	2012-03-13
\| *	Chalice: Fix tracking of folded predicates under old().	stefanheule	2012-03-13
\| *	Chalice: By default use the new stdin method to pass the Boogie program to Bo...	stefanheule	2012-03-13