Displaying 1 result from an estimated 1 matches for "covac".
Did you mean:
colac
2012 Dec 28
1
[LLVMdev] verification methods for correctness of a compiler
...to check
the correction of translation after some particular stage like AST or .ll
generation or after optimization ? I would like to know if any of those are
being used in clang's development and if any such tools exist in first
place. I have come across certain papers explaining about "CoVaC: Compiler
Validation by Program Analysis of the cross-product" which explains how it
can be achieved, however source code or tools aren't available. As far as i
know, till date the best ways to validate any compiler is by running a host
of regression test suites explicitly hand written to...