Fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour in Eva main manual

En lisant la doc d'Eva, page 19:

"Reading an initialized value is an undefined behavior according to the ISO C99 standard (and can even lead to security vulnerabilities)."

vs

"Reading an UNinitialized value is an undefined behavioraccording to the ISO C99 standard (and can even lead to security vulnerabilities)."

added 25 commits

• ebf1e7a7 - [Doc/Userman] Normalize main target name
• 3988eb1a - [release] proposal for parallelizing build of manuals in build-manuals.sh
• a1098b88 - [release] small updates to release manual
• d99c6537 - [opam] update version and manual url
• 814abe3d - [Release] Update release script for Gitlab and minor fixes
• 6d3f12f5 - [E-ACSL/Doc] refactor Makefiles of userman/refman
• 0d5315d6 - [Release] fixes to script for generating manuals
• f4c58515 - Merge branch 'feature/andre/release-script-and-manuals' into 'stable/scandium'
• 9196bfac - [Changelog] further normalization for website generator
• 0f0423e1 - [wp] Adds type constraints on memory chunks when RTE is on
• 29b8ec23 - [wp] fix why3 configuration issues
• 5c19e4f1 - [wp][config] check presence of why3 _before_ checking its version number
• 3cc914a1 - [devman] documentation for configure_pkg macro
• 136bd977 - [wp] Update configure.ac
• 1a4814b9 - [configure] disable wp with ocamlfind
• 7b52e77f - [wp] fix plugin_check_dependencies
• 00184197 - [wp][config] don't check why3 version if why3 not installed
• fae6b055 - [devman] more configure.ac documentation
• 61961f5e - Merge branch...
• f948e96e - [wp] Tests that chunk constraints are added and usable
• 0d76acb2 - [wp] Fix a bug with int chunks ranks + add a test
• dae26b84 - [wp] Format test files for chunk types
• bdd7c6a5 - [wp] Enables more tests for Chunks typing
• bea6174b - Merge branch 'feature/blanchard/wp/type-constraint' into 'stable/scandium'
• 66160b43 - fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour

Compare with previous version

(accidentally pushed to wrong remote, deleting MR)

closed