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.ccfrom a mail to Kristin) - how to read an LBTT file (
lbttread.ccfrom another mail to Kristin) - a small tool for relabeling formulas and outputing neverclaims prefixed with
#define(for Fanda)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information