Overview

This section of the wiki is about Dogfooding, that is using Clafer for different aspects of the Clafer Tools.

• Clafer Compiler Command Line Arguments - modeling valid combinations and constraints among command line arguments
• Clafer Name Resolver Specification - description of the name resolver using rules and test cases
• Clafer Tooling Architecture - modeling different components of Clafer Tools and relationships among them
• ClaferMooVisualizer Abstract State - modeling valid snapshots in time of ClaferMoo Vizualizer