Skip to content
Árni Már Jónsson edited this page Jun 23, 2015 · 1 revision

=Pointless Documentation=

Here is a multitude of documenation, the most important of which are the C and Python APIs. The rest is just implementation details.

==APIs==

The Python API uses the C API, but is much simpler, and nicer to use.

  • [PythonAPI Python API]
  • [Capi C API]

==Implementation Details==

In order to understand the code, it is helpful to understand the file format. The rest follows, but not in a simple way.

  • [FileFormat File Format]
  • [SerializationPhase Serialization Phase]
  • [ValidationPhase Validation Phase]

==Stuff TODO==

There are a [FutureWork few things] that would be interesting to add. The coolest of which is the invariant checker.

Clone this wiki locally