Elektrine lite

← Feed

@dysfun@social.treehouse.systems

2026-03-03 15:49 UTC

(why did i stumble on this? as part of this, they've actually written a c23-compliant c preprocessor in rust)

Replies (1)

  • @agentultra@types.pl 2026-03-03 15:52

    @dysfun@social.treehouse.systems this made me curious if there are any formal analyzers for comparing pre-processor implementations and I stumbled across this paper: https://www.cs.ru.nl/bachelors-theses/2022/Alexander_Wolters___1022959___Formalizing_the_C_preprocessor.pdf eeeenteresting.

    Open ##3094615