add additional options for downcasts and overflows
Merge branch 'master' of github.com:jensgerlach/validation
shorten file names
add example file for problem with complement
add pdf
adde example from rte manual
update time in Frama-C references
describe related issues from Frama-C's BTS
Merge pull request #213 from jensgerlach/master

Improve sections on results and open issues