Jérémie Koenig
Results
3
comments of
Jérémie Koenig
One thing @pwilke and I did not think to mention this during the call: in this pull request, the ASCII names `AST.ident` mapping does in fact show up, because the...
Here's a proof-of-concept https://github.com/CertiKOS/compcert/commit/85d2b87ccd1202bf9041abf662bce0768fcc7349
At this point I thought I'd write some kind of "diff walk-through" to facilitate any digging people would want to do. The main changes occur in: * **common/AST.v** declares the...