Skip to content

integrate some code examples

The distribution should come with a few code examples that are compiled, and that we keep up-to-date.

I have at least four such examples that I have sent to people in the past:

  • a minimal model checker (from a MeFoSyLoMa talk, slides 33-34)
  • how to parse a formula, translate it, and output the result (trans.cc from a mail to Kristin)
  • how to read an LBTT file (lbttread.cc from another mail to Kristin)
  • a small tool for relabeling formulas and outputing neverclaims prefixed with #define (for Fanda)