Hacker News new | ask | show | jobs
by andrewl-hn 985 days ago
Also, a really cool find in Ferrocene public docs is their "Traceability Matrix" [1].

For every bit in the Ferrocene language specification [2] there's a link to a set of tests that actually confirm the compiler's behavior. Just shows you how much work has been done here.

[1]: https://public-docs.ferrocene.dev/main/qualification/traceab... [2]: https://public-docs.ferrocene.dev/main/specification/index.h...

1 comments

Automating the generation of this beast from the test runnners output was fun. It's an essential part of the qualification documents.