diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-21 00:32:16 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-21 22:16:01 +0200 |
| commit | c05b1caa7c81b945526b77e84b888f48cfa91780 (patch) | |
| tree | 7dc09d5bff1977d757c920e033b08ba1d88be180 /Documentation | |
| parent | 16b2b6eb6c83685afaa8d447d7837080b901b3d9 (diff) | |
| download | sparse-dev-c05b1caa7c81b945526b77e84b888f48cfa91780.tar.gz | |
doc: add doc for simplification notation
The documention of each simplications is quite dense and
use some implicit conventions for its notation.
Document this notation.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/api.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/api.rst b/Documentation/api.rst index 1270551c..cb8a0982 100644 --- a/Documentation/api.rst +++ b/Documentation/api.rst @@ -20,3 +20,8 @@ Typing ~~~~~~ .. c:autodoc:: evaluate.h + +Optimization +~~~~~~~~~~~~ + +.. c:autodoc:: simplify.c |