aboutsummaryrefslogtreecommitdiffstats
path: root/examples/smtbmc/glift/mux2.ys
Commit message (Collapse)AuthorAgeFilesLines
* glift: Change command names to better represent their functions.Alberto Gonzalez2020-07-011-3/+3
|
* glift: Add `-create-imprecise` command, rename other commands, and re-work ↵Alberto Gonzalez2020-07-011-4/+5
| | | | the help text.
* glift: Add examples, including a number of benchmarks used in some academic ↵Alberto Gonzalez2020-07-011-0/+39
works.