summaryrefslogtreecommitdiff
path: root/Test/triggers
Commit message (Expand)AuthorAge
* Improve error reporting for split quantifiersGravatar Clément Pit--Claudel2015-08-23
* Allow MultiSelectExpr as quantifier headsGravatar Clément Pit--Claudel2015-08-23
* Look at the full quantifier to find loops, not just the term.Gravatar Clément Pit--Claudel2015-08-22
* Make `old` a special case for trigger generation.Gravatar Clément Pit--Claudel2015-08-21
* Rephrase the message about triggers being rejected because they are too strongGravatar Clément Pit--Claudel2015-08-21
* Adjust WF checks to use unsplit quantifiers.Gravatar Clément Pit--Claudel2015-08-21
* Add tests for display expressions used as triggersGravatar Clément Pit--Claudel2015-08-21
* Add /printTooltips to trigger testsGravatar Clément Pit--Claudel2015-08-21
* Fix a typoGravatar Clément Pit--Claudel2015-08-20
* Implement the SelectTrigger method, removing redundant triggers.Gravatar Clément Pit--Claudel2015-08-20
* Add unit tests for trigger-related error messagesGravatar Clément Pit--Claudel2015-08-20
* Simplify error reporting in the trigger generator to get cleaner messagesGravatar Clément Pit--Claudel2015-08-20
* Add a test to show how trigger splitting balances the downsides of loop detec...Gravatar Clément Pit--Claudel2015-08-20
* Add tests for quantifier splitting and trigger generationGravatar Clément Pit--Claudel2015-08-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 10:49:51 +0000