Cpplines - Githubissues

au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

Cpplines #280

Closed gteege closed 5 years ago

gteege commented 5 years ago

Cogent parser extension to parse and process cpphs #line directives. Has been tested with all Cogent tests, no change in behavior occurs. The cpphs default options have been modified by omitting --nolines.

amosr commented 5 years ago

I defer to @zilinc to review this PR, but I think this is a good idea. I think it would also be useful if anyone wanted to generate cogent code from another language 👍

zilinc commented 5 years ago

Thank you for the PR.