cprover
langapi

Folder langapi

Author
Martin Brain

langapi/ contains the basic interfaces and support classes for programming language front ends. Developers only really need look at this if they are adding support for a new language. It’s main users are the language front-ends such as ansi-c/ and cpp/.