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)