Add relative pointers to unsoundly modeled C/C++ features

soundiness / soundiness.github.io

10 stars 3 forks source link

Add relative pointers to unsoundly modeled C/C++ features #9

Closed adriaanjacobs closed 2 years ago

adriaanjacobs commented 2 years ago

Following up on #8, here's the pull request. I'm not entirely sure about the way these web pages work, but just changing it in generator.html seems sufficient?

Let me know if there's any issues!

adriaanjacobs commented 2 years ago

Seems like the web page only reflects changes in index.html, added there now too

msridhar commented 2 years ago

LGTM thanks!