cprover
|
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/.
To be documented.
To be documented.
To be documented.
To be documented.