summaryrefslogtreecommitdiff
path: root/backend/PrintLTL.ml
Commit message (Expand)AuthorAge
* Revised handling of annotation statements, and more generally built-in functi...Gravatar xleroy2011-06-13
* Pretty-printers for RTL and LTL. Not yet well integrated.Gravatar xleroy2010-05-02