diff options
| author | Alasdair Armstrong | 2019-05-14 19:37:44 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-14 19:37:44 +0100 |
| commit | 49ea15d68e9721fa69139031c8b81d79162260b1 (patch) | |
| tree | f408f9a0716c5ed16501cab65dbab7bbce579d02 /lib/hol/sail2_valuesAuxiliaryScript.sml | |
| parent | 16f394156cbabeeb774eccf1cdb3ac6004f99a36 (diff) | |
SMT: Allow printing SMT with an optional variable prefix
Allows us to mix generated SMT for two separate threads without name
clashes, however we do want to be able to share datatypes so they are
not prefixed. Currently the pretty-printer adds the prefix but we may
want a smt_def -> smt_def renaming function instead.
Diffstat (limited to 'lib/hol/sail2_valuesAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions