Merge branch 'master' into feature/wp/fix-gui-provers

.Makefile.lint

Changelog

Makefile

doc/value/examples/alarms/div.c

doc/value/examples/alarms/double_op_arg.c

doc/value/examples/alarms/double_op_res.c

doc/value/examples/alarms/invalid.c

doc/value/examples/alarms/invalid_bool.c

doc/value/examples/alarms/lshift.c

doc/value/examples/alarms/ov_float_int.c

doc/value/examples/alarms/overlap.c

doc/value/examples/alarms/pointer_comparison.c

doc/value/examples/alarms/se.c

doc/value/examples/alarms/shift.c

doc/value/examples/alarms/uninitialized.c

doc/value/examples/alarms/valid_function.c

doc/value/examples/annotations_2.c

doc/value/examples/ari.c

doc/value/examples/array.c

doc/value/examples/array_array_2.c