section of the user manual

Minor spelling/stylistic changes (see merge request #26)

as it belongs to doc/userman/changes.tex

wrapper script

e-acsl-gcc.sh

to a Frama-C run

- Fixed inconsistency in the documentation of testrun.sh

makefile

Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago

and gcc executables

Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago

consistency in settings of various flags

Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago

    - Added man page
    - Fixed memory model option

Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago

involves getting rid of redundant flags

Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago

    - structural changes to e-acsl wrapper script
    - --memory-model option in the e-acsl wrapper script that allows
        switching between different memory models
    - added script to facilitate runs of e-acsl during
    testing (scripts/testrun.sh)

Replaced system-wide assertions with custom assertions using embedded
printf library