New documentation on counterexamples feature (!86) · Merge requests · Why3 / why3

MARCHE Claude requested to merge doc_ce into master Feb 07, 2019

Makefile.in Add entries for the use_api/counterexample.ml file.
doc/api.tex Adding a section in the api following a new examples in use_api/counterexample.ml. In progress.
doc/why3ide-doc.conf Reduce the size of tasks in screenshots and add a cvc4 prover.
doc/gui*.png Update the images because I updated the doc/why3ide-doc.conf.
doc/images/ce_example_p*.png Add new gui images for counterexamples.
doc/manpages.tex Added screenshot and code in the manpages together with some explanations. In progress.

New documentation on counterexamples feature