Patrick Lühne
797660d6de
This adds the rule “(not F [comparison] G) === (F [negated comparison] G)” to the simplification rule tableau. |
||
---|---|---|
.. | ||
output | ||
ASTCopy.cpp | ||
ASTUtils.cpp | ||
Completion.cpp | ||
HiddenPredicateElimination.cpp | ||
Simplification.cpp | ||
Translation.cpp |