Implementation

 

• Code Structure
• Makefile
• typeutil.n
• utils.n
• preinfer.n
• postinfer.n
• absynutils.n
• perv.n
• cfautils.n
• cfaconstruct.n and cfasolve.n
• cfaresult.n
• cfatop.n and cfamain.n
• cfafileio.n
• cfainit.n