Merge branch 'master' into feature/property-names

.gitignore

Makefile

share/Makefile.plugin.template

share/analysis-scripts/frama-c.mk

src/libraries/stdlib/integer.ml

src/libraries/stdlib/integer.mli

src/plugins/aorai/Makefile.in

src/plugins/aorai/tests/aorai/assigns.c

src/plugins/qed/term.ml

src/plugins/wp/Cfloat.ml

src/plugins/wp/Cfloat.mli

src/plugins/wp/Changelog

src/plugins/wp/CodeSemantics.ml

src/plugins/wp/Cvalues.ml

src/plugins/wp/Lang.ml

src/plugins/wp/Lang.mli

src/plugins/wp/LogicSemantics.ml

src/plugins/wp/MemEmpty.ml

src/plugins/wp/MemTyped.ml

src/plugins/wp/MemVar.ml