index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
/
Triggers
/
QuantifiersCollection.cs
Commit message (
Expand
)
Author
Age
*
Implement {:nowarn}, clarify some messages, and add a few tests
Clément Pit--Claudel
2015-08-28
*
Further relax the loop detection conditions
Clément Pit--Claudel
2015-08-27
*
Small fix: there is no loop in (forall x :: Q(x) && Q(0))
Clément Pit--Claudel
2015-08-27
*
Improve the redundancy detection algorithm used while constructing sets of terms
Clément Pit--Claudel
2015-08-26
*
s/loops with/may loop with/
Clément Pit--Claudel
2015-08-23
*
Add a sanity check in QuantifiersCollection
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
*
Cleanup a number of FIXMEs that I had left in the code
Clément Pit--Claudel
2015-08-20
*
Implement the SelectTrigger method, removing redundant triggers.
Clément Pit--Claudel
2015-08-20
*
Move indentation of error messages to the ConsoleErrorReporter
Clément Pit--Claudel
2015-08-20
*
Simplify error reporting in the trigger generator to get cleaner messages
Clément Pit--Claudel
2015-08-20
*
Print matches for triggers as they appear in the buffer
Clément Pit--Claudel
2015-08-19
*
Enable unicode output in the VS extension
Clément Pit--Claudel
2015-08-19
*
Slightly improve the condition used to filter out trigger sets
Clément Pit--Claudel
2015-08-18
*
Cleanup indentation of trigger warnings
Clément Pit--Claudel
2015-08-19
*
Small cleanups, fixes, and refactorings
Clément Pit--Claudel
2015-08-18
*
Use a nice warning symbol in some warning messages
Clément Pit--Claudel
2015-08-18
*
Implement self-loop detection
Clément Pit--Claudel
2015-08-14
*
Draft out a more advanced version of trigger generation
Clément Pit--Claudel
2015-08-19