Project Status (0.3.1)

Future Directions

  • Code generation combinator library
  • Source code transformations
  • Recording comments

  • Evaluation of machine-dependent constant expressions

Parser and Pretty-Printer

The core parser / pretty-printer components are more or less complete (see C language support).

Preprocessor

Currently we provide a simple interface to invoke gcc as preprocessor.

Analysis

Done (0.3)

  • Framework for name analysis
  • File-scope analysis
  • Declaration analysis

Planned

  • Type checking expressions
  • typed representation of attributes
  • Normalized representation of initializers
  • Support for analyzing function bodies
  • Normalizing expressions and statements