Chapter 7. Customizing Gappa

Table of Contents

Defining a generator for a new formal system
Defining rounding operators for a new arithmetic
Function classes
Function generators

These sections explain how rounding operators and back-ends are defined in the tool. They are meant for developers rather than users of Gappa and involve manipulating C++ classes defined in the src/arithmetic and src/backends directories.