doc: update outputs of examples
commitcf2dabc3325f0c54f992adca22bf04343759a32c
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 19 Mar 2022 11:36:29 +0000 (19 12:36 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 1 May 2023 08:22:22 +0000 (1 10:22 +0200)
tree44e435eed55e0103c108733b27762156ab4290ae
parent634b3f054433677ecd1585462faf6b3d6f6c4dc6
doc: update outputs of examples

The outputs of some the examples in the documentation look
slightly different from when they were first documented.
Update the outputs to the current state.

In particular
- the vertices of the input of barvinok_count are no longer computed
- barvinok_enumerate* no longer prints the input
- in isl output, an integer division is now printed as floor(n/d)

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/applications.tex