debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Implement {:nowarn}, clarify some messages, and add a few tests	Clément Pit--Claudel	2015-08-28
\|
*	s/loops with/may loop with/	Clément Pit--Claudel	2015-08-23
\|
*	Rephrase the message about triggers being rejected because they are too strong	Clément Pit--Claudel	2015-08-21
\|
*	Implement the SelectTrigger method, removing redundant triggers.	Clément Pit--Claudel	2015-08-20
	The idea is that we define an partial order on triggers (which may contain multiple terms), and find all the maximal elements. The algorithm as implemented is rather inefficient; in particular, is does not look at the structure of the graph of the relation (thus is does many redundant comparisons). See triggers/useless-triggers-are-removed.dfy for an example where such a filter is useful.