All checks were successful
CI / Check spelling (pull_request) Successful in 19s
CI / Test C API Documentation Generation (pull_request) Successful in 23s
CI / Check coding style (pull_request) Successful in 31s
CI / Test Python API Documentation Generation (pull_request) Successful in 29s
CI / Linux (debian) (pull_request) Successful in 13m34s
CI / Linux (ubuntu) (pull_request) Successful in 14m4s
CI / Linux (arch) (pull_request) Successful in 17m4s
- Removed unnecessary list item (*) from :ref:`genindex`. - Added blank line after :ref:`genindex` to terminate markup block. - Rebranded configs
16 lines
329 B
ReStructuredText
16 lines
329 B
ReStructuredText
CProof Python Plugins API
|
|
===========================
|
|
|
|
The ``prof`` module describes functions that plugins may call to interact with CProof.
|
|
The ``plugin`` module describes functions that plugins may define to be notified of various events in CProof.
|
|
|
|
Contents:
|
|
|
|
.. toctree::
|
|
:maxdepth: 2
|
|
|
|
prof
|
|
plugin
|
|
|
|
:ref:`genindex`
|