search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

isa-parser: fix bugs introduced by earlier changes #401

Closed gteege closed 3 years ago

gteege commented 3 years ago

the improved prettyprinter broke the generation of the deep embedding, especially the table file for which parsing depends on the layout. This is fixed by splitting the prettyprinter in a legacy version and the improved version, where the improved version is only applied to the shallow embedding in tuples form.