diff options
| author | Brian Campbell | 2019-02-15 18:09:33 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-15 18:21:09 +0000 |
| commit | a62061fd64d3fb8a31f115a3d059da4346a13d85 (patch) | |
| tree | 82875760d773a5a8ff13317340834021ef6ee3f2 /src/pprint/README | |
| parent | 18b38f6495ea8836f332e9b5da8525caac338e28 (diff) | |
Tweak intermediate language names for loop combinators to allow reparsing
This should produce identical Lem and Coq output, but allow dumped Sail
ASTs from the final stages of rewriting to be reread with -dmagic_hash.
Diffstat (limited to 'src/pprint/README')
0 files changed, 0 insertions, 0 deletions